Time bar (total: 1.4s)
| 11.0ms | 256× | body | 80 | valid |
Useful iterations: 0 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 8 | 5 |
| 1 | 8 | 5 |
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: 32.3b
Found 2 expressions with local error:
| 0.0b | (log (sqrt (+ (* re re) (* im im)))) |
| 30.2b | (sqrt (+ (* re re) (* im im))) |
| 6× | add-sqr-sqrt log-prod sqrt-prod |
| 5× | pow1 add-cube-cbrt *-un-lft-identity |
| 4× | sqrt-div |
| 3× | add-exp-log log-pow |
| 2× | log-div sqrt-pow1 flip3-+ pow1/2 add-cbrt-cube flip-+ add-log-exp |
| 1× | rem-sqrt-square rem-log-exp |
| 4.0ms | (log (sqrt (+ (* re re) (* im im)))) |
| 3.0ms | (sqrt (+ (* re re) (* im im))) |
| 10.0ms | (log (sqrt (+ (* re re) (* im im)))) |
| 6.0ms | (sqrt (+ (* re re) (* im im))) |
Useful iterations: 4 (48.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 128 | 288 |
| 1 | 273 | 266 |
| 2 | 613 | 262 |
| 3 | 1474 | 262 |
| 4 | 4558 | 259 |
| 5 | 5001 | 259 |
4 alts after pruning (4 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 36 | 4 | 40 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 37 | 4 | 41 |
Merged error: 8.6b
Found 1 expressions with local error:
| 31.3b | (log (+ (* re re) (* im im))) |
| 3× | log-prod |
| 2× | pow1 add-exp-log add-sqr-sqrt add-cube-cbrt log-div *-un-lft-identity |
| 1× | flip3-+ rem-log-exp log-pow add-cbrt-cube flip-+ add-log-exp |
| 3.0ms | (log (+ (* re re) (* im im))) |
| 9.0ms | (log (+ (* re re) (* im im))) |
Useful iterations: 2 (8.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 111 | 126 |
| 1 | 252 | 110 |
| 2 | 553 | 105 |
| 3 | 1330 | 105 |
| 4 | 4871 | 105 |
| 5 | 5001 | 105 |
4 alts after pruning (3 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 17 | 0 | 17 |
| Fresh | 0 | 3 | 3 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 17 | 4 | 21 |
Merged error: 8.6b
Useful iterations: 0 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 0 | 0 |
4 alts after pruning (2 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 0 | 0 | 0 |
| Fresh | 0 | 2 | 2 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 0 | 4 | 4 |
Merged error: 8.6b
Useful iterations: 0 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 0 | 0 |
4 alts after pruning (1 fresh and 3 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 0 | 0 | 0 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 2 | 2 |
| Total | 0 | 4 | 4 |
Merged error: 8.6b
56.8% (10.5b remaining)
Error of 18.0b against oracle of 7.5b and baseline of 31.8b
| Iters | Range | Point | |
|---|---|---|---|
| 7 | 2.20140649672281e+130 | 1.0677592813206312e+132 | 1.5670414452839892e+131 |
| 11 | 5.1798235178893905e-163 | 1.988786700782574e-127 | 9.114673635183846e-161 |
| 6 | -1.3466004809849949e-260 | -1.8052437872173091e-261 | -2.263966836247413e-261 |
| 4 | -3.194608663985631e+118 | -1.8893531281097833e+118 | -2.6123365819456626e+118 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 29 | 14 |
| 1 | 29 | 14 |
| 345.0ms | 8000× | body | 80 | valid |
Loading profile data...