| 6× | intervals |
| 1.4s | 7584× | body | 1280 | valid |
| 945.0ms | 2969× | body | 2560 | valid |
| 560.0ms | 4250× | body | 640 | valid |
| 270.0ms | 10189× | body | 80 | valid |
| 91.0ms | 1815× | body | 320 | valid |
| 27.0ms | 807× | body | 160 | valid |
4 calls:
| 66.0ms | (- (* (+ x 1.0) (+ x 1.0)) 1.0) |
| 52.0ms | (+ (* x 2.0) (pow x 2)) |
| 46.0ms | (* x (+ 2.0 x)) |
| 16.0ms | (* (+ x 1.0) (+ x 1.0)) |
| 5× | rewrite-expression-head |
4 calls:
| 51.0ms | (- (* (+ x 1.0) (+ x 1.0)) 1.0) |
| 31.0ms | (* (+ x 1.0) (+ x 1.0)) |
| 18.0ms | (* x (+ 2.0 x)) |
| 14.0ms | (+ (* x 2.0) (pow x 2)) |
| 26× | *-un-lft-identity |
| 15× | add-sqr-sqrt |
| 13× | pow1 |
| 10× | add-cube-cbrt |
| 8× | distribute-lft-out associate-*r* add-log-exp flip3-+ flip-+ add-exp-log add-cbrt-cube |
| 7× | associate-*l* |
| 6× | swap-sqr |
| 4× | associate-*r/ frac-times |
| 3× | distribute-rgt-in 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 +-commutative pow-plus flip3-- sum-log unpow2 difference-of-squares diff-log pow-prod-up |
Total 0.0b remaining (93.9%)
Threshold costs 0.0b (93.9%)
| 0.0b | -25% | Expanding a square |