Time bar (total: 1.3s)
Space saved by range analysis: 0.097632%
Space saved by search: 0.097632%
Guaranteed chance to sample good point: 99.996948%
| 11.0ms | 256× | body | 80 | valid |
Useful iterations: 0 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 8 | 5 |
| 1 | 8 | 5 |
2 alts after pruning (2 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 0 | 1 | 1 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 0 | 0 |
| Done | 0 | 0 | 0 |
| Total | 0 | 2 | 2 |
Merged error: 35.8b
Found 1 expressions with local error:
| 33.4b | (sqrt (+ (* re re) (* im im))) |
| 3× | add-sqr-sqrt sqrt-prod |
| 2× | pow1 add-cube-cbrt *-un-lft-identity sqrt-div |
| 1× | add-exp-log rem-sqrt-square sqrt-pow1 flip3-+ pow1/2 add-cbrt-cube flip-+ add-log-exp |
| 8.0ms | (sqrt (+ (* re re) (* im im))) |
| 7.0ms | (sqrt (+ (* re re) (* im im))) |
Useful iterations: 5 (137.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 89 | 100 |
| 1 | 215 | 97 |
| 2 | 491 | 97 |
| 3 | 1284 | 97 |
| 4 | 4142 | 97 |
| 5 | 5002 | 96 |
4 alts after pruning (3 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 15 | 3 | 18 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 15 | 4 | 19 |
Merged error: 7.2b
Useful iterations: 0 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 0 | 0 |
4 alts after pruning (2 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 0 | 0 | 0 |
| Fresh | 0 | 2 | 2 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 0 | 4 | 4 |
Merged error: 7.2b
Useful iterations: 0 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 0 | 0 |
4 alts after pruning (1 fresh and 3 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 0 | 0 | 0 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 2 | 2 |
| Total | 0 | 4 | 4 |
Merged error: 7.2b
Useful iterations: 0 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 0 | 0 |
4 alts after pruning (0 fresh and 4 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 0 | 0 | 0 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 3 | 3 |
| Total | 0 | 4 | 4 |
Merged error: 7.2b
53% (11.6b remaining)
Error of 19.2b against oracle of 7.5b and baseline of 32.3b
| Iters | Range | Point | |
|---|---|---|---|
| 11 | 15417.677296912603 | 3.18339661537526e+24 | 2.1438193389038649e+24 |
| 5 | 1.666528251778798e-158 | 5.132738152969548e-158 | 1.6889898182482005e-158 |
| 9 | 1.7036161666867626e-204 | 3.2991042075855834e-197 | 3.976064551942324e-198 |
| 5 | 1.2313212177042054e-232 | 4.02358922977575e-232 | 1.5991755270223812e-232 |
| 8 | -7.441194227616919e-222 | -2.487008991196173e-224 | -7.580278902711098e-223 |
| 8 | -1.423870678469625e+86 | -1.9727251890473768e+83 | -5.308911649479552e+84 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 36 | 20 |
| 1 | 39 | 20 |
| 2 | 42 | 20 |
| 3 | 42 | 20 |
Space saved by range analysis: 0.097632%
Space saved by search: 0.097632%
Guaranteed chance to sample good point: 99.996948%
| 349.0ms | 8000× | body | 80 | valid |
Loading profile data...