Time bar (total: 2.5s)
| 13.0ms | 256× | body | 80 | valid |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 9 | 12 |
| 1 | 13 | 12 |
| 2 | 20 | 12 |
| 3 | 22 | 12 |
| done | 22 | 12 |
1 alts after pruning (1 fresh and 0 done)
Merged error: 36.5b
Found 2 expressions with local error:
| 0.0b | (+ (* x x) (* y y)) |
| 33.7b | (sqrt (+ (+ (* x x) (* y y)) (* z z))) |
| 4× | add-sqr-sqrt add-log-exp |
| 3× | pow1 add-cube-cbrt *-un-lft-identity sqrt-prod |
| 2× | add-exp-log flip3-+ sqrt-div add-cbrt-cube flip-+ |
| 1× | +-commutative rem-sqrt-square sqrt-pow1 pow1/2 sum-log |
| 12.0ms | (+ (* x x) (* y y)) |
| 47.0ms | (sqrt (+ (+ (* x x) (* y y)) (* z z))) |
| 41.0ms | (+ (* x x) (* y y)) |
| 152.0ms | (sqrt (+ (+ (* x x) (* y y)) (* z z))) |
Useful iterations: done (501.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 63 | 471 |
| 1 | 197 | 431 |
| 2 | 969 | 387 |
| done | 5001 | 381 |
4 alts after pruning (3 fresh and 1 done)
Merged error: 18.1b
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 0 | 0 |
| done | 0 | 0 |
4 alts after pruning (2 fresh and 2 done)
Merged error: 18.1b
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 0 | 0 |
| done | 0 | 0 |
4 alts after pruning (1 fresh and 3 done)
Merged error: 18.1b
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 0 | 0 |
| done | 0 | 0 |
4 alts after pruning (0 fresh and 4 done)
Merged error: 18.1b
61.4% (7.4b remaining)
Error of 25.9b against oracle of 18.5b and baseline of 37.6b
| Iters | Range | Point | |
|---|---|---|---|
| 9 | 8.123581701571455e+93 | 8.617855656656772e+100 | 2.717722011770096e+95 |
| 8 | -6.693226070161763e+100 | -1.9391632281323444e+96 | -9.207631717301471e+99 |
Useful iterations: 0 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 16 | 23 |
| 1 | 18 | 23 |
| done | 18 | 23 |
| 890.0ms | 8000× | body | 80 | valid |