Time bar (total: 6.0s)
| 11.0ms | 45× | body | 2560 | valid |
| 11.0ms | 197× | body | 80 | valid |
| 5.0ms | 23× | body | 1280 | valid |
| 4.0ms | 97× | body | 80 | nan |
| 2.0ms | 10× | body | 640 | valid |
| 1.0ms | 3× | body | 5120 | valid |
| 1.0ms | 5× | body | 320 | valid |
| 0.0ms | 3× | body | 160 | valid |
Useful iterations: 0 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 15 | 7 |
| 1 | 23 | 7 |
| 2 | 30 | 7 |
| 3 | 32 | 7 |
| 4 | 34 | 7 |
| 5 | 34 | 7 |
2 alts after pruning (2 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 0 | 1 | 1 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 0 | 0 |
| Done | 0 | 0 | 0 |
| Total | 0 | 2 | 2 |
Merged error: 35.1b
Found 4 expressions with local error:
| 0.1b | (/ (+ (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) a) |
| 0.4b | (- (* b_2 b_2) (* a c)) |
| 1.1b | (+ (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) |
| 24.9b | (sqrt (- (* b_2 b_2) (* a c))) |
| 38× | *-un-lft-identity |
| 19× | add-sqr-sqrt |
| 18× | add-cube-cbrt |
| 15× | times-frac |
| 10× | fma-def distribute-lft-out add-log-exp |
| 8× | distribute-rgt-neg-in |
| 6× | add-exp-log add-cbrt-cube |
| 5× | pow1 associate-/l* |
| 4× | expm1-log1p-u log1p-expm1-u |
| 3× | distribute-lft-neg-in associate-/r* sqrt-prod |
| 2× | neg-sub0 associate-+l- flip3-- flip3-+ sqrt-div sum-log flip-- flip-+ associate-/l/ |
| 1× | cbrt-undiv +-commutative neg-mul-1 sub-neg rem-sqrt-square frac-2neg sqrt-pow1 pow1/2 fma-neg diff-log div-sub div-exp prod-diff neg-log clear-num div-inv |
| 10.0ms | (/ (+ (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) a) |
| 17.0ms | (- (* b_2 b_2) (* a c)) |
| 9.0ms | (+ (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) |
| 7.0ms | (sqrt (- (* b_2 b_2) (* a c))) |
| 90.0ms | (/ (+ (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) a) |
| 36.0ms | (- (* b_2 b_2) (* a c)) |
| 77.0ms | (+ (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) |
| 70.0ms | (sqrt (- (* b_2 b_2) (* a c))) |
Useful iterations: 2 (36.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 389 | 850 |
| 1 | 1366 | 779 |
| 2 | 5001 | 753 |
8 alts after pruning (8 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 104 | 8 | 112 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 105 | 8 | 113 |
Merged error: 5.9b
Found 4 expressions with local error:
| 0.4b | (- (* b_2 b_2) (* a c)) |
| 5.1b | (/ (/ (+ 0 (* a c)) (- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))) a) |
| 8.9b | (/ (+ 0 (* a c)) (- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))) |
| 24.9b | (sqrt (- (* b_2 b_2) (* a c))) |
| 186× | times-frac |
| 154× | add-sqr-sqrt |
| 153× | *-un-lft-identity |
| 89× | add-cube-cbrt |
| 32× | distribute-lft-out-- difference-of-squares |
| 30× | associate-/l* |
| 19× | sqrt-prod |
| 16× | distribute-rgt-neg-in |
| 11× | add-exp-log add-cbrt-cube |
| 10× | associate-/r* associate-/r/ |
| 7× | flip3-- flip-- |
| 6× | div-inv add-log-exp |
| 5× | pow1 |
| 4× | cbrt-undiv expm1-log1p-u div-exp log1p-expm1-u |
| 3× | associate-/l/ |
| 2× | frac-2neg sqrt-div clear-num |
| 1× | sub-neg rem-sqrt-square sqrt-pow1 flip3-+ pow1/2 fma-neg diff-log prod-diff flip-+ |
| 4.0ms | (- (* b_2 b_2) (* a c)) |
| 20.0ms | (/ (/ (+ 0 (* a c)) (- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))) a) |
| 13.0ms | (/ (+ 0 (* a c)) (- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))) |
| 4.0ms | (sqrt (- (* b_2 b_2) (* a c))) |
| 32.0ms | (- (* b_2 b_2) (* a c)) |
| 141.0ms | (/ (/ (+ 0 (* a c)) (- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))) a) |
| 166.0ms | (/ (+ 0 (* a c)) (- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))) |
| 63.0ms | (sqrt (- (* b_2 b_2) (* a c))) |
Useful iterations: 2 (89.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 761 | 3434 |
| 1 | 3490 | 3258 |
| 2 | 5002 | 3250 |
9 alts after pruning (8 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 219 | 3 | 222 |
| Fresh | 2 | 5 | 7 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 221 | 9 | 230 |
Merged error: 5.8b
Found 4 expressions with local error:
| 0.4b | (- (* b_2 b_2) (* a c)) |
| 1.6b | (/ a (/ (- (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) c)) |
| 5.1b | (/ (/ a (/ (- (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) c)) a) |
| 24.9b | (sqrt (- (* b_2 b_2) (* a c))) |
| 951× | times-frac |
| 585× | add-sqr-sqrt |
| 584× | *-un-lft-identity |
| 392× | add-cube-cbrt |
| 96× | distribute-lft-out-- difference-of-squares |
| 83× | associate-/l* |
| 51× | sqrt-prod |
| 48× | distribute-rgt-neg-in |
| 28× | associate-/r* |
| 22× | div-inv |
| 18× | add-exp-log add-cbrt-cube |
| 9× | cbrt-undiv div-exp |
| 6× | add-log-exp |
| 5× | pow1 associate-/r/ |
| 4× | expm1-log1p-u log1p-expm1-u |
| 2× | flip3-- frac-2neg sqrt-div clear-num flip-- |
| 1× | sub-neg rem-sqrt-square sqrt-pow1 pow1/2 fma-neg diff-log prod-diff associate-/l/ |
| 4.0ms | (- (* b_2 b_2) (* a c)) |
| 14.0ms | (/ a (/ (- (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) c)) |
| 31.0ms | (/ (/ a (/ (- (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) c)) a) |
| 4.0ms | (sqrt (- (* b_2 b_2) (* a c))) |
| 33.0ms | (- (* b_2 b_2) (* a c)) |
| 183.0ms | (/ a (/ (- (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) c)) |
| 156.0ms | (/ (/ a (/ (- (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) c)) a) |
| 66.0ms | (sqrt (- (* b_2 b_2) (* a c))) |
Useful iterations: 1 (34.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 1561 | 8690 |
| 1 | 5001 | 8042 |
10 alts after pruning (8 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 506 | 1 | 507 |
| Fresh | 0 | 7 | 7 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 506 | 10 | 516 |
Merged error: 5.8b
Found 4 expressions with local error:
| 0.2b | (/ 1 (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2))) |
| 0.4b | (- (* b_2 b_2) (* a c)) |
| 1.1b | (- (sqrt (- (* b_2 b_2) (* a c))) b_2) |
| 24.9b | (sqrt (- (* b_2 b_2) (* a c))) |
| 144× | times-frac |
| 137× | add-sqr-sqrt |
| 110× | *-un-lft-identity |
| 84× | add-cube-cbrt |
| 28× | sqrt-prod |
| 26× | difference-of-squares |
| 24× | associate-/r* |
| 19× | prod-diff |
| 15× | add-exp-log |
| 13× | distribute-lft-out-- |
| 9× | associate-/r/ add-cbrt-cube |
| 8× | add-log-exp |
| 7× | flip3-- fma-neg div-exp flip-- |
| 6× | pow1 |
| 5× | div-inv |
| 4× | expm1-log1p-u log1p-expm1-u |
| 3× | cbrt-undiv associate-/l* |
| 2× | sub-neg rec-exp sqrt-div diff-log 1-exp |
| 1× | rem-sqrt-square pow-flip frac-2neg sqrt-pow1 pow1/2 clear-num inv-pow |
| 14.0ms | (/ 1 (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2))) |
| 4.0ms | (- (* b_2 b_2) (* a c)) |
| 8.0ms | (- (sqrt (- (* b_2 b_2) (* a c))) b_2) |
| 4.0ms | (sqrt (- (* b_2 b_2) (* a c))) |
| 130.0ms | (/ 1 (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2))) |
| 33.0ms | (- (* b_2 b_2) (* a c)) |
| 72.0ms | (- (sqrt (- (* b_2 b_2) (* a c))) b_2) |
| 59.0ms | (sqrt (- (* b_2 b_2) (* a c))) |
Useful iterations: 2 (63.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 658 | 2519 |
| 1 | 2943 | 2155 |
| 2 | 5001 | 2004 |
10 alts after pruning (7 fresh and 3 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 208 | 0 | 208 |
| Fresh | 0 | 7 | 7 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 2 | 2 |
| Total | 208 | 10 | 218 |
Merged error: 5.8b
87.8% (3.2b remaining)
Error of 9.0b against oracle of 5.8b and baseline of 32.0b
| Iters | Range | Point | |
|---|---|---|---|
| 9 | 5.612942259261838e-23 | 3.213408159798715e-15 | 2.39571434833311e-19 |
| 10 | -6.42569108438854e-260 | -2.403372424182918e-272 | -5.097978013926245e-266 |
| 7 | -1.337582615490612e+92 | -9.459320394366776e+89 | -2.864598576127613e+91 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 40 | 23 |
| 1 | 40 | 23 |
| 287.0ms | 1121× | body | 2560 | valid |
| 261.0ms | 5737× | body | 80 | valid |
| 193.0ms | 914× | body | 1280 | valid |
| 127.0ms | 2819× | body | 80 | nan |
| 86.0ms | 500× | body | 640 | valid |
| 32.0ms | 98× | body | 5120 | valid |
| 27.0ms | 222× | body | 320 | valid |
| 10.0ms | 113× | body | 160 | valid |
Loading profile data...