Time bar (total: 15.3s)
| 39.0ms | 274× | body | 80 | nan |
| 34.0ms | 138× | body | 160 | valid |
| 28.0ms | 530× | pre | 80 | true |
| 15.0ms | 118× | body | 80 | valid |
| 155.0ms | (/ (+ (- b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) |
1 alts after pruning (1 fresh and 0 done)
Merged error: 27.1b
Found 4 expressions with local error:
| 26.9b | (- (sqrt (- (* b b) (* (* c a) 4))) b) |
| 0.3b | (- (* b b) (* (* c a) 4)) |
| 0.2b | (/ (- (sqrt (- (* b b) (* (* c a) 4))) b) (* 2 a)) |
| 0.1b | (sqrt (- (* b b) (* (* c a) 4))) |
| 8× | add-sqr-sqrt |
| 7× | *-un-lft-identity add-cube-cbrt |
| 6× | add-cbrt-cube add-exp-log add-log-exp |
| 4× | pow1 flip3-- insert-posit16 flip-- |
| 3× | times-frac sqrt-prod associate-/l* |
| 2× | sub-neg sqrt-div associate-/l/ |
| 1× | cbrt-undiv rem-sqrt-square clear-num associate-/r* frac-2neg pow1/2 diff-log div-sub div-exp div-inv |
| 28.0ms | (/ (- (sqrt (- (* b b) (* (* c a) 4))) b) (* 2 a)) |
| 12.0ms | (- (sqrt (- (* b b) (* (* c a) 4))) b) |
| 2.0ms | (- (* b b) (* (* c a) 4)) |
| 2.0ms | (sqrt (- (* b b) (* (* c a) 4))) |
| 146.0ms | (/ (- (sqrt (- (* b b) (* (* c a) 4))) b) (* 2 a)) |
| 115.0ms | (- (sqrt (- (* b b) (* (* c a) 4))) b) |
| 97.0ms | (sqrt (- (* b b) (* (* c a) 4))) |
| 63.0ms | (- (* b b) (* (* c a) 4)) |
| 579.0ms | (- (* (sqrt (- (* b b) (* (* c a) 4))) (sqrt (- (* b b) (* (* c a) 4)))) (* b b)) |
| 525.0ms | (sqrt (- (pow (* b b) 3) (pow (* (* c a) 4) 3))) |
| 286.0ms | (- (pow (sqrt (- (* b b) (* (* c a) 4))) 3) (pow b 3)) |
| 282.0ms | (sqrt (- (* (* b b) (* b b)) (* (* (* c a) 4) (* (* c a) 4)))) |
| 250.0ms | (- b (* 2 (/ (* a c) b))) |
15 alts after pruning (15 fresh and 0 done)
Merged error: 8.7b
Found 0 expressions with local error:
15 alts after pruning (14 fresh and 1 done)
Merged error: 8.7b
Found 2 expressions with local error:
| 0.3b | (/ (* -2 (/ (* a c) b)) (* 2 a)) |
| 0.3b | (/ (* a c) b) |
| 4× | add-cbrt-cube add-exp-log |
| 2× | add-sqr-sqrt pow1 clear-num frac-2neg *-un-lft-identity add-cube-cbrt insert-posit16 div-inv associate-/l* add-log-exp |
| 1× | cbrt-undiv associate-/r* times-frac div-exp associate-*r/ associate-/l/ |
| 4.0ms | (/ (* -2 (/ (* a c) b)) (* 2 a)) |
| 2.0ms | (/ (* a c) b) |
| 33.0ms | (/ (* -2 (/ (* a c) b)) (* 2 a)) |
| 31.0ms | (/ (* a c) b) |
| 702.0ms | (/ (* (* (* -2 (/ (* a c) b)) (* -2 (/ (* a c) b))) (* -2 (/ (* a c) b))) (* (* (* 2 a) (* 2 a)) (* 2 a))) |
| 170.0ms | (/ (/ (* a c) b) a) |
| 160.0ms | (- (log (* -2 (/ (* a c) b))) (log (* 2 a))) |
| 28.0ms | (* -2 (* a c)) |
| 26.0ms | (* -1 (/ c b)) |
24 alts after pruning (23 fresh and 1 done)
Merged error: 8.7b
Found 3 expressions with local error:
| 0.3b | (/ (* -2 (/ 1 (/ b (* a c)))) (* 2 a)) |
| 0.3b | (/ b (* a c)) |
| 0.3b | (/ 1 (/ b (* a c))) |
| 6× | associate-/r* add-exp-log |
| 5× | add-cbrt-cube |
| 4× | add-sqr-sqrt pow1 *-un-lft-identity add-cube-cbrt div-inv |
| 3× | clear-num frac-2neg insert-posit16 add-log-exp |
| 2× | associate-/l/ |
| 1× | cbrt-undiv rec-exp times-frac div-exp associate-*r/ associate-/r/ un-div-inv pow-flip associate-/l* inv-pow |
| 9.0ms | (/ (* -2 (/ 1 (/ b (* a c)))) (* 2 a)) |
| 2.0ms | (/ 1 (/ b (* a c))) |
| 1.0ms | (/ b (* a c)) |
| 40.0ms | (/ 1 (/ b (* a c))) |
| 26.0ms | (/ b (* a c)) |
| 25.0ms | (/ (* -2 (/ 1 (/ b (* a c)))) (* 2 a)) |
| 745.0ms | (/ (* (* (* -2 (/ 1 (/ b (* a c)))) (* -2 (/ 1 (/ b (* a c))))) (* -2 (/ 1 (/ b (* a c))))) (* (* (* 2 a) (* 2 a)) (* 2 a))) |
| 456.0ms | (/ (/ 1 (/ b (* a c))) a) |
| 183.0ms | (- (log (* -2 (/ 1 (/ b (* a c))))) (log (* 2 a))) |
| 28.0ms | (* -1 (/ c b)) |
| 27.0ms | (/ 1 (* a c)) |
27 alts after pruning (26 fresh and 1 done)
Merged error: 8.7b
48% (7.1b remaining)
Error of 16.2b against oracle of 9.1b and baseline of 22.7b
| 1.7s | 8707× | body | 80 | nan |
| 1.3s | 4495× | body | 160 | valid |
| 1.1s | 16707× | pre | 80 | true |
| 589.0ms | 3505× | body | 80 | valid |