Time bar (total: 5.1s)
| 16.0ms | 256× | body | 80 | valid |
Useful iterations: 1 (4.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 9 | 19 |
| 1 | 19 | 18 |
| 2 | 39 | 18 |
| 3 | 77 | 18 |
| 4 | 131 | 18 |
| 5 | 193 | 18 |
| 6 | 234 | 18 |
| 7 | 242 | 18 |
| done | 242 | 18 |
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)) (fma 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 expm1-log1p-u flip3-- flip-- log1p-expm1-u associate-/l/ |
| 1× | cbrt-undiv sub-neg frac-2neg fma-neg diff-log div-sub div-exp prod-diff clear-num div-inv |
| 15.0ms | (- (* x x) (* (* y 4.0) y)) |
| 34.0ms | (/ (- (* x x) (* (* y 4.0) y)) (fma x x (* (* y 4.0) y))) |
| 72.0ms | (- (* x x) (* (* y 4.0) y)) |
| 120.0ms | (/ (- (* x x) (* (* y 4.0) y)) (fma x x (* (* y 4.0) y))) |
Useful iterations: done (1.7s)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 90 | 1183 |
| 1 | 246 | 1158 |
| 2 | 1454 | 1051 |
| done | 5001 | 1047 |
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 | 82 |
| 1 | 33 | 82 |
| done | 33 | 82 |
| 1.2s | 8000× | body | 80 | valid |