Time bar (total: 5.9s)
| 9.0ms | 29× | body | 2560 | valid |
| 6.0ms | 173× | body | 80 | 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 |
| 63.0ms | (/ (+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c)))) (* 2.0 a)) |
| 10.0ms | (- (* b b) (* (* 4.0 a) c)) |
| 21.0ms | (+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c)))) |
| 10.0ms | (sqrt (- (* b b) (* (* 4.0 a) c))) |
| 110.0ms | (/ (+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c)))) (* 2.0 a)) |
| 50.0ms | (- (* b b) (* (* 4.0 a) c)) |
| 84.0ms | (+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c)))) |
| 73.0ms | (sqrt (- (* b b) (* (* 4.0 a) c))) |
Useful iterations: 2 (40.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 438 | 854 |
| 1 | 1702 | 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-+ |
| 8.0ms | (- (* b b) (* (* 4.0 a) c)) |
| 79.0ms | (/ (/ (+ 0 (* 4.0 (* a c))) (- (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))) (* 2.0 a)) |
| 54.0ms | (/ (+ 0 (* 4.0 (* a c))) (- (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))) |
| 13.0ms | (sqrt (- (* b b) (* (* 4.0 a) c))) |
| 47.0ms | (- (* b b) (* (* 4.0 a) c)) |
| 158.0ms | (/ (/ (+ 0 (* 4.0 (* a c))) (- (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))) (* 2.0 a)) |
| 190.0ms | (/ (+ 0 (* 4.0 (* a c))) (- (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))) |
| 74.0ms | (sqrt (- (* b b) (* (* 4.0 a) c))) |
Useful iterations: 2 (98.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 674 | 2663 |
| 1 | 3462 | 2412 |
| 2 | 5001 | 2406 |
| done | 5001 | 2406 |
11 alts after pruning (10 fresh and 1 done)
Merged error: 6.9b
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 |
| 14.0ms | (- (- b) (* (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))))) |
| 31.0ms | (/ (+ 0 (* 4.0 (* a c))) (- (- b) (* (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))))) |
| 13.0ms | (sqrt (- (* b b) (* (* 4.0 a) c))) |
| 10.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)))))) |
| 190.0ms | (/ (+ 0 (* 4.0 (* a c))) (- (- b) (* (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))))) |
| 75.0ms | (sqrt (- (* b b) (* (* 4.0 a) c))) |
| 71.0ms | (sqrt (- (* b b) (* (* 4.0 a) c))) |
Useful iterations: 2 (72.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 468 | 2299 |
| 1 | 2145 | 1877 |
| 2 | 5001 | 1813 |
| done | 5001 | 1813 |
11 alts after pruning (9 fresh and 2 done)
Merged error: 6.9b
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 |
| 54.0ms | (/ (+ 0 (* 4.0 (* a c))) (- (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))) |
| 10.0ms | (sqrt (- (* b b) (* (* 4.0 a) c))) |
| 11.0ms | (sqrt (- (* b b) (* (* 4.0 a) c))) |
| 14.0ms | (sqrt (- (* b b) (* (* 4.0 a) c))) |
| 191.0ms | (/ (+ 0 (* 4.0 (* a c))) (- (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))) |
| 76.0ms | (sqrt (- (* b b) (* (* 4.0 a) c))) |
| 72.0ms | (sqrt (- (* b b) (* (* 4.0 a) c))) |
| 76.0ms | (sqrt (- (* b b) (* (* 4.0 a) c))) |
Useful iterations: 2 (66.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 363 | 1311 |
| 1 | 1840 | 1237 |
| 2 | 5001 | 1228 |
| done | 5001 | 1228 |
11 alts after pruning (8 fresh and 3 done)
Merged error: 6.9b
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 | 9.748353205521284e+77 |
| 8 | -9.073593986373281e-301 | -1.0206815961955441e-304 | -4.546128927832045e-301 |
| 6 | -2.609655750368231e+55 | -5.8243034561944285e+54 | -2.5682011286372237e+55 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 48 | 38 |
| 1 | 50 | 38 |
| 2 | 50 | 38 |
| done | 50 | 38 |
| 250.0ms | 1149× | body | 2560 | valid |
| 225.0ms | 5800× | body | 80 | valid |
| 166.0ms | 887× | body | 1280 | valid |
| 100.0ms | 2854× | body | 80 | nan |
| 67.0ms | 474× | body | 640 | valid |
| 29.0ms | 254× | body | 320 | valid |
| 25.0ms | 92× | body | 5120 | valid |
| 8.0ms | 108× | body | 160 | valid |