Time bar (total: 3.5s)
| 15.0ms | 256× | body | 80 | valid |
1 alts after pruning (1 fresh and 0 done)
Merged error: 31.1b
Found 1 expressions with local error:
| 29.0b | (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))) |
| 41.0ms | (sqrt (+ (* re re) (* im im))) |
4 alts after pruning (3 fresh and 1 done)
Merged error: 8.8b
4 alts after pruning (2 fresh and 2 done)
Merged error: 8.8b
4 alts after pruning (1 fresh and 3 done)
Merged error: 8.8b
4 alts after pruning (0 fresh and 4 done)
Merged error: 8.8b
56.4% (10.7b remaining)
Error of 18.1b against oracle of 7.4b and baseline of 31.9b
| Iters | Range | Point | |
|---|---|---|---|
| 7 | 2.1111705398262576e+94 | 1.060498986278853e+96 | 9.769663399544423e+95 |
| 7 | 1.1044587464550651e-172 | 1.9723020502595543e-171 | 1.1787205921825882e-172 |
| 9 | 1.0174272123575757e-206 | 5.351151408218351e-199 | 5.24644684604896e-199 |
| 9 | -1.3549447721302977e+118 | -1.361108406914378e+110 | -2.1113265927350396e+117 |
| 478.0ms | 8000× | body | 80 | valid |