Time bar (total: 2.3s)
| 15.0ms | 256× | body | 80 | valid |
Useful iterations: 0 (2.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 13 | 6 |
| 1 | 20 | 6 |
| 2 | 22 | 6 |
| 3 | 22 | 6 |
1 alts after pruning (1 fresh and 0 done)
Merged error: 38.9b
Found 1 expressions with local error:
| 36.2b | (sqrt (+ (+ (* x x) (* y y)) (* z z))) |
| 3× | add-sqr-sqrt sqrt-prod |
| 2× | pow1 add-cube-cbrt *-un-lft-identity sqrt-div |
| 1× | add-exp-log rem-sqrt-square sqrt-pow1 flip3-+ pow1/2 add-cbrt-cube flip-+ add-log-exp |
| 13.0ms | (sqrt (+ (+ (* x x) (* y y)) (* z z))) |
| 96.0ms | (sqrt (+ (+ (* x x) (* y y)) (* z z))) |
Useful iterations: 1 (4.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 90 | 142 |
| 1 | 275 | 137 |
| 2 | 951 | 137 |
| 3 | 3615 | 137 |
| 4 | 5002 | 137 |
5 alts after pruning (4 fresh and 1 done)
Merged error: 18.4b
Found 4 expressions with local error:
| 0.0b | (sqrt (sqrt (+ (+ (* x x) (* y y)) (* z z)))) |
| 0.5b | (* (sqrt (sqrt (+ (+ (* x x) (* y y)) (* z z)))) (sqrt (sqrt (+ (+ (* x x) (* y y)) (* z z))))) |
| 36.2b | (sqrt (+ (+ (* x x) (* y y)) (* z z))) |
| 36.2b | (sqrt (+ (+ (* x x) (* y y)) (* z z))) |
| 82× | sqrt-prod |
| 54× | add-sqr-sqrt |
| 38× | sqrt-pow1 |
| 32× | sqrt-div |
| 31× | pow1 |
| 20× | add-cube-cbrt *-un-lft-identity pow1/2 |
| 15× | swap-sqr |
| 9× | flip3-+ associate-*r* associate-*l* pow-prod-up flip-+ unswap-sqr |
| 6× | add-exp-log add-cbrt-cube |
| 5× | pow-prod-down pow-sqr |
| 4× | frac-times rem-sqrt-square add-log-exp |
| 2× | associate-*r/ associate-*l/ |
| 1× | pow2 pow-plus sqrt-unprod prod-exp rem-square-sqrt *-commutative cbrt-unprod |
| 13.0ms | (sqrt (sqrt (+ (+ (* x x) (* y y)) (* z z)))) |
| 68.0ms | (* (sqrt (sqrt (+ (+ (* x x) (* y y)) (* z z)))) (sqrt (sqrt (+ (+ (* x x) (* y y)) (* z z))))) |
| 12.0ms | (sqrt (+ (+ (* x x) (* y y)) (* z z))) |
| 13.0ms | (sqrt (+ (+ (* x x) (* y y)) (* z z))) |
| 94.0ms | (sqrt (sqrt (+ (+ (* x x) (* y y)) (* z z)))) |
| 100.0ms | (* (sqrt (sqrt (+ (+ (* x x) (* y y)) (* z z)))) (sqrt (sqrt (+ (+ (* x x) (* y y)) (* z z))))) |
| 95.0ms | (sqrt (+ (+ (* x x) (* y y)) (* z z))) |
| 95.0ms | (sqrt (+ (+ (* x x) (* y y)) (* z z))) |
Useful iterations: 2 (34.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 251 | 1459 |
| 1 | 1002 | 1362 |
| 2 | 5001 | 1331 |
5 alts after pruning (3 fresh and 2 done)
Merged error: 18.4b
Useful iterations: 0 (2.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 0 | 0 |
5 alts after pruning (2 fresh and 3 done)
Merged error: 18.4b
Useful iterations: 0 (2.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 0 | 0 |
5 alts after pruning (1 fresh and 4 done)
Merged error: 18.4b
53.4% (9.4b remaining)
Error of 27.8b against oracle of 18.5b and baseline of 38.6b
| Iters | Range | Point | |
|---|---|---|---|
| 9 | 3.3727076181174283e+75 | 4.3810155938080223e+83 | 4.189357432179195e+83 |
| 6 | -1.9118727876566742e+86 | -1.4249111467837156e+85 | -1.8758942929933885e+86 |
| 8 | -4.1764951624507323e+173 | -2.7926801182986895e+169 | -2.8334821491754035e+169 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 24 | 7 |
| 1 | 24 | 7 |
| 527.0ms | 8000× | body | 80 | valid |