Time bar (total: 34.5s)
| 38.0ms | 280× | body | 80 | nan |
| 30.0ms | 256× | body | 80 | valid |
| 276.0ms | (/ 4 (* (* (* 3 PI) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v)))))) |
1 alts after pruning (1 fresh and 0 done)
Merged error: 0b
Found 4 expressions with local error:
| 1.0b | (/ 4/3 (- PI (* v (* PI v)))) |
| 0.2b | (* PI v) |
| 0.2b | (* v (* PI v)) |
| 0.0b | (- PI (* v (* PI v))) |
| 137× | add-sqr-sqrt |
| 87× | *-un-lft-identity |
| 68× | associate-*r* |
| 66× | prod-diff |
| 62× | add-cube-cbrt |
| 32× | associate-*l* unswap-sqr |
| 27× | times-frac |
| 15× | difference-of-squares |
| 14× | *-commutative |
| 13× | add-cbrt-cube add-exp-log |
| 11× | pow1 |
| 10× | distribute-lft-out-- |
| 9× | associate-/r* |
| 6× | add-log-exp |
| 5× | distribute-rgt-out-- |
| 4× | expm1-log1p-u pow-prod-down prod-exp cbrt-unprod insert-posit16 log1p-expm1-u |
| 3× | fma-neg associate-/l* |
| 2× | flip3-- associate-/r/ flip-- |
| 1× | cbrt-undiv clear-num sub-neg frac-2neg diff-log div-exp div-inv |
| 46.0ms | (/ 4/3 (- PI (* v (* PI v)))) |
| 44.0ms | (- PI (* v (* PI v))) |
| 39.0ms | (* v (* PI v)) |
| 10.0ms | (* PI v) |
| 106.0ms | (/ 4/3 (- PI (* v (* PI v)))) |
| 57.0ms | (- PI (* v (* PI v))) |
| 43.0ms | (* v (* PI v)) |
| 37.0ms | (* PI v) |
| 563.0ms | (fma (* (cbrt PI) (cbrt PI)) (cbrt PI) (- (* (cbrt v) (* v (* PI (* (cbrt v) (cbrt v))))))) |
| 463.0ms | (fma 1 PI (- (* (* (sqrt PI) (sqrt v)) (* v (* (sqrt PI) (sqrt v)))))) |
| 460.0ms | (+ (* PI PI) (+ (* (* v (* PI v)) (* v (* PI v))) (* PI (* v (* PI v))))) |
| 442.0ms | (fma 1 PI (- (* (cbrt v) (* v (* PI (* (cbrt v) (cbrt v))))))) |
| 415.0ms | (fma 1 PI (- (* (* (sqrt v) (* (sqrt PI) (sqrt v))) (* (sqrt v) (* (sqrt PI) (sqrt v)))))) |
1 alts after pruning (0 fresh and 1 done)
Merged error: 0b
| 1.7s | 8000× | body | 80 | valid |
| 1.1s | 8045× | body | 80 | nan |