Time bar (total: 2.0s)
| 9.0ms | 256× | body | 80 | valid |
Useful iterations: 0 (2.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 18 | 9 |
| 1 | 36 | 9 |
| 2 | 68 | 9 |
| 3 | 117 | 9 |
| 4 | 174 | 9 |
| 5 | 195 | 9 |
| 6 | 197 | 9 |
| 7 | 197 | 9 |
1 alts after pruning (1 fresh and 0 done)
Merged error: 31.9b
Found 3 expressions with local error:
| 0.0b | (+ (* x x) (* (* y 4.0) y)) |
| 3.5b | (- (* x x) (* (* y 4.0) y)) |
| 31.3b | (/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y))) |
| 11× | add-sqr-sqrt add-cube-cbrt *-un-lft-identity |
| 9× | times-frac |
| 7× | add-log-exp |
| 5× | add-exp-log add-cbrt-cube |
| 3× | pow1 associate-/r* associate-/l* |
| 2× | flip3-- flip3-+ associate-/r/ flip-- flip-+ associate-/l/ |
| 1× | cbrt-undiv +-commutative sub-neg frac-2neg diff-log div-sub div-exp clear-num sum-log div-inv |
| 11.0ms | (+ (* x x) (* (* y 4.0) y)) |
| 8.0ms | (- (* x x) (* (* y 4.0) y)) |
| 27.0ms | (/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y))) |
| 33.0ms | (+ (* x x) (* (* y 4.0) y)) |
| 43.0ms | (- (* x x) (* (* y 4.0) y)) |
| 56.0ms | (/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y))) |
Useful iterations: 2 (33.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 234 | 680 |
| 1 | 1007 | 622 |
| 2 | 5001 | 620 |
3 alts after pruning (3 fresh and 0 done)
Merged error: 0.3b
Useful iterations: 0 (2.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 0 | 0 |
3 alts after pruning (2 fresh and 1 done)
Merged error: 0.3b
Found 4 expressions with local error:
| 3.5b | (- (* x x) (* (* y 4.0) y)) |
| 29.7b | (sqrt (+ (* x x) (* (* y 4.0) y))) |
| 29.7b | (sqrt (+ (* x x) (* (* y 4.0) y))) |
| 30.0b | (/ (- (* x x) (* (* y 4.0) y)) (sqrt (+ (* x x) (* (* y 4.0) y)))) |
| 23× | add-sqr-sqrt |
| 21× | add-cube-cbrt *-un-lft-identity |
| 18× | times-frac sqrt-prod |
| 6× | pow1 add-exp-log sqrt-div associate-/r* add-cbrt-cube add-log-exp |
| 3× | flip3-+ flip-+ associate-/l* |
| 2× | rem-sqrt-square flip3-- sqrt-pow1 pow1/2 associate-/r/ flip-- associate-/l/ |
| 1× | cbrt-undiv sub-neg frac-2neg diff-log div-sub div-exp clear-num div-inv |
| 8.0ms | (- (* x x) (* (* y 4.0) y)) |
| 8.0ms | (sqrt (+ (* x x) (* (* y 4.0) y))) |
| 8.0ms | (sqrt (+ (* x x) (* (* y 4.0) y))) |
| 31.0ms | (/ (- (* x x) (* (* y 4.0) y)) (sqrt (+ (* x x) (* (* y 4.0) y)))) |
| 42.0ms | (- (* x x) (* (* y 4.0) y)) |
| 45.0ms | (sqrt (+ (* x x) (* (* y 4.0) y))) |
| 51.0ms | (sqrt (+ (* x x) (* (* y 4.0) y))) |
| 92.0ms | (/ (- (* x x) (* (* y 4.0) y)) (sqrt (+ (* x x) (* (* y 4.0) y)))) |
Useful iterations: 2 (34.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 274 | 1117 |
| 1 | 1020 | 1045 |
| 2 | 4854 | 1032 |
| 3 | 5002 | 1032 |
3 alts after pruning (1 fresh and 2 done)
Merged error: 0.3b
Useful iterations: 0 (2.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 0 | 0 |
3 alts after pruning (0 fresh and 3 done)
Merged error: 0.3b
56% (13.7b remaining)
Error of 14.2b against oracle of 0.4b and baseline of 31.7b
| Iters | Range | Point | |
|---|---|---|---|
| 10 | 3.0077710628296854e+26 | 3.687524441071998e+41 | 4.9502099980031536e+39 |
| 10 | 1.6096776765761708e-79 | 1.523631617599454e-63 | 1.366181191701136e-63 |
| 6 | 1.2160611135694172e-190 | 9.2571818059411e-190 | 9.050450195175466e-190 |
| 9 | -3.7102722866200435e-146 | -3.1945726965174795e-152 | -2.9463808085280802e-149 |
| 9 | -5.28789737177076e+121 | -3.898811697184426e+115 | -5.810291952691062e+115 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 33 | 32 |
| 1 | 33 | 32 |
| 418.0ms | 8000× | body | 80 | valid |