189 calls:
| 639.0ms | (- (* (+ x 1) (+ x 1)) 1) |
| 495.0ms | (* (* (* (- 4 (* x x)) (- 4 (* x x))) (- 4 (* x x))) (* (* (/ x (- 2 x)) (/ x (- 2 x))) (/ x (- 2 x)))) |
| 434.0ms | (* (* (* (+ 2 x) (+ 2 x)) (+ 2 x)) (* (* x x) x)) |
| 390.0ms | (/ (* (* (* x (fma (* x x) x 8)) (* x (fma (* x x) x 8))) (* x (fma (* x x) x 8))) (* (* (+ (* 2 2) (- (* x x) (* 2 x))) (+ (* 2 2) (- (* x x) (* 2 x)))) (+ (* 2 2) (- (* x x) (* 2 x))))) |
| 357.0ms | (/ (* (* (* x x) x) (* (* (fma (* x x) x 8) (fma (* x x) x 8)) (fma (* x x) x 8))) (* (* (+ (* 2 2) (- (* x x) (* 2 x))) (+ (* 2 2) (- (* x x) (* 2 x)))) (+ (* 2 2) (- (* x x) (* 2 x))))) |
| 6× | intervals |
| 2.0s | 7622× | body | 1280 | valid |
| 718.0ms | 2951× | body | 2560 | valid |
| 568.0ms | 4159× | body | 640 | valid |
| 385.0ms | 10096× | body | 80 | valid |
| 136.0ms | 1886× | body | 320 | valid |
| 58.0ms | 796× | body | 160 | valid |
9 calls:
| 177.0ms | (/ (* x (fma (* x x) x 8)) (+ (* 2 2) (- (* x x) (* 2 x)))) |
| 117.0ms | (/ (* (- 4 (* x x)) x) (- 2 x)) |
| 105.0ms | (* (- 4 (* x x)) (/ x (- 2 x))) |
| 98.0ms | (* x (fma (* x x) x 8)) |
| 72.0ms | (* (- 4 (* x x)) x) |
| 6× | rewrite-expression-head |
9 calls:
| 25.0ms | (/ (* x (fma (* x x) x 8)) (+ (* 2 2) (- (* x x) (* 2 x)))) |
| 24.0ms | (* (- 4 (* x x)) (/ x (- 2 x))) |
| 16.0ms | (/ (* (- 4 (* x x)) x) (- 2 x)) |
| 15.0ms | (* (+ 2 x) x) |
| 12.0ms | (* (- 4 (* x x)) x) |
| 70× | add-sqr-sqrt |
| 59× | *-un-lft-identity |
| 39× | add-cube-cbrt times-frac |
| 32× | add-cbrt-cube add-exp-log |
| 30× | associate-*r* |
| 17× | pow1 |
| 15× | associate-*l* |
| 13× | associate-/r* |
| 11× | add-log-exp difference-of-squares |
| 9× | expm1-log1p-u log1p-expm1-u insert-posit16 distribute-lft-out-- |
| 8× | flip3-- associate-/r/ associate-*l/ flip-- |
| 7× | cbrt-unprod prod-exp |
| 6× | div-exp cbrt-undiv |
| 5× | unswap-sqr associate-/l* |
| 4× | pow-prod-down *-commutative div-inv |
| 3× | frac-2neg fma-udef clear-num |
| 2× | frac-times flip-+ associate-/l/ flip3-+ |
| 1× | distribute-lft-in distribute-lft-out sub-neg distribute-rgt-in distribute-rgt-out-- fma-neg diff-log prod-diff associate-*r/ |
Total 0.0b remaining (67%)
| 0.0b | 0% | Expanding a square |