| 6× | intervals |
| 1.5s | 7657× | body | 1280 | valid |
| 884.0ms | 2795× | body | 2560 | valid |
| 412.0ms | 4263× | body | 640 | valid |
| 229.0ms | 10077× | body | 80 | valid |
| 169.0ms | 1877× | body | 320 | valid |
| 26.0ms | 818× | body | 160 | valid |
6 calls:
| 67.0ms | (- (* (+ x 1.0) (+ x 1.0)) 1.0) |
| 54.0ms | (+ (* x 2.0) (pow x 2)) |
| 48.0ms | (* x (+ 2.0 x)) |
| 24.0ms | (+ x (+ y z)) |
| 17.0ms | (* (+ x 1.0) (+ x 1.0)) |
| 5× | rewrite-expression-head |
6 calls:
| 53.0ms | (- (* (+ x 1.0) (+ x 1.0)) 1.0) |
| 32.0ms | (* (+ x 1.0) (+ x 1.0)) |
| 26.0ms | (+ (+ x y) z) |
| 18.0ms | (* x (+ 2.0 x)) |
| 17.0ms | (+ x (+ y z)) |
| 38× | *-un-lft-identity |
| 20× | add-log-exp |
| 17× | add-sqr-sqrt |
| 15× | pow1 |
| 14× | distribute-lft-out |
| 12× | add-cube-cbrt |
| 10× | flip3-+ flip-+ add-exp-log add-cbrt-cube |
| 8× | associate-*r* |
| 7× | sum-log associate-*l* |
| 6× | swap-sqr |
| 4× | frac-times associate-*r/ |
| 3× | distribute-rgt-in +-commutative distribute-lft-in |
| 2× | pow-prod-down unswap-sqr *-commutative associate-*l/ cbrt-unprod associate--l+ prod-exp |
| 1× | flip-- sub-neg pow2 pow-sqr pow-plus associate-+l+ unpow2 flip3-- difference-of-squares diff-log pow-prod-up associate-+r+ |
Total 0.0b remaining (92.2%)
Threshold costs 0.0b (92.2%)
| 0.0b | -8.3% | Expanding a square |