Time bar (total: 2.9s)
| 7.0ms | 256× | body | 80 | valid |
Useful iterations: 1 (2.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 9 | 19 |
| 1 | 19 | 18 |
| 2 | 39 | 18 |
| 3 | 80 | 18 |
| 4 | 133 | 18 |
| 5 | 187 | 18 |
| 6 | 215 | 18 |
| 7 | 219 | 18 |
| done | 219 | 18 |
1 alts after pruning (1 fresh and 0 done)
Merged error: 29.6b
Found 2 expressions with local error:
| 3.3b | (- (* x x) (* (* y 4.0) y)) |
| 29.0b | (/ (- (* 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 |
| 3.0ms | (- (* x x) (* (* y 4.0) y)) |
| 9.0ms | (/ (- (* x x) (* (* y 4.0) y)) (fma x x (* (* y 4.0) y))) |
| 49.0ms | (- (* x x) (* (* y 4.0) y)) |
| 77.0ms | (/ (- (* x x) (* (* y 4.0) y)) (fma x x (* (* y 4.0) y))) |
Useful iterations: done (1.8s)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 90 | 1183 |
| 1 | 219 | 1154 |
| 2 | 800 | 1046 |
| 3 | 3674 | 1044 |
| done | 5001 | 1042 |
3 alts after pruning (2 fresh and 1 done)
Merged error: 0.2b
Useful iterations: 0 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 0 | 0 |
| done | 0 | 0 |
3 alts after pruning (1 fresh and 2 done)
Merged error: 0.2b
Useful iterations: 0 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 0 | 0 |
| done | 0 | 0 |
3 alts after pruning (0 fresh and 3 done)
Merged error: 0.2b
61.1% (12.0b remaining)
Error of 12.3b against oracle of 0.3b and baseline of 31.1b
| Iters | Range | Point | |
|---|---|---|---|
| 9 | 6.3129433769575865e+100 | 1.1419719569126802e+107 | 2.756542813676069e+103 |
| 9 | 1.9992484636444498e-87 | 1.3679096689958957e-81 | 2.9825574787203653e-86 |
| 9 | -1.9094341285360354e-159 | -1.948959072094272e-164 | -2.6395470821417425e-162 |
| 10 | -2.7283838574175814e+156 | -2.4047927607493394e+144 | -7.011466568761976e+150 |
Useful iterations: 0 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 23 | 55 |
| 1 | 27 | 55 |
| done | 27 | 55 |
| 233.0ms | 8000× | body | 80 | valid |