| 6× | intervals |
| 1.3s | 7645× | body | 1280 | valid |
| 580.0ms | 2926× | body | 2560 | valid |
| 396.0ms | 4202× | body | 640 | valid |
| 243.0ms | 10064× | body | 80 | valid |
| 117.0ms | 1876× | body | 320 | valid |
| 24.0ms | 834× | body | 160 | valid |
3 calls:
| 63.0ms | (- (* (+ x 1.0) (+ x 1.0)) 1.0) |
| 48.0ms | (* x (+ 2.0 x)) |
| 22.0ms | (* (+ x 1.0) (+ x 1.0)) |
Total 0.0b remaining (7.7%)
Threshold costs 0.0b (7.7%)
| 0.0b | 0% | Expanding a square |
| 4× | rewrite-expression-head |
3 calls:
| 30.0ms | (* (+ x 1.0) (+ x 1.0)) |
| 16.0ms | (- (* (+ x 1.0) (+ x 1.0)) 1.0) |
| 14.0ms | (* x (+ 2.0 x)) |
| 25× | *-un-lft-identity |
| 14× | add-sqr-sqrt |
| 12× | pow1 |
| 9× | add-cube-cbrt |
| 8× | associate-*r* |
| 7× | distribute-lft-out add-cbrt-cube flip-+ flip3-+ associate-*l* add-exp-log |
| 6× | swap-sqr |
| 5× | add-log-exp |
| 4× | frac-times associate-*r/ |
| 3× | distribute-lft-in distribute-rgt-in |
| 2× | associate--l+ unswap-sqr pow-prod-down associate-*l/ cbrt-unprod *-commutative prod-exp |
| 1× | pow2 sub-neg difference-of-squares pow-prod-up pow-sqr pow-plus flip-- diff-log flip3-- |