| 6× | intervals |
| 1.7s | 7599× | body | 1280 | valid |
| 1.1s | 2975× | body | 2560 | valid |
| 557.0ms | 10049× | body | 80 | valid |
| 469.0ms | 4262× | body | 640 | valid |
| 195.0ms | 1797× | body | 320 | valid |
| 35.0ms | 788× | body | 160 | valid |
36 calls:
| 496.0ms | (- (* (+ x 1) (+ x 1)) 1) |
| 242.0ms | (* (- (* 2 2) (* x x)) x) |
| 160.0ms | (/ (* (* (* (- 4 (* x x)) x) (* (- 4 (* x x)) x)) (* (- 4 (* x x)) x)) (* (* (- 2 x) (- 2 x)) (- 2 x))) |
| 158.0ms | (- (+ (+ x y) z) (+ x (+ y z))) |
| 155.0ms | (* (- (* 4 4) (* (* x x) (* x x))) x) |
3 calls:
| 40.0ms | (/ (* (- 4 (* x x)) x) (- 2 x)) |
| 31.0ms | (* (- 4 (* x x)) x) |
| 25.0ms | (* (+ 2 x) x) |
| 4× | rewrite-expression-head |
3 calls:
| 7.0ms | (/ (* (- 4 (* x x)) x) (- 2 x)) |
| 5.0ms | (* (+ 2 x) x) |
| 3.0ms | (* (- 4 (* x x)) x) |
| 7× | add-sqr-sqrt *-un-lft-identity add-cube-cbrt |
| 6× | associate-*l* associate-*l/ |
| 5× | add-cbrt-cube add-exp-log |
| 3× | add-log-exp associate-/r* expm1-log1p-u log1p-expm1-u insert-posit16 pow1 flip3-- flip-- times-frac |
| 2× | associate-/r/ associate-/l/ *-commutative |
| 1× | div-exp clear-num cbrt-undiv flip-+ associate-/l* div-inv flip3-+ frac-2neg |
Total 0.0b remaining (57.3%)
| 0.0b | 0% | Expanding a square |