Time bar (total: 5.7s)
| 6.0ms | 173× | body | 80 | valid |
| 6.0ms | 29× | body | 2560 | valid |
| 5.0ms | 27× | body | 1280 | valid |
| 3.0ms | 83× | body | 80 | nan |
| 3.0ms | 21× | body | 640 | valid |
| 1.0ms | 5× | body | 5120 | valid |
| 1.0ms | 12× | body | 320 | valid |
| 1.0ms | 11× | body | 160 | valid |
Useful iterations: 0 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 25 | 9 |
| 1 | 46 | 9 |
| 2 | 86 | 9 |
| 3 | 113 | 9 |
| 4 | 121 | 9 |
| 5 | 121 | 9 |
| done | 121 | 9 |
1 alts after pruning (1 fresh and 0 done)
Merged error: 37.3b
Found 4 expressions with local error:
| 0.1b | (/ (+ (- b) (sqrt (- (* b b) (* 4.0 (* a c))))) (* 2.0 a)) |
| 1.8b | (- (* b b) (* 4.0 (* a c))) |
| 2.3b | (+ (- b) (sqrt (- (* b b) (* 4.0 (* a c))))) |
| 24.6b | (sqrt (- (* b b) (* 4.0 (* a c)))) |
| 22× | *-un-lft-identity |
| 11× | add-sqr-sqrt |
| 10× | add-cube-cbrt fma-def add-log-exp |
| 9× | add-exp-log add-cbrt-cube |
| 6× | distribute-rgt-neg-in distribute-lft-out |
| 5× | pow1 times-frac associate-/l* |
| 4× | expm1-log1p-u log1p-expm1-u |
| 3× | distribute-lft-neg-in sqrt-prod |
| 2× | cbrt-undiv neg-sub0 associate-+l- flip3-- flip3-+ sqrt-div div-exp sum-log flip-- flip-+ associate-/l/ |
| 1× | +-commutative neg-mul-1 sub-neg rem-sqrt-square frac-2neg sqrt-pow1 pow1/2 fma-neg diff-log div-sub prod-diff neg-log prod-exp clear-num associate-/r* cbrt-unprod div-inv |
| 65.0ms | (/ (+ (- b) (sqrt (- (* b b) (* 4.0 (* a c))))) (* 2.0 a)) |
| 9.0ms | (- (* b b) (* 4.0 (* a c))) |
| 22.0ms | (+ (- b) (sqrt (- (* b b) (* 4.0 (* a c))))) |
| 14.0ms | (sqrt (- (* b b) (* 4.0 (* a c)))) |
| 107.0ms | (/ (+ (- b) (sqrt (- (* b b) (* 4.0 (* a c))))) (* 2.0 a)) |
| 45.0ms | (- (* b b) (* 4.0 (* a c))) |
| 82.0ms | (+ (- b) (sqrt (- (* b b) (* 4.0 (* a c))))) |
| 73.0ms | (sqrt (- (* b b) (* 4.0 (* a c)))) |
Useful iterations: 2 (38.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 438 | 854 |
| 1 | 1658 | 750 |
| 2 | 5001 | 735 |
| done | 5001 | 735 |
9 alts after pruning (9 fresh and 0 done)
Merged error: 7.1b
Found 4 expressions with local error:
| 1.8b | (- (* b b) (* 4.0 (* a c))) |
| 3.6b | (/ (/ (+ 0 (* 4.0 (* a c))) (- (- b) (sqrt (- (* b b) (* 4.0 (* a c)))))) (* 2.0 a)) |
| 13.4b | (/ (+ 0 (* 4.0 (* a c))) (- (- b) (sqrt (- (* b b) (* 4.0 (* a c)))))) |
| 24.6b | (sqrt (- (* b b) (* 4.0 (* a c)))) |
| 90× | times-frac |
| 80× | add-sqr-sqrt |
| 79× | *-un-lft-identity |
| 39× | add-cube-cbrt |
| 30× | associate-/l* |
| 20× | distribute-lft-out-- difference-of-squares |
| 18× | add-exp-log add-cbrt-cube |
| 13× | sqrt-prod |
| 10× | distribute-rgt-neg-in |
| 8× | associate-/r* |
| 7× | cbrt-undiv div-exp |
| 6× | associate-/r/ add-log-exp |
| 5× | pow1 flip3-- flip-- |
| 4× | expm1-log1p-u log1p-expm1-u div-inv |
| 3× | associate-/l/ |
| 2× | frac-2neg sqrt-div prod-exp clear-num cbrt-unprod |
| 1× | sub-neg rem-sqrt-square sqrt-pow1 flip3-+ pow1/2 fma-neg diff-log prod-diff flip-+ |
| 10.0ms | (- (* b b) (* 4.0 (* a c))) |
| 83.0ms | (/ (/ (+ 0 (* 4.0 (* a c))) (- (- b) (sqrt (- (* b b) (* 4.0 (* a c)))))) (* 2.0 a)) |
| 58.0ms | (/ (+ 0 (* 4.0 (* a c))) (- (- b) (sqrt (- (* b b) (* 4.0 (* a c)))))) |
| 11.0ms | (sqrt (- (* b b) (* 4.0 (* a c)))) |
| 50.0ms | (- (* b b) (* 4.0 (* a c))) |
| 154.0ms | (/ (/ (+ 0 (* 4.0 (* a c))) (- (- b) (sqrt (- (* b b) (* 4.0 (* a c)))))) (* 2.0 a)) |
| 242.0ms | (/ (+ 0 (* 4.0 (* a c))) (- (- b) (sqrt (- (* b b) (* 4.0 (* a c)))))) |
| 71.0ms | (sqrt (- (* b b) (* 4.0 (* a c)))) |
Useful iterations: 2 (89.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 665 | 2663 |
| 1 | 3259 | 2412 |
| 2 | 5001 | 2405 |
| done | 5001 | 2405 |
11 alts after pruning (10 fresh and 1 done)
Merged error: 7.0b
Found 4 expressions with local error:
| 6.2b | (- (- b) (* (sqrt (sqrt (- (* b b) (* 4.0 (* a c))))) (sqrt (sqrt (- (* b b) (* 4.0 (* a c))))))) |
| 13.1b | (/ (+ 0 (* 4.0 (* a c))) (- (- b) (* (sqrt (sqrt (- (* b b) (* 4.0 (* a c))))) (sqrt (sqrt (- (* b b) (* 4.0 (* a c)))))))) |
| 24.6b | (sqrt (- (* b b) (* 4.0 (* a c)))) |
| 24.6b | (sqrt (- (* b b) (* 4.0 (* a c)))) |
| 28× | add-sqr-sqrt |
| 21× | add-cube-cbrt *-un-lft-identity |
| 12× | times-frac |
| 10× | fma-neg prod-diff |
| 8× | add-log-exp |
| 6× | pow1 add-exp-log distribute-lft-neg-in distribute-rgt-neg-in sqrt-prod add-cbrt-cube |
| 5× | difference-of-squares |
| 4× | expm1-log1p-u flip3-- sqrt-div associate-/r* flip-- log1p-expm1-u |
| 3× | associate-/l* |
| 2× | neg-mul-1 rem-sqrt-square sqrt-pow1 pow1/2 diff-log associate-/r/ associate-/l/ |
| 1× | cbrt-undiv associate--l- neg-sub0 sub-neg frac-2neg flip3-+ div-exp neg-log clear-num flip-+ div-inv |
| 15.0ms | (- (- b) (* (sqrt (sqrt (- (* b b) (* 4.0 (* a c))))) (sqrt (sqrt (- (* b b) (* 4.0 (* a c))))))) |
| 34.0ms | (/ (+ 0 (* 4.0 (* a c))) (- (- b) (* (sqrt (sqrt (- (* b b) (* 4.0 (* a c))))) (sqrt (sqrt (- (* b b) (* 4.0 (* a c)))))))) |
| 11.0ms | (sqrt (- (* b b) (* 4.0 (* a c)))) |
| 15.0ms | (sqrt (- (* b b) (* 4.0 (* a c)))) |
| 84.0ms | (- (- b) (* (sqrt (sqrt (- (* b b) (* 4.0 (* a c))))) (sqrt (sqrt (- (* b b) (* 4.0 (* a c))))))) |
| 194.0ms | (/ (+ 0 (* 4.0 (* a c))) (- (- b) (* (sqrt (sqrt (- (* b b) (* 4.0 (* a c))))) (sqrt (sqrt (- (* b b) (* 4.0 (* a c)))))))) |
| 76.0ms | (sqrt (- (* b b) (* 4.0 (* a c)))) |
| 74.0ms | (sqrt (- (* b b) (* 4.0 (* a c)))) |
Useful iterations: 2 (63.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 457 | 2299 |
| 1 | 1978 | 1877 |
| 2 | 5001 | 1812 |
| done | 5001 | 1812 |
11 alts after pruning (9 fresh and 2 done)
Merged error: 7.0b
Found 4 expressions with local error:
| 13.4b | (/ (+ 0 (* 4.0 (* a c))) (- (- b) (sqrt (- (* b b) (* 4.0 (* a c)))))) |
| 24.6b | (sqrt (- (* b b) (* 4.0 (* a c)))) |
| 24.6b | (sqrt (- (* b b) (* 4.0 (* a c)))) |
| 24.6b | (sqrt (- (* b b) (* 4.0 (* a c)))) |
| 38× | add-sqr-sqrt |
| 35× | *-un-lft-identity |
| 21× | times-frac |
| 19× | add-cube-cbrt |
| 13× | sqrt-prod |
| 8× | distribute-lft-out-- difference-of-squares |
| 7× | pow1 associate-/r* |
| 6× | add-exp-log sqrt-div add-cbrt-cube |
| 4× | expm1-log1p-u flip3-- distribute-rgt-neg-in flip-- log1p-expm1-u add-log-exp |
| 3× | rem-sqrt-square sqrt-pow1 pow1/2 associate-/l* |
| 2× | associate-/r/ associate-/l/ |
| 1× | cbrt-undiv frac-2neg flip3-+ div-exp clear-num flip-+ div-inv |
| 57.0ms | (/ (+ 0 (* 4.0 (* a c))) (- (- b) (sqrt (- (* b b) (* 4.0 (* a c)))))) |
| 14.0ms | (sqrt (- (* b b) (* 4.0 (* a c)))) |
| 11.0ms | (sqrt (- (* b b) (* 4.0 (* a c)))) |
| 11.0ms | (sqrt (- (* b b) (* 4.0 (* a c)))) |
| 210.0ms | (/ (+ 0 (* 4.0 (* a c))) (- (- b) (sqrt (- (* b b) (* 4.0 (* a c)))))) |
| 75.0ms | (sqrt (- (* b b) (* 4.0 (* a c)))) |
| 76.0ms | (sqrt (- (* b b) (* 4.0 (* a c)))) |
| 71.0ms | (sqrt (- (* b b) (* 4.0 (* a c)))) |
Useful iterations: 2 (54.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 352 | 1311 |
| 1 | 1674 | 1237 |
| 2 | 5001 | 1228 |
| done | 5001 | 1228 |
11 alts after pruning (8 fresh and 3 done)
Merged error: 7.0b
86.6% (3.6b remaining)
Error of 9.1b against oracle of 5.5b and baseline of 32.4b
| Iters | Range | Point | |
|---|---|---|---|
| 4 | 9.113314976006761e+77 | 1.3987841324983815e+78 | 1.1004497833510182e+78 |
| 8 | -9.073593986373281e-301 | -1.0206815961955441e-304 | -3.3757511800265684e-301 |
| 6 | -2.609655750368231e+55 | -5.8243034561944285e+54 | -2.5682011286372237e+55 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 44 | 38 |
| 1 | 46 | 38 |
| 2 | 46 | 38 |
| done | 46 | 38 |
| 252.0ms | 1149× | body | 2560 | valid |
| 220.0ms | 5800× | body | 80 | valid |
| 155.0ms | 887× | body | 1280 | valid |
| 103.0ms | 2854× | body | 80 | nan |
| 69.0ms | 474× | body | 640 | valid |
| 26.0ms | 254× | body | 320 | valid |
| 24.0ms | 92× | body | 5120 | valid |
| 7.0ms | 108× | body | 160 | valid |