| 6× | intervals |
| 1.4s | 2934× | body | 2560 | valid |
| 1.3s | 7584× | body | 1280 | valid |
| 595.0ms | 10083× | body | 80 | valid |
| 585.0ms | 4261× | body | 640 | valid |
| 207.0ms | 1837× | body | 320 | valid |
| 59.0ms | 794× | body | 160 | valid |
62 calls:
| 522.0ms | (- (* (+ x 1) (+ x 1)) 1) |
| 368.0ms | (- (* (* (* x x) (* x x)) (* (* x x) (* x x))) (* (* x 8) (* x 8))) |
| 291.0ms | (/ (* (* (+ (* (* x x) (* x x)) (* x 8)) (+ (* (* x x) (* x x)) (* x 8))) (+ (* (* x x) (* x x)) (* x 8))) (* (* (+ (* 2 2) (- (* x x) (* 2 x))) (+ (* 2 2) (- (* x x) (* 2 x)))) (+ (* 2 2) (- (* x x) (* 2 x))))) |
| 248.0ms | (+ (* (* 2 2) (* 2 2)) (- (* (- (* x x) (* 2 x)) (- (* x x) (* 2 x))) (* (* 2 2) (- (* x x) (* 2 x))))) |
| 211.0ms | (+ (pow (* (* x x) (* x x)) 3) (pow (* x 8) 3)) |
5 calls:
| 56.0ms | (/ (+ (* (* x x) (* x x)) (* x 8)) (+ (* 2 2) (- (* x x) (* 2 x)))) |
| 33.0ms | (+ (* (* x x) (* x x)) (* x 8)) |
| 27.0ms | (* (+ 2 x) x) |
| 23.0ms | (- (* x x) (* 2 x)) |
| 13.0ms | (* (* x x) (* x x)) |
| 4× | rewrite-expression-head |
5 calls:
| 25.0ms | (/ (+ (* (* x x) (* x x)) (* x 8)) (+ (* 2 2) (- (* x x) (* 2 x)))) |
| 5.0ms | (* (+ 2 x) x) |
| 5.0ms | (+ (* (* x x) (* x x)) (* x 8)) |
| 4.0ms | (* (* x x) (* x x)) |
| 2.0ms | (- (* x x) (* 2 x)) |
| 14× | add-sqr-sqrt *-un-lft-identity add-cube-cbrt |
| 10× | pow1 |
| 9× | add-log-exp add-cbrt-cube add-exp-log times-frac |
| 5× | pow2 insert-posit16 |
| 4× | associate-*l* flip-+ flip3-+ |
| 3× | associate-/r* associate-/l* |
| 2× | associate-/r/ pow-prod-down pow-prod-up associate-*l/ associate-/l/ *-commutative |
| 1× | pow-plus frac-2neg div-exp flip3-- +-commutative sub-neg associate-*r* clear-num cbrt-undiv cbrt-unprod div-inv distribute-rgt-out-- prod-exp sum-log flip-- diff-log |
Total 0.0b remaining (57.5%)
| 0.0b | 0% | Expanding a square |