Time bar (total: 6.2s)
| 27.0ms | 289× | body | 80 | valid |
| 7.0ms | 79× | body | 80 | nan |
Useful iterations: 2 (8.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 20 | 38 |
| 1 | 38 | 38 |
| 2 | 78 | 37 |
| 3 | 136 | 37 |
| 4 | 157 | 37 |
| 5 | 166 | 37 |
| 6 | 169 | 37 |
| done | 169 | 37 |
1 alts after pruning (1 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 0 | 1 | 1 |
| Fresh | 1 | 0 | 1 |
| Picked | 0 | 0 | 0 |
| Done | 0 | 0 | 0 |
| Total | 1 | 1 | 2 |
Merged error: 18.4b
Found 4 expressions with local error:
| 1.0b | (- (* b b) (* (* 4.0 a) c)) |
| 1.7b | (- (sqrt (- (* b b) (* (* 4.0 a) c))) b) |
| 21.1b | (sqrt (- (* b b) (* (* 4.0 a) c))) |
| 21.1b | (sqrt (- (* b b) (* (* 4.0 a) c))) |
| 12× | add-sqr-sqrt |
| 8× | *-un-lft-identity add-log-exp |
| 7× | sqrt-prod |
| 6× | pow1 add-cube-cbrt |
| 4× | add-exp-log flip3-- sqrt-div add-cbrt-cube flip-- |
| 2× | sub-neg rem-sqrt-square sqrt-pow1 pow1/2 diff-log difference-of-squares |
| 1× | distribute-lft-out-- |
| 4.0ms | (- (* b b) (* (* 4.0 a) c)) |
| 8.0ms | (- (sqrt (- (* b b) (* (* 4.0 a) c))) b) |
| 4.0ms | (sqrt (- (* b b) (* (* 4.0 a) c))) |
| 6.0ms | (sqrt (- (* b b) (* (* 4.0 a) c))) |
| 10.0ms | (- (* b b) (* (* 4.0 a) c)) |
| 17.0ms | (- (sqrt (- (* b b) (* (* 4.0 a) c))) b) |
| 15.0ms | (sqrt (- (* b b) (* (* 4.0 a) c))) |
| 29.0ms | (sqrt (- (* b b) (* (* 4.0 a) c))) |
Useful iterations: 3 (209.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 91 | 1130 |
| 1 | 205 | 1004 |
| 2 | 681 | 944 |
| 3 | 2362 | 936 |
| done | 5001 | 936 |
5 alts after pruning (5 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 64 | 5 | 69 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 65 | 5 | 70 |
Merged error: 8.7b
Found 4 expressions with local error:
| 21.1b | (sqrt (- (* b b) (* (* 4.0 a) c))) |
| 21.1b | (sqrt (- (* b b) (* (* 4.0 a) c))) |
| 21.1b | (sqrt (- (* b b) (* (* 4.0 a) c))) |
| 21.1b | (sqrt (- (* b b) (* (* 4.0 a) c))) |
| 12× | add-sqr-sqrt sqrt-prod |
| 8× | pow1 add-cube-cbrt *-un-lft-identity sqrt-div |
| 4× | add-exp-log rem-sqrt-square flip3-- sqrt-pow1 pow1/2 add-cbrt-cube flip-- add-log-exp |
| 4.0ms | (sqrt (- (* b b) (* (* 4.0 a) c))) |
| 4.0ms | (sqrt (- (* b b) (* (* 4.0 a) c))) |
| 4.0ms | (sqrt (- (* b b) (* (* 4.0 a) c))) |
| 7.0ms | (sqrt (- (* b b) (* (* 4.0 a) c))) |
| 15.0ms | (sqrt (- (* b b) (* (* 4.0 a) c))) |
| 16.0ms | (sqrt (- (* b b) (* (* 4.0 a) c))) |
| 16.0ms | (sqrt (- (* b b) (* (* 4.0 a) c))) |
| 16.0ms | (sqrt (- (* b b) (* (* 4.0 a) c))) |
Useful iterations: 3 (131.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 53 | 1140 |
| 1 | 127 | 1012 |
| 2 | 427 | 940 |
| 3 | 1537 | 932 |
| done | 5000 | 932 |
5 alts after pruning (4 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 72 | 0 | 72 |
| Fresh | 0 | 4 | 4 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 72 | 5 | 77 |
Merged error: 8.7b
Found 4 expressions with local error:
| 21.1b | (sqrt (- (* b b) (* (* 4.0 a) c))) |
| 21.1b | (sqrt (- (* b b) (* (* 4.0 a) c))) |
| 21.1b | (sqrt (- (* b b) (* (* 4.0 a) c))) |
| 21.1b | (sqrt (- (* b b) (* (* 4.0 a) c))) |
| 12× | add-sqr-sqrt sqrt-prod |
| 8× | pow1 add-cube-cbrt *-un-lft-identity sqrt-div |
| 4× | add-exp-log rem-sqrt-square flip3-- sqrt-pow1 pow1/2 add-cbrt-cube flip-- add-log-exp |
| 4.0ms | (sqrt (- (* b b) (* (* 4.0 a) c))) |
| 4.0ms | (sqrt (- (* b b) (* (* 4.0 a) c))) |
| 4.0ms | (sqrt (- (* b b) (* (* 4.0 a) c))) |
| 4.0ms | (sqrt (- (* b b) (* (* 4.0 a) c))) |
| 15.0ms | (sqrt (- (* b b) (* (* 4.0 a) c))) |
| 16.0ms | (sqrt (- (* b b) (* (* 4.0 a) c))) |
| 18.0ms | (sqrt (- (* b b) (* (* 4.0 a) c))) |
| 16.0ms | (sqrt (- (* b b) (* (* 4.0 a) c))) |
Useful iterations: 3 (125.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 53 | 1140 |
| 1 | 127 | 1012 |
| 2 | 427 | 940 |
| 3 | 1537 | 932 |
| done | 5001 | 932 |
5 alts after pruning (3 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 72 | 0 | 72 |
| Fresh | 0 | 3 | 3 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 72 | 5 | 77 |
Merged error: 8.7b
Found 4 expressions with local error:
| 1.7b | (- (sqrt (- (* b b) (* (* 4.0 a) c))) b) |
| 4.5b | (/ (- (neg b) (- b (* 2.0 (/ (* a c) b)))) (* 2.0 a)) |
| 6.2b | (/ (* a c) b) |
| 21.1b | (sqrt (- (* b b) (* (* 4.0 a) c))) |
| 19× | *-un-lft-identity |
| 18× | add-sqr-sqrt |
| 14× | add-exp-log add-cbrt-cube |
| 9× | add-cube-cbrt times-frac |
| 7× | associate-/l* |
| 6× | add-log-exp |
| 5× | pow1 distribute-lft-out-- |
| 4× | cbrt-undiv div-exp associate-/r* sqrt-prod difference-of-squares |
| 3× | flip3-- flip-- |
| 2× | distribute-rgt-neg-in frac-2neg sqrt-div prod-exp clear-num cbrt-unprod div-inv associate-/l/ |
| 1× | sub-neg rem-sqrt-square sqrt-pow1 pow1/2 diff-log div-sub |
| 10.0ms | (- (sqrt (- (* b b) (* (* 4.0 a) c))) b) |
| 11.0ms | (/ (- (neg b) (- b (* 2.0 (/ (* a c) b)))) (* 2.0 a)) |
| 5.0ms | (/ (* a c) b) |
| 4.0ms | (sqrt (- (* b b) (* (* 4.0 a) c))) |
| 16.0ms | (- (sqrt (- (* b b) (* (* 4.0 a) c))) b) |
| 13.0ms | (/ (- (neg b) (- b (* 2.0 (/ (* a c) b)))) (* 2.0 a)) |
| 5.0ms | (/ (* a c) b) |
| 16.0ms | (sqrt (- (* b b) (* (* 4.0 a) c))) |
Useful iterations: 2 (137.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 183 | 1537 |
| 1 | 472 | 1434 |
| 2 | 1850 | 1280 |
| done | 5001 | 1280 |
6 alts after pruning (4 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 91 | 2 | 93 |
| Fresh | 0 | 2 | 2 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 2 | 2 |
| Total | 92 | 6 | 98 |
Merged error: 7.2b
91.4% (1.2b remaining)
Error of 8.2b against oracle of 7.0b and baseline of 20.6b
| Iters | Range | Point | |
|---|---|---|---|
| 10 | 1.1487243557305423e+102 | 3.920821933018458e+112 | 1.3634580034127795e+109 |
| 10 | -8.003596903883499e+165 | -5.641302321031635e+152 | -1.3279709836271267e+154 |
Useful iterations: 0 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 44 | 135 |
| 1 | 52 | 135 |
| done | 52 | 135 |
| 841.0ms | 8785× | body | 80 | valid |
| 271.0ms | 2992× | body | 80 | nan |
Loading profile data...