| 6× | intervals |
| 1.1s | 7554× | body | 1280 | valid |
| 966.0ms | 2960× | body | 2560 | valid |
| 645.0ms | 4252× | body | 640 | valid |
| 206.0ms | 10118× | body | 80 | valid |
| 82.0ms | 1786× | body | 320 | valid |
| 26.0ms | 852× | body | 160 | valid |
3 calls:
| 93.0ms | (fma (+ 1.0 x) (+ 1.0 x) (- 1.0)) |
| 61.0ms | (+ (* x x) (* x 2.0)) |
| 46.0ms | (* x (+ x 2.0)) |
| 5× | rewrite-expression-head |
3 calls:
| 15.0ms | (* x (+ x 2.0)) |
| 6.0ms | (+ (* x x) (* x 2.0)) |
| 2.0ms | (fma (+ 1.0 x) (+ 1.0 x) (- 1.0)) |
| 7× | *-un-lft-identity add-sqr-sqrt |
| 5× | add-cube-cbrt add-log-exp add-cbrt-cube pow1 add-exp-log |
| 4× | associate-*r* |
| 3× | expm1-log1p-u associate-*l* log1p-expm1-u |
| 2× | distribute-lft-out associate-*r/ flip-+ flip3-+ |
| 1× | sum-log cbrt-unprod fma-def prod-exp unswap-sqr pow-prod-down distribute-rgt-in fma-udef distribute-lft-in +-commutative *-commutative |
Total 0.0b remaining (56.1%)
Threshold costs 0.0b (56.1%)
| 0.0b | 0% | Expanding a square |