2 | | - ~~square(* (...)) -> (* (square ...)) and same for cube~~ |

3 | | - ~~square(abs(x)) -> square(x)~~ |

4 | | - ~~(* (aq ...) const) -> push down constant into aq, constants also include factors~~ |

5 | | - ~~(* (abs ...) const) -> push down constant into abs (if positive, otherwise keep sign)~~ |

| 2 | - ~~square(* (...)) -> (* (square ...)) and same for cube~~ |

| 3 | - ~~square(abs(x)) -> square(x)~~ |

| 4 | - ~~(* (aq ...) const) -> push down constant into aq, constants also include factors~~ |

| 5 | - ~~(* (abs ...) const) -> push down constant into abs (if positive, otherwise keep sign)~~ |