286 calls:
| 546.0ms | (- (* (+ x 1) (+ x 1)) 1) |
| 433.0ms | (* (* (* (+ 2 x) (+ 2 x)) (+ 2 x)) (* (* x x) x)) |
| 314.0ms | (/ (* (cbrt (- 4 (* x x))) (cbrt (- 4 (* x x)))) (/ (* (cbrt (- 2 x)) (cbrt (- 2 x))) (* (cbrt x) (cbrt x)))) |
| 283.0ms | (/ (cbrt (- 4 (* x x))) (sqrt (/ (- 2 x) x))) |
| 251.0ms | (* (- (* 2 2) (* x x)) x) |
| 6× | intervals |
| 1.8s | 7594× | body | 1280 | valid |
| 1.1s | 2839× | body | 2560 | valid |
| 461.0ms | 4367× | body | 640 | valid |
| 279.0ms | 10118× | body | 80 | valid |
| 248.0ms | 1777× | body | 320 | valid |
| 40.0ms | 808× | body | 160 | valid |
5 calls:
| 110.0ms | (/ (- 4 (* x x)) (/ (- 2 x) x)) |
| 110.0ms | (/ (* (- 4 (* x x)) x) (- 2 x)) |
| 73.0ms | (* (- 4 (* x x)) x) |
| 54.0ms | (* (+ 2 x) x) |
| 47.0ms | (/ (- 2 x) x) |
| 5× | rewrite-expression-head |
5 calls:
| 20.0ms | (/ (* (- 4 (* x x)) x) (- 2 x)) |
| 15.0ms | (* (+ 2 x) x) |
| 14.0ms | (/ (- 4 (* x x)) (/ (- 2 x) x)) |
| 12.0ms | (* (- 4 (* x x)) x) |
| 10.0ms | (/ (- 2 x) x) |
| 171× | times-frac |
| 153× | add-sqr-sqrt |
| 130× | *-un-lft-identity |
| 86× | add-cube-cbrt |
| 42× | difference-of-squares |
| 27× | associate-/r* |
| 21× | add-cbrt-cube add-exp-log distribute-lft-out-- |
| 10× | associate-/l* |
| 9× | pow1 |
| 8× | associate-*l* div-inv |
| 6× | div-exp associate-*l/ cbrt-undiv associate-*r* associate-/l/ |
| 5× | add-log-exp expm1-log1p-u log1p-expm1-u insert-posit16 flip3-- flip-- |
| 3× | associate-/r/ prod-exp clear-num cbrt-unprod frac-2neg |
| 2× | unswap-sqr pow-prod-down div-sub *-commutative |
| 1× | distribute-lft-out flip-+ flip3-+ |
Total 0.0b remaining (59%)
| 0.0b | 0% | Expanding a square |