Time bar (total: 3.9s)
| 18.0ms | 256× | body | 80 | valid |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 9 | 19 |
| 1 | 17 | 19 |
| 2 | 35 | 19 |
| 3 | 67 | 19 |
| 4 | 114 | 19 |
| 5 | 166 | 19 |
| 6 | 195 | 19 |
| 7 | 199 | 19 |
| done | 199 | 19 |
1 alts after pruning (1 fresh and 0 done)
Merged error: 33.4b
Found 2 expressions with local error:
| 2.6b | (- (* x x) (* (* y 4.0) y)) |
| 32.8b | (/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y))) |
| 10× | add-sqr-sqrt add-cube-cbrt *-un-lft-identity |
| 9× | times-frac |
| 4× | add-exp-log add-cbrt-cube add-log-exp |
| 3× | associate-/r* associate-/l* |
| 2× | pow1 flip3-- associate-/r/ flip-- associate-/l/ |
| 1× | cbrt-undiv sub-neg frac-2neg flip3-+ diff-log div-sub div-exp clear-num flip-+ div-inv |
| 16.0ms | (- (* x x) (* (* y 4.0) y)) |
| 55.0ms | (/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y))) |
| 89.0ms | (- (* x x) (* (* y 4.0) y)) |
| 116.0ms | (/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y))) |
Useful iterations: done (1.0s)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 82 | 1196 |
| 1 | 237 | 1174 |
| 2 | 1163 | 1062 |
| done | 5001 | 1060 |
3 alts after pruning (2 fresh and 1 done)
Merged error: 0.3b
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 0 | 0 |
| done | 0 | 0 |
3 alts after pruning (1 fresh and 2 done)
Merged error: 0.3b
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 0 | 0 |
| done | 0 | 0 |
3 alts after pruning (0 fresh and 3 done)
Merged error: 0.3b
58.8% (13.0b remaining)
Error of 13.4b against oracle of 0.4b and baseline of 31.9b
| Iters | Range | Point | |
|---|---|---|---|
| 6 | 2.431590957525676e+49 | 1.98731002151814e+50 | 1.9431365563396376e+50 |
| 8 | 1.0233711920082547e+44 | 2.0412105396705614e+47 | 1.0424837731199122e+44 |
| 6 | 3.3017519232323425e+21 | 4.029283566439362e+22 | 3.416391192343889e+22 |
| 7 | 1.1454916979639543e-163 | 2.1434769218230827e-162 | 1.2331090409695878e-162 |
| 8 | -1.5854693509046165e-93 | -1.5329575775787027e-96 | -1.8443598935192776e-96 |
| 9 | -1.1303037121209073e+145 | -2.682543536920123e+136 | -7.056949369856406e+143 |
Useful iterations: 0 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 29 | 85 |
| 1 | 34 | 85 |
| done | 34 | 85 |
| 711.0ms | 8000× | body | 80 | valid |