134 calls:
| 459.0ms | (* (* (* (+ 2 x) (+ 2 x)) (+ 2 x)) (* (* x x) x)) |
| 395.0ms | (* (* (* (+ 2 x) (+ 2 x)) (+ 2 x)) (* (* (sqrt x) (sqrt x)) (sqrt x))) |
| 277.0ms | (* (/ (* (* (* (- 4 (* x x)) (sqrt x)) (* (- 4 (* x x)) (sqrt x))) (* (- 4 (* x x)) (sqrt x))) (* (* (- 2 x) (- 2 x)) (- 2 x))) (* (* (sqrt x) (sqrt x)) (sqrt x))) |
| 271.0ms | (* (* (- (* 2 2) (* x x)) (sqrt x)) (sqrt x)) |
| 268.0ms | (* (/ (* (* (* (- 4 (* x x)) (- 4 (* x x))) (- 4 (* x x))) (* (* (sqrt x) (sqrt x)) (sqrt x))) (* (* (- 2 x) (- 2 x)) (- 2 x))) (* (* (sqrt x) (sqrt x)) (sqrt x))) |
| 6× | intervals |
| 1.7s | 7569× | body | 1280 | valid |
| 1.3s | 2844× | body | 2560 | valid |
| 529.0ms | 4314× | body | 640 | valid |
| 296.0ms | 10135× | body | 80 | valid |
| 149.0ms | 1810× | body | 320 | valid |
| 87.0ms | 820× | body | 160 | valid |
6 calls:
| 93.0ms | (* (/ (* (- 4 (* x x)) (sqrt x)) (- 2 x)) (sqrt x)) |
| 80.0ms | (/ (* (- 4 (* x x)) (sqrt x)) (- 2 x)) |
| 56.0ms | (* (+ 2 x) x) |
| 55.0ms | (* (- 4 (* x x)) (sqrt x)) |
| 50.0ms | (* (+ 2 x) (sqrt x)) |
| 5× | rewrite-expression-head |
6 calls:
| 31.0ms | (* (/ (* (- 4 (* x x)) (sqrt x)) (- 2 x)) (sqrt x)) |
| 30.0ms | (* (* (+ 2 x) (sqrt x)) (sqrt x)) |
| 17.0ms | (/ (* (- 4 (* x x)) (sqrt x)) (- 2 x)) |
| 15.0ms | (* (+ 2 x) (sqrt x)) |
| 15.0ms | (* (- 4 (* x x)) (sqrt x)) |
| 43× | add-sqr-sqrt |
| 32× | *-un-lft-identity |
| 31× | add-cbrt-cube add-exp-log |
| 27× | associate-*r* |
| 24× | associate-*l* |
| 22× | add-cube-cbrt |
| 19× | pow1 |
| 15× | sqrt-prod |
| 13× | associate-*l/ |
| 11× | cbrt-unprod prod-exp |
| 10× | times-frac |
| 7× | unswap-sqr pow-prod-down |
| 6× | log1p-expm1-u add-log-exp expm1-log1p-u insert-posit16 |
| 5× | associate-/r* *-commutative |
| 4× | flip3-- associate-/r/ div-exp difference-of-squares cbrt-undiv flip-- |
| 3× | distribute-lft-out-- flip-+ flip3-+ |
| 2× | distribute-lft-out div-inv associate-/l/ |
| 1× | clear-num frac-2neg associate-/l* |
Total 0.0b remaining (24.1%)
| 0.0b | 0% | Expanding a square |