| 6× | intervals |
| 1.2s | 7645× | body | 1280 | valid |
| 1.2s | 2926× | body | 2560 | valid |
| 364.0ms | 4202× | body | 640 | valid |
| 198.0ms | 10064× | body | 80 | valid |
| 148.0ms | 1876× | body | 320 | valid |
| 83.0ms | 834× | body | 160 | valid |
3 calls:
| 69.0ms | (- (* (+ x 1.0) (+ x 1.0)) 1.0) |
| 47.0ms | (* x (+ x 2.0)) |
| 17.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:
| 26.0ms | (* (+ x 1.0) (+ x 1.0)) |
| 22.0ms | (- (* (+ x 1.0) (+ x 1.0)) 1.0) |
| 14.0ms | (* x (+ x 2.0)) |
| 26× | *-un-lft-identity |
| 15× | add-sqr-sqrt |
| 12× | pow1 |
| 10× | 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× | expm1-log1p-u distribute-rgt-in distribute-lft-in log1p-expm1-u prod-diff |
| 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 fma-neg flip-- diff-log flip3-- |