539 calls:
| 1.0s | (/ (* (* (* (sqrt (- 4 (* x x))) (* x (sqrt (+ 8 (* x (* x x)))))) (* (sqrt (- 4 (* x x))) (* x (sqrt (+ 8 (* x (* x x))))))) (* (sqrt (- 4 (* x x))) (* x (sqrt (+ 8 (* x (* x x))))))) (* (* (* (sqrt (- 2 x)) (sqrt (- (* (- x 2) x) -4))) (* (sqrt (- 2 x)) (sqrt (- (* (- x 2) x) -4)))) (* (sqrt (- 2 x)) (sqrt (- (* (- x 2) x) -4))))) |
| 1.0s | (/ (* (* (* (sqrt (- 4 (* x x))) (sqrt (- 4 (* x x)))) (sqrt (- 4 (* x x)))) (* (* (* x x) x) (* (* (sqrt (+ 8 (* x (* x x)))) (sqrt (+ 8 (* x (* x x))))) (sqrt (+ 8 (* x (* x x))))))) (* (* (* (sqrt (- 2 x)) (sqrt (- (* (- x 2) x) -4))) (* (sqrt (- 2 x)) (sqrt (- (* (- x 2) x) -4)))) (* (sqrt (- 2 x)) (sqrt (- (* (- x 2) x) -4))))) |
| 990.0ms | (/ (* (* (* (sqrt (- 4 (* x x))) (sqrt (- 4 (* x x)))) (sqrt (- 4 (* x x)))) (* (* (* x x) x) (* (* (sqrt (+ 8 (* x (* x x)))) (sqrt (+ 8 (* x (* x x))))) (sqrt (+ 8 (* x (* x x))))))) (* (* (* (sqrt (- 2 x)) (sqrt (- 2 x))) (sqrt (- 2 x))) (* (* (sqrt (- (* (- x 2) x) -4)) (sqrt (- (* (- x 2) x) -4))) (sqrt (- (* (- x 2) x) -4))))) |
| 974.0ms | (/ (* (* (* (sqrt (- 4 (* x x))) (* x (sqrt (+ 8 (* x (* x x)))))) (* (sqrt (- 4 (* x x))) (* x (sqrt (+ 8 (* x (* x x))))))) (* (sqrt (- 4 (* x x))) (* x (sqrt (+ 8 (* x (* x x))))))) (* (* (* (sqrt (- 2 x)) (sqrt (- 2 x))) (sqrt (- 2 x))) (* (* (sqrt (- (* (- x 2) x) -4)) (sqrt (- (* (- x 2) x) -4))) (sqrt (- (* (- x 2) x) -4))))) |
| 926.0ms | (/ (* (* (* (sqrt (- 4 (* x x))) (sqrt (- 4 (* x x)))) (sqrt (- 4 (* x x)))) (* (* (* x (sqrt (+ 8 (* x (* x x))))) (* x (sqrt (+ 8 (* x (* x x)))))) (* x (sqrt (+ 8 (* x (* x x))))))) (* (* (* (sqrt (- 2 x)) (sqrt (- (* (- x 2) x) -4))) (* (sqrt (- 2 x)) (sqrt (- (* (- x 2) x) -4)))) (* (sqrt (- 2 x)) (sqrt (- (* (- x 2) x) -4))))) |
| 6× | intervals |
| 1.7s | 7608× | body | 1280 | valid |
| 1.1s | 2908× | body | 2560 | valid |
| 598.0ms | 4281× | body | 640 | valid |
| 539.0ms | 10048× | body | 80 | valid |
| 165.0ms | 1833× | body | 320 | valid |
| 40.0ms | 820× | body | 160 | valid |
13 calls:
| 289.0ms | (/ (* (sqrt (- 4 (* x x))) (* x (sqrt (+ 8 (* x (* x x)))))) (* (sqrt (- 2 x)) (sqrt (- (* (- x 2) x) -4)))) |
| 82.0ms | (* (* (* (sqrt (+ 2 x)) (sqrt (+ 2 x))) (sqrt (+ 2 x))) (* (* x x) x)) |
| 79.0ms | (* x (sqrt (+ 8 (* x (* x x))))) |
| 76.0ms | (cbrt (* (* (* (sqrt (+ 2 x)) (sqrt (+ 2 x))) (sqrt (+ 2 x))) (* (* x x) x))) |
| 74.0ms | (* (sqrt (+ 2 x)) x) |
| 6× | rewrite-expression-head |
13 calls:
| 155.0ms | (* (* (* (sqrt (+ 2 x)) (sqrt (+ 2 x))) (sqrt (+ 2 x))) (* (* x x) x)) |
| 140.0ms | (cbrt (* (* (* (sqrt (+ 2 x)) (sqrt (+ 2 x))) (sqrt (+ 2 x))) (* (* x x) x))) |
| 106.0ms | (* (sqrt (+ 2 x)) (cbrt (* (* (* (sqrt (+ 2 x)) (sqrt (+ 2 x))) (sqrt (+ 2 x))) (* (* x x) x)))) |
| 52.0ms | (/ (* (sqrt (- 4 (* x x))) (* x (sqrt (+ 8 (* x (* x x)))))) (* (sqrt (- 2 x)) (sqrt (- (* (- x 2) x) -4)))) |
| 35.0ms | (* (sqrt (+ 2 x)) (* (sqrt (+ 2 x)) x)) |
| 382× | sqrt-div |
| 220× | associate-*l/ |
| 208× | frac-times |
| 183× | flip-+ flip3-+ |
| 182× | pow1 |
| 104× | cbrt-div |
| 90× | add-exp-log |
| 89× | add-cbrt-cube |
| 82× | associate-*r/ |
| 68× | add-sqr-sqrt |
| 66× | pow-prod-down |
| 64× | *-un-lft-identity |
| 55× | sqrt-prod |
| 50× | pow-prod-up |
| 47× | cbrt-unprod prod-exp |
| 42× | pow-plus |
| 39× | associate-*l* |
| 38× | add-cube-cbrt |
| 26× | associate-*r* |
| 13× | add-log-exp insert-posit16 |
| 12× | distribute-lft-out unswap-sqr pow-sqr |
| 11× | pow1/2 sqrt-pow1 swap-sqr |
| 10× | pow2 |
| 9× | flip3-- flip-- |
| 8× | associate-/r/ *-commutative associate-/l/ |
| 6× | div-exp cbrt-undiv |
| 4× | pow3 |
| 3× | rem-sqrt-square |
| 2× | cbrt-prod |
| 1× | pow1/3 associate-/l* rem-square-sqrt frac-2neg cube-unmult associate-/r* sqrt-unprod clear-num rem-cbrt-cube div-inv times-frac |
Total 0.0b remaining (71.6%)
| 0.0b | 0% | Expanding a square |