148 calls:
| 588.0ms | (- (* (+ x 1) (+ x 1)) 1) |
| 436.0ms | (* (* (cbrt (- (* 2 2) (* x x))) (cbrt (+ 2 x))) (* (cbrt (+ (pow 2 3) (pow x 3))) x)) |
| 373.0ms | (* (* (* (+ 2 x) (+ 2 x)) (+ 2 x)) (* (* x x) x)) |
| 372.0ms | (* (* (+ 2 x) (+ 2 x)) (* (+ 2 x) (* (* x x) x))) |
| 335.0ms | (* (* (cbrt (+ 2 x)) (cbrt (+ (pow 2 3) (pow x 3)))) (* (cbrt (+ (pow 2 3) (pow x 3))) x)) |
| 6× | intervals |
| 1.3s | 7495× | body | 1280 | valid |
| 1.1s | 2967× | body | 2560 | valid |
| 514.0ms | 4379× | body | 640 | valid |
| 418.0ms | 1837× | body | 320 | valid |
| 338.0ms | 10076× | body | 80 | valid |
| 33.0ms | 760× | body | 160 | valid |
7 calls:
| 110.0ms | (/ (* x (- 4 (* x x))) (- 2 x)) |
| 70.0ms | (* x (- 4 (* x x))) |
| 52.0ms | (* (+ 2 x) x) |
| 46.0ms | (* (* (cbrt (+ 2 x)) (cbrt (+ 2 x))) (* (cbrt (+ 2 x)) x)) |
| 45.0ms | (cbrt (+ 2 x)) |
| 5× | rewrite-expression-head |
7 calls:
| 49.0ms | (* (* (cbrt (+ 2 x)) (cbrt (+ 2 x))) (* (cbrt (+ 2 x)) x)) |
| 20.0ms | (* (+ 2 x) x) |
| 14.0ms | (/ (* x (- 4 (* x x))) (- 2 x)) |
| 11.0ms | (* x (- 4 (* x x))) |
| 3.0ms | (cbrt (+ 2 x)) |
| 60× | cbrt-div |
| 34× | associate-*l/ |
| 31× | flip-+ flip3-+ |
| 28× | *-un-lft-identity add-exp-log frac-times |
| 25× | add-sqr-sqrt |
| 23× | pow1 |
| 22× | add-cbrt-cube |
| 16× | add-cube-cbrt |
| 12× | associate-*r/ cbrt-prod |
| 11× | cbrt-unprod prod-exp |
| 10× | pow-prod-down |
| 8× | associate-*l* associate-*r* |
| 7× | add-log-exp insert-posit16 |
| 5× | associate-/r* times-frac |
| 4× | distribute-lft-out |
| 3× | difference-of-squares pow1/3 flip3-- *-commutative flip-- |
| 2× | associate-/r/ sub-neg div-exp unswap-sqr distribute-lft-in distribute-rgt-in associate-/l/ cbrt-undiv distribute-lft-out-- |
| 1× | clear-num div-inv frac-2neg associate-/l* |
Total 0.0b remaining (69.8%)
| 0.0b | 0% | Expanding a square |