Time bar (total: 3.4s)
| 25.0ms | 279× | body | 80 | valid |
| 11.0ms | 101× | body | 80 | nan |
Useful iterations: 0 (3.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 157 | 37 |
| 1 | 157 | 37 |
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: 19.3b
Found 4 expressions with local error:
| 0.8b | (- (* b b) (* 4.0 (* a c))) |
| 1.1b | (- (neg b) (sqrt (- (* b b) (* 4.0 (* a c))))) |
| 22.8b | (sqrt (- (* b b) (* 4.0 (* a c)))) |
| 22.8b | (sqrt (- (* b b) (* 4.0 (* a c)))) |
| 12× | add-sqr-sqrt |
| 10× | *-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-- |
| 3× | diff-log |
| 2× | sub-neg rem-sqrt-square sqrt-pow1 pow1/2 distribute-lft-out-- difference-of-squares |
| 1× | associate--l- neg-sub0 distribute-rgt-neg-in neg-log |
| 4.0ms | (- (* b b) (* 4.0 (* a c))) |
| 8.0ms | (- (neg b) (sqrt (- (* b b) (* 4.0 (* a c))))) |
| 3.0ms | (sqrt (- (* b b) (* 4.0 (* a c)))) |
| 6.0ms | (sqrt (- (* b b) (* 4.0 (* a c)))) |
| 9.0ms | (- (* b b) (* 4.0 (* a c))) |
| 16.0ms | (- (neg b) (sqrt (- (* b b) (* 4.0 (* a c))))) |
| 14.0ms | (sqrt (- (* b b) (* 4.0 (* a c)))) |
| 27.0ms | (sqrt (- (* b b) (* 4.0 (* a c)))) |
Useful iterations: 0 (40.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5039 | 1002 |
9 alts after pruning (9 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 64 | 8 | 72 |
| Fresh | 0 | 1 | 1 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 65 | 9 | 74 |
Merged error: 5.0b
Found 4 expressions with local error:
| 11.9b | (- (neg b) (* (sqrt (sqrt (- (* b b) (* 4.0 (* a c))))) (sqrt (sqrt (- (* b b) (* 4.0 (* a c))))))) |
| 22.8b | (sqrt (- (* b b) (* 4.0 (* a c)))) |
| 22.8b | (sqrt (- (* b b) (* 4.0 (* a c)))) |
| 22.8b | (sqrt (- (* b b) (* 4.0 (* a c)))) |
| 11× | add-sqr-sqrt |
| 9× | sqrt-prod |
| 8× | add-log-exp |
| 7× | pow1 add-cube-cbrt *-un-lft-identity |
| 6× | sqrt-div |
| 4× | add-exp-log flip3-- add-cbrt-cube flip-- |
| 3× | rem-sqrt-square sqrt-pow1 pow1/2 |
| 2× | diff-log |
| 1× | associate--l- neg-sub0 sub-neg neg-log difference-of-squares |
| 4.0ms | (- (neg b) (* (sqrt (sqrt (- (* b b) (* 4.0 (* a c))))) (sqrt (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)))) |
| 16.0ms | (- (neg b) (* (sqrt (sqrt (- (* b b) (* 4.0 (* a c))))) (sqrt (sqrt (- (* b b) (* 4.0 (* a c))))))) |
| 16.0ms | (sqrt (- (* b b) (* 4.0 (* a c)))) |
| 14.0ms | (sqrt (- (* b b) (* 4.0 (* a c)))) |
| 14.0ms | (sqrt (- (* b b) (* 4.0 (* a c)))) |
Useful iterations: 0 (39.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5368 | 994 |
9 alts after pruning (8 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 72 | 0 | 72 |
| Fresh | 0 | 8 | 8 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 72 | 9 | 81 |
Merged error: 5.0b
Found 4 expressions with local error:
| 6.3b | (- (* (sqrt (sqrt (- (* b b) (* 4.0 (* a c))))) (sqrt (sqrt (- (* b b) (* 4.0 (* a c)))))) b) |
| 22.8b | (sqrt (- (* b b) (* 4.0 (* a c)))) |
| 22.8b | (sqrt (- (* b b) (* 4.0 (* a c)))) |
| 22.8b | (sqrt (- (* b b) (* 4.0 (* a c)))) |
| 11× | add-sqr-sqrt |
| 9× | sqrt-prod |
| 7× | pow1 add-cube-cbrt *-un-lft-identity |
| 6× | sqrt-div add-log-exp |
| 4× | add-exp-log flip3-- add-cbrt-cube flip-- |
| 3× | rem-sqrt-square sqrt-pow1 pow1/2 |
| 1× | sub-neg diff-log difference-of-squares |
| 14.0ms | (- (* (sqrt (sqrt (- (* b b) (* 4.0 (* a c))))) (sqrt (sqrt (- (* b b) (* 4.0 (* a c)))))) b) |
| 3.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 (sqrt (- (* b b) (* 4.0 (* a c))))) (sqrt (sqrt (- (* b b) (* 4.0 (* a c)))))) b) |
| 14.0ms | (sqrt (- (* b b) (* 4.0 (* a c)))) |
| 16.0ms | (sqrt (- (* b b) (* 4.0 (* a c)))) |
| 15.0ms | (sqrt (- (* b b) (* 4.0 (* a c)))) |
Useful iterations: 0 (57.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 4928 | 937 |
| 1 | 4928 | 937 |
9 alts after pruning (8 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 69 | 1 | 70 |
| Fresh | 0 | 7 | 7 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 1 | 1 |
| Total | 70 | 9 | 79 |
Merged error: 5.0b
Found 4 expressions with local error:
| 22.8b | (sqrt (- (* b b) (* 4.0 (* a c)))) |
| 22.8b | (sqrt (- (* b b) (* 4.0 (* a c)))) |
| 23.6b | (cbrt (- (* b b) (* 4.0 (* a c)))) |
| 23.6b | (cbrt (- (* b b) (* 4.0 (* a c)))) |
| 10× | add-sqr-sqrt |
| 8× | add-cube-cbrt *-un-lft-identity |
| 6× | pow1 cbrt-prod sqrt-prod |
| 4× | add-exp-log cbrt-div flip3-- sqrt-div add-cbrt-cube flip-- add-log-exp |
| 2× | rem-sqrt-square sqrt-pow1 pow1/2 pow1/3 |
| 4.0ms | (sqrt (- (* b b) (* 4.0 (* a c)))) |
| 6.0ms | (sqrt (- (* b b) (* 4.0 (* a c)))) |
| 4.0ms | (cbrt (- (* b b) (* 4.0 (* a c)))) |
| 4.0ms | (cbrt (- (* b b) (* 4.0 (* a c)))) |
| 14.0ms | (sqrt (- (* b b) (* 4.0 (* a c)))) |
| 14.0ms | (sqrt (- (* b b) (* 4.0 (* a c)))) |
| 25.0ms | (cbrt (- (* b b) (* 4.0 (* a c)))) |
| 27.0ms | (cbrt (- (* b b) (* 4.0 (* a c)))) |
Useful iterations: 0 (30.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5199 | 936 |
9 alts after pruning (7 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 68 | 0 | 68 |
| Fresh | 0 | 7 | 7 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 68 | 9 | 77 |
Merged error: 5.0b
89.1% (1.6b remaining)
Error of 7.4b against oracle of 5.9b and baseline of 20.3b
| Iters | Range | Point | |
|---|---|---|---|
| 11 | 5.225951737061154e+20 | 1.968377579606969e+42 | 1.7489721583752352e+42 |
| 9 | -1.6796181841493287e+154 | -2.4052036288306873e+149 | -2.744409802905354e+150 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 52 | 129 |
| 1 | 52 | 129 |
| 764.0ms | 8679× | body | 80 | valid |
| 238.0ms | 2874× | body | 80 | nan |
Loading profile data...