Time bar (total: 1.6s)
| 5.0ms | 256× | body | 80 | valid |
Useful iterations: 0 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 7 | 4 |
| 1 | 7 | 4 |
1 alts after pruning (1 fresh and 0 done)
Merged error: 28.5b
Found 2 expressions with local error:
| 0.0b | (+ (* x x) (* y y)) |
| 26.7b | (sqrt (+ (* x x) (* y y))) |
| 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 |
| 10.0ms | (+ (* x x) (* y y)) |
| 8.0ms | (sqrt (+ (* x x) (* y y))) |
| 24.0ms | (+ (* x x) (* y y)) |
| 33.0ms | (sqrt (+ (* x x) (* y y))) |
Useful iterations: 3 (47.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 125 | 177 |
| 1 | 530 | 163 |
| 2 | 1540 | 163 |
| 3 | 5001 | 162 |
5 alts after pruning (4 fresh and 1 done)
Merged error: 5.5b
Found 4 expressions with local error:
| 2.4b | (- (* x x) (* y y)) |
| 7.4b | (+ (* (- (pow y 3)) y) (pow x 4)) |
| 26.7b | (sqrt (/ (+ (* (- (pow y 3)) y) (pow x 4)) (- (* x x) (* y y)))) |
| 37.7b | (/ (+ (* (- (pow y 3)) y) (pow x 4)) (- (* x x) (* y y))) |
| 25× | times-frac |
| 24× | add-sqr-sqrt |
| 21× | add-cube-cbrt *-un-lft-identity |
| 18× | sqrt-prod |
| 8× | add-log-exp difference-of-squares |
| 6× | add-exp-log add-cbrt-cube |
| 5× | pow1 |
| 4× | associate-/r* associate-/r/ |
| 3× | flip3-- flip-- associate-/l* |
| 2× | rem-sqrt-square flip3-+ flip-+ div-inv associate-/l/ |
| 1× | cbrt-undiv +-commutative sub-neg frac-2neg sqrt-pow1 pow1/2 sqrt-div diff-log div-exp clear-num sum-log |
| 10.0ms | (- (* x x) (* y y)) |
| 28.0ms | (+ (* (- (pow y 3)) y) (pow x 4)) |
| 36.0ms | (sqrt (/ (+ (* (- (pow y 3)) y) (pow x 4)) (- (* x x) (* y y)))) |
| 52.0ms | (/ (+ (* (- (pow y 3)) y) (pow x 4)) (- (* x x) (* y y))) |
| 28.0ms | (- (* x x) (* y y)) |
| 46.0ms | (+ (* (- (pow y 3)) y) (pow x 4)) |
| 81.0ms | (sqrt (/ (+ (* (- (pow y 3)) y) (pow x 4)) (- (* x x) (* y y)))) |
| 68.0ms | (/ (+ (* (- (pow y 3)) y) (pow x 4)) (- (* x x) (* y y))) |
Useful iterations: 2 (39.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 327 | 1204 |
| 1 | 1468 | 1045 |
| 2 | 5001 | 1027 |
6 alts after pruning (4 fresh and 2 done)
Merged error: 0.1b
Useful iterations: 0 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 0 | 0 |
6 alts after pruning (3 fresh and 3 done)
Merged error: 0.1b
Useful iterations: 0 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 0 | 0 |
6 alts after pruning (2 fresh and 4 done)
Merged error: 0.1b
44.8% (17.1b remaining)
Error of 17.4b against oracle of 0.3b and baseline of 31.4b
| Iters | Range | Point | |
|---|---|---|---|
| 8 | 4.9140320295499367e+95 | 4.453711437584996e+99 | 4.3578119302412375e+99 |
| 9 | 5.635757950239896e-272 | 9.425183888186955e-266 | 3.311151986707603e-267 |
| 9 | -2.7208954404173676e-215 | -6.817140800728622e-223 | -8.590449818588775e-223 |
| 10 | -4.738693089228081e+161 | -8.677923561422495e+144 | -2.888426659389441e+145 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 26 | 10 |
| 1 | 26 | 10 |
| 173.0ms | 8000× | body | 80 | valid |