| 6× | intervals |
| 1.7s | 7669× | body | 1280 | valid |
| 1.1s | 2892× | body | 2560 | valid |
| 590.0ms | 4238× | body | 640 | valid |
| 248.0ms | 10075× | body | 80 | valid |
| 188.0ms | 1827× | body | 320 | valid |
| 51.0ms | 822× | body | 160 | valid |
59 calls:
| 546.0ms | (- (* (+ x 1) (+ x 1)) 1) |
| 436.0ms | (* (* (* (+ 2 x) (+ 2 x)) (+ 2 x)) (* (* x x) x)) |
| 342.0ms | (- (log (* (- 4 (* x x)) x)) (log (- 2 x))) |
| 252.0ms | (* (- (* 2 2) (* x x)) x) |
| 207.0ms | (* (* (* (- 4 (* x x)) (- 4 (* x x))) (- 4 (* x x))) (* (* x x) x)) |
3 calls:
| 109.0ms | (/ (* (- 4 (* x x)) x) (- 2 x)) |
| 70.0ms | (* (- 4 (* x x)) x) |
| 50.0ms | (* (+ 2 x) x) |
| 4× | rewrite-expression-head |
3 calls:
| 19.0ms | (/ (* (- 4 (* x x)) x) (- 2 x)) |
| 14.0ms | (* (+ 2 x) x) |
| 13.0ms | (* (- 4 (* x x)) x) |
| 18× | add-sqr-sqrt |
| 15× | *-un-lft-identity |
| 12× | add-cbrt-cube add-exp-log |
| 9× | add-cube-cbrt |
| 8× | associate-*l* |
| 7× | pow1 |
| 6× | associate-*r* associate-*l/ |
| 5× | associate-/r* times-frac |
| 3× | expm1-log1p-u log1p-expm1-u add-log-exp difference-of-squares cbrt-unprod insert-posit16 flip3-- prod-exp flip-- |
| 2× | associate-/r/ div-exp unswap-sqr pow-prod-down associate-/l/ cbrt-undiv *-commutative distribute-lft-out-- |
| 1× | distribute-lft-out clear-num flip-+ associate-/l* div-inv flip3-+ frac-2neg |
Total 0.0b remaining (52.4%)
| 0.0b | 0% | Expanding a square |