129 calls:
| 554.0ms | (* (* (* (+ 2 x) x) (* (+ 2 x) x)) (* (+ 2 x) x)) |
| 494.0ms | (* (* (/ (* (- 4 (* x x)) x) (- 2 x)) (/ (* (- 4 (* x x)) x) (- 2 x))) (/ (* (- 4 (* x x)) x) (- 2 x))) |
| 454.0ms | (* (* (* (+ 2 x) (+ 2 x)) (+ 2 x)) (* (* x x) x)) |
| 450.0ms | (* (* (* (- 4 (* x x)) (- 4 (* x x))) (- 4 (* x x))) (* (* x x) x)) |
| 440.0ms | (* (* (* (- 4 (* x x)) x) (* (- 4 (* x x)) x)) (* (- 4 (* x x)) x)) |
| 6× | intervals |
| 1.5s | 2922× | body | 2560 | valid |
| 1.3s | 7600× | body | 1280 | valid |
| 561.0ms | 4206× | body | 640 | valid |
| 265.0ms | 9981× | body | 80 | valid |
| 156.0ms | 1837× | body | 320 | valid |
| 40.0ms | 847× | body | 160 | valid |
4 calls:
| 117.0ms | (/ (* (- 4 (* x x)) x) (- 2 x)) |
| 74.0ms | (* (- 4 (* x x)) x) |
| 58.0ms | (* (+ 2 x) x) |
| 39.0ms | (- 4 (* x x)) |
| 4× | rewrite-expression-head |
4 calls:
| 17.0ms | (/ (* (- 4 (* x x)) x) (- 2 x)) |
| 15.0ms | (* (+ 2 x) x) |
| 13.0ms | (* (- 4 (* x x)) x) |
| 4.0ms | (- 4 (* x x)) |
| 22× | add-sqr-sqrt |
| 18× | *-un-lft-identity |
| 13× | add-cbrt-cube add-exp-log |
| 12× | add-cube-cbrt |
| 8× | associate-*l* pow1 |
| 6× | add-log-exp associate-*r* associate-*l/ |
| 5× | associate-/r* times-frac |
| 4× | expm1-log1p-u log1p-expm1-u difference-of-squares insert-posit16 flip3-- flip-- |
| 3× | fma-neg cbrt-unprod prod-exp prod-diff |
| 2× | associate-/r/ distribute-lft-out-- div-exp unswap-sqr pow-prod-down associate-/l/ cbrt-undiv *-commutative |
| 1× | frac-2neg distribute-lft-out sub-neg clear-num flip-+ associate-/l* div-inv flip3-+ diff-log |
Total 0.0b remaining (62.4%)
Threshold costs 0.0b (62.4%)
| 0.0b | 0% | Expanding a square |