| 6× | intervals |
| 2.0s | 7754× | body | 1280 | valid |
| 849.0ms | 2895× | body | 2560 | valid |
| 838.0ms | 4172× | body | 640 | valid |
| 284.0ms | 10109× | body | 80 | valid |
| 127.0ms | 1813× | body | 320 | valid |
| 87.0ms | 850× | body | 160 | valid |
55 calls:
| 558.0ms | (- (* (+ x 1) (+ x 1)) 1) |
| 444.0ms | (* (* (* (+ 2 x) (+ 2 x)) (+ 2 x)) (* (* x x) x)) |
| 380.0ms | (* (* (* (+ 2 x) (+ 2 x)) (+ 2 x)) (* (* (sqrt x) (sqrt x)) (sqrt x))) |
| 259.0ms | (* (- (* 2 2) (* x x)) x) |
| 217.0ms | (* (* (+ (pow 2 3) (pow x 3)) (sqrt x)) (sqrt x)) |
3 calls:
| 57.0ms | (* (+ 2 x) x) |
| 51.0ms | (* (+ 2 x) (sqrt x)) |
| 45.0ms | (* (* (+ 2 x) (sqrt x)) (sqrt x)) |
| 4× | rewrite-expression-head |
3 calls:
| 29.0ms | (* (* (+ 2 x) (sqrt x)) (sqrt x)) |
| 14.0ms | (* (+ 2 x) (sqrt x)) |
| 14.0ms | (* (+ 2 x) x) |
| 16× | add-sqr-sqrt |
| 15× | associate-*r* |
| 14× | *-un-lft-identity |
| 12× | pow1 add-exp-log add-cbrt-cube |
| 10× | add-cube-cbrt |
| 9× | associate-*l* |
| 8× | associate-*l/ |
| 7× | sqrt-prod |
| 5× | cbrt-unprod pow-prod-down prod-exp |
| 3× | expm1-log1p-u flip-+ unswap-sqr insert-posit16 log1p-expm1-u flip3-+ add-log-exp *-commutative |
| 2× | distribute-lft-out |
Total 0.0b remaining (20.7%)
| 0.0b | 0% | Expanding a square |