Time bar (total: 3.0s)
| 9.0ms | 256× | body | 80 | valid |
1 alts after pruning (1 fresh and 0 done)
Merged error: 40.3b
Found 2 expressions with local error:
| 0.0b | (+ (+ (* x x) (* y y)) (* z z)) |
| 37.5b | (sqrt (+ (+ (* x x) (* y y)) (* z z))) |
| 7× | add-log-exp |
| 4× | add-sqr-sqrt |
| 3× | pow1 add-cube-cbrt *-un-lft-identity sum-log sqrt-prod |
| 2× | add-exp-log flip3-+ sqrt-div add-cbrt-cube flip-+ |
| 1× | +-commutative rem-sqrt-square associate-+l+ sqrt-pow1 pow1/2 |
| 66.0ms | (+ (+ (* x x) (* y y)) (* z z)) |
| 50.0ms | (sqrt (+ (+ (* x x) (* y y)) (* z z))) |
| 58.0ms | (+ (+ (* x x) (* y y)) (* z z)) |
| 154.0ms | (sqrt (+ (+ (* x x) (* y y)) (* z z))) |
4 alts after pruning (3 fresh and 1 done)
Merged error: 20.2b
4 alts after pruning (2 fresh and 2 done)
Merged error: 20.2b
4 alts after pruning (1 fresh and 3 done)
Merged error: 20.2b
4 alts after pruning (0 fresh and 4 done)
Merged error: 20.2b
59% (8.1b remaining)
Error of 26.9b against oracle of 18.8b and baseline of 38.6b
| Iters | Range | Point | |
|---|---|---|---|
| 7 | 2.343630355969629e+63 | 3.913008940742602e+64 | 3.871233825359606e+64 |
| 6 | -1.2800795360934752e-306 | -2.5092550594592027e-307 | -8.416887720474182e-307 |
| 9 | -2.849107293399729e-271 | -2.591365672246518e-278 | -2.623547536657377e-278 |
| 10 | -1.474096976152395e+169 | -2.086363706554303e+150 | -9.893983514208573e+152 |
| 501.0ms | 8000× | body | 80 | valid |