340 calls:
| 732.0ms | (- (* (+ x 1) (+ x 1)) 1) |
| 449.0ms | (/ 1 (sqrt (+ (* 2 2) (cbrt (* (* (- (* x x) (* 2 x)) (- (* x x) (* 2 x))) (- (* x x) (* 2 x))))))) |
| 369.0ms | (* (- (* 2 x)) (* (- (* x x) (* 2 x)) (- (* x x) (* 2 x)))) |
| 366.0ms | (* (- (* 2 x)) (* (- (* x x) (* 2 x)) (- (* x x) (* 2 x)))) |
| 363.0ms | (* (* (* (+ 2 x) (+ 2 x)) (+ 2 x)) (* (* x x) x)) |
| 6× | intervals |
| 1.7s | 7526× | body | 1280 | valid |
| 943.0ms | 2918× | body | 2560 | valid |
| 560.0ms | 4319× | body | 640 | valid |
| 522.0ms | 10063× | body | 80 | valid |
| 123.0ms | 1768× | body | 320 | valid |
| 80.0ms | 857× | body | 160 | valid |
9 calls:
| 150.0ms | (/ (+ (* (* x x) (* x x)) (* 8 x)) (+ (* 2 2) (- (* x x) (* 2 x)))) |
| 139.0ms | (/ (+ (* (* x x) (* x x)) (* 8 x)) (+ (* 2 2) (cbrt (* (* (- (* x x) (* 2 x)) (- (* x x) (* 2 x))) (- (* x x) (* 2 x)))))) |
| 57.0ms | (cbrt (* (* (- (* x x) (* 2 x)) (- (* x x) (* 2 x))) (- (* x x) (* 2 x)))) |
| 57.0ms | (- (* x x) (* 2 x)) |
| 49.0ms | (* (+ 2 x) x) |
| 5× | rewrite-expression-head |
9 calls:
| 90.0ms | (* (* (- (* x x) (* 2 x)) (- (* x x) (* 2 x))) (- (* x x) (* 2 x))) |
| 82.0ms | (/ (+ (* (* x x) (* x x)) (* 8 x)) (+ (* 2 2) (- (* x x) (* 2 x)))) |
| 65.0ms | (cbrt (* (* (- (* x x) (* 2 x)) (- (* x x) (* 2 x))) (- (* x x) (* 2 x)))) |
| 63.0ms | (/ (+ (* (* x x) (* x x)) (* 8 x)) (+ (* 2 2) (cbrt (* (* (- (* x x) (* 2 x)) (- (* x x) (* 2 x))) (- (* x x) (* 2 x)))))) |
| 25.0ms | (* (* x x) (* x x)) |
| 252× | pow1 |
| 78× | pow-prod-up |
| 56× | frac-times |
| 55× | flip3-- flip-- |
| 50× | pow-prod-down |
| 46× | pow-sqr |
| 44× | add-cbrt-cube add-exp-log |
| 42× | pow-plus |
| 31× | add-sqr-sqrt |
| 30× | *-un-lft-identity associate-*l/ |
| 28× | pow2 add-cube-cbrt |
| 26× | cbrt-div |
| 20× | cbrt-unprod prod-exp |
| 18× | times-frac |
| 16× | add-log-exp associate-*r/ |
| 9× | insert-posit16 associate-*r* |
| 7× | associate-*l* |
| 6× | flip3-+ associate-/r* flip-+ associate-/l* |
| 4× | unswap-sqr associate-/r/ sub-neg *-commutative associate-/l/ |
| 2× | associate-+r+ distribute-lft-in cbrt-undiv distribute-rgt-out-- frac-2neg sum-log pow3 div-exp distribute-rgt-in clear-num swap-sqr div-inv diff-log |
| 1× | pow1/3 associate-+r- rem-cbrt-cube distribute-lft-out +-commutative cbrt-prod |
Total 0.0b remaining (60.6%)
| 0.0b | 0% | Expanding a square |