113 calls:
| 507.0ms | (- (* (+ x 1) (+ x 1)) 1) |
| 455.0ms | (* (* (* (- 4 (* x x)) (- 4 (* x x))) (- 4 (* x x))) (* (* (/ x (- 2 x)) (/ x (- 2 x))) (/ x (- 2 x)))) |
| 292.0ms | (+ (* (* 2 2) (* 2 2)) (- (* (- (* x x) (* 2 x)) (- (* x x) (* 2 x))) (* (* 2 2) (- (* x x) (* 2 x))))) |
| 256.0ms | (* (- (* 2 2) (* x x)) x) |
| 245.0ms | (* (- (pow 4 3) (pow (* x x) 3)) (/ x (- 2 x))) |
| 6× | intervals |
| 1.6s | 7622× | body | 1280 | valid |
| 1.1s | 2951× | body | 2560 | valid |
| 782.0ms | 4159× | body | 640 | valid |
| 322.0ms | 10096× | body | 80 | valid |
| 198.0ms | 1886× | body | 320 | valid |
| 102.0ms | 796× | body | 160 | valid |
8 calls:
| 147.0ms | (/ (fma 8 x (* (* x x) (* x x))) (+ (* 2 2) (- (* x x) (* 2 x)))) |
| 113.0ms | (/ (* (- 4 (* x x)) x) (- 2 x)) |
| 107.0ms | (* (- 4 (* x x)) (/ x (- 2 x))) |
| 72.0ms | (* (- 4 (* x x)) x) |
| 58.0ms | (* (+ 2 x) x) |
| 6× | rewrite-expression-head |
8 calls:
| 10.0ms | (/ (fma 8 x (* (* x x) (* x x))) (+ (* 2 2) (- (* x x) (* 2 x)))) |
| 7.0ms | (/ (* (- 4 (* x x)) x) (- 2 x)) |
| 5.0ms | (* (- 4 (* x x)) (/ x (- 2 x))) |
| 5.0ms | (* (+ 2 x) x) |
| 4.0ms | (* (- 4 (* x x)) x) |
| 23× | add-sqr-sqrt *-un-lft-identity add-cube-cbrt |
| 16× | add-cbrt-cube add-exp-log |
| 15× | pow1 |
| 12× | times-frac |
| 10× | associate-*l* add-log-exp |
| 9× | associate-/r* |
| 8× | associate-/r/ log1p-expm1-u flip3-- insert-posit16 expm1-log1p-u associate-*l/ flip-- |
| 7× | associate-*r* |
| 5× | pow2 |
| 4× | div-inv associate-/l* *-commutative |
| 3× | pow-prod-down clear-num frac-2neg |
| 2× | flip3-+ div-exp associate-/l/ pow-prod-up frac-times cbrt-undiv cbrt-unprod flip-+ prod-exp |
| 1× | fma-neg sub-neg distribute-rgt-out-- pow-plus diff-log prod-diff associate-*r/ |
Total 0.0b remaining (68.2%)
| 0.0b | 0% | Expanding a square |