Time bar (total: 1.2s)
| 39.0ms | 304× | body | 80 | valid |
| 437.0ms | (* (* (/ PI 2) (/ 1 (- (* b b) (* a a)))) (- (/ 1 a) (/ 1 b))) |
2 alts after pruning (2 fresh and 0 done)
Merged error: 8.8b
Found 4 expressions with local error:
| 4.9b | (/ (/ (/ (/ PI 2) (- b a)) (+ a b)) a) |
| 3.9b | (/ (/ (/ (/ PI 2) (- b a)) (+ a b)) b) |
| 0.3b | (/ (/ PI 2) (- b a)) |
| 0.3b | (/ (/ PI 2) (- b a)) |
| 7770× | times-frac |
| 4866× | *-un-lft-identity |
| 3730× | add-sqr-sqrt |
| 2842× | add-cube-cbrt |
| 606× | associate-/l* |
| 568× | distribute-lft-out |
| 444× | distribute-lft-out-- difference-of-squares |
| 216× | div-inv |
| 84× | associate-/r/ |
| 42× | add-cbrt-cube add-exp-log |
| 34× | flip3-- flip-- |
| 26× | cbrt-undiv div-exp |
| 16× | associate-/r* |
| 8× | flip3-+ flip-+ |
| 4× | pow1 clear-num frac-2neg insert-posit16 add-log-exp associate-/l/ |
| 37.0ms | (/ (/ (/ (/ PI 2) (- b a)) (+ a b)) a) |
| 29.0ms | (/ (/ (/ (/ PI 2) (- b a)) (+ a b)) b) |
| 22.0ms | (/ (/ PI 2) (- b a)) |
| 10.0ms | (/ (/ PI 2) (- b a)) |
| 121.0ms | (/ (/ (/ (/ PI 2) (- b a)) (+ a b)) a) |
| 110.0ms | (/ (/ (/ (/ PI 2) (- b a)) (+ a b)) b) |
| 81.0ms | (/ (/ PI 2) (- b a)) |
| 79.0ms | (/ (/ PI 2) (- b a)) |