| 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)~~ |
