| 6× | intervals |
| 1.5s | 7645× | body | 1280 | valid |
| 627.0ms | 4202× | body | 640 | valid |
| 581.0ms | 2926× | body | 2560 | valid |
| 200.0ms | 10064× | body | 80 | valid |
| 86.0ms | 1876× | body | 320 | valid |
| 24.0ms | 834× | body | 160 | valid |
3 calls:
| 66.0ms | (- (* (+ x 1.0) (+ x 1.0)) 1.0) |
| 57.0ms | (+ (* 2.0 x) (* x x)) |
| 17.0ms | (* (+ x 1.0) (+ x 1.0)) |
Total 0.0b remaining (91.2%)
Threshold costs 0.0b (91.2%)
| 0.0b | 0% | Expanding a square |
| 4× | rewrite-expression-head |
3 calls:
| 28.0ms | (* (+ x 1.0) (+ x 1.0)) |
| 21.0ms | (- (* (+ x 1.0) (+ x 1.0)) 1.0) |
| 6.0ms | (+ (* 2.0 x) (* x x)) |
| 21× | *-un-lft-identity |
| 10× | pow1 add-sqr-sqrt |
| 7× | add-cube-cbrt add-log-exp flip-+ flip3-+ |
| 6× | distribute-lft-out swap-sqr |
| 5× | add-cbrt-cube add-exp-log |
| 4× | associate-*l* frac-times associate-*r* |
| 2× | distribute-lft-in distribute-rgt-in associate-*l/ associate-*r/ associate--l+ |
| 1× | sum-log pow2 sub-neg unswap-sqr difference-of-squares pow-prod-down pow-prod-up prod-exp +-commutative pow-sqr pow-plus *-commutative flip-- cbrt-unprod distribute-rgt-out diff-log flip3-- |