Time bar (total: 6.3s)
| 17.0ms | 256× | body | 80 | valid |
| Iter | Nodes |
|---|---|
| done | 29 |
| 3 | 29 |
| 2 | 24 |
| 1 | 14 |
| 0 | 9 |
1 alts after pruning (1 fresh and 0 done)
Merged error: 34.1b
Found 2 expressions with local error:
| 0.0b | (fma z z (fma y y (* x x))) |
| 34.1b | (sqrt (fma z z (fma y y (* x x)))) |
| 4× | add-sqr-sqrt |
| 3× | pow1 *-un-lft-identity add-cube-cbrt sqrt-prod |
| 2× | expm1-log1p-u add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u add-log-exp |
| 1× | rem-sqrt-square sqrt-pow1 pow1/2 fma-udef |
| 0.0ms | (fma z z (fma y y (* x x))) |
| 1.0ms | (sqrt (fma z z (fma y y (* x x)))) |
| 56.0ms | (fma z z (fma y y (* x x))) |
| 170.0ms | (sqrt (fma z z (fma y y (* x x)))) |
| Iter | Nodes |
|---|---|
| done | 5004 |
| 4 | 2546 |
| 3 | 436 |
| 2 | 126 |
| 1 | 62 |
| 0 | 40 |
5 alts after pruning (4 fresh and 1 done)
Merged error: 15.5b
Found 3 expressions with local error:
| 0.0b | (fma y y (* z z)) |
| 0.0b | (fma x x (fma y y (* z z))) |
| 34.1b | (sqrt (fma x x (fma y y (* z z)))) |
| 5× | add-sqr-sqrt |
| 4× | pow1 *-un-lft-identity add-cube-cbrt |
| 3× | expm1-log1p-u add-cbrt-cube add-exp-log sqrt-prod insert-posit16 log1p-expm1-u add-log-exp |
| 2× | fma-udef |
| 1× | rem-sqrt-square sqrt-pow1 pow1/2 |
| 0.0ms | (fma y y (* z z)) |
| 0.0ms | (fma x x (fma y y (* z z))) |
| 2.0ms | (sqrt (fma x x (fma y y (* z z)))) |
| 59.0ms | (fma y y (* z z)) |
| 56.0ms | (fma x x (fma y y (* z z))) |
| 173.0ms | (sqrt (fma x x (fma y y (* z z)))) |
| Iter | Nodes |
|---|---|
| done | 5000 |
| 4 | 2912 |
| 3 | 547 |
| 2 | 170 |
| 1 | 76 |
| 0 | 52 |
6 alts after pruning (4 fresh and 2 done)
Merged error: 11.5b
| Iter | Nodes |
|---|---|
| done | 0 |
| 0 | 0 |
6 alts after pruning (3 fresh and 3 done)
Merged error: 11.5b
| Iter | Nodes |
|---|---|
| done | 0 |
| 0 | 0 |
6 alts after pruning (2 fresh and 4 done)
Merged error: 11.5b
40.3% (14.1b remaining)
Error of 25.4b against oracle of 11.3b and baseline of 34.9b
| Iters | Range | Point | |
|---|---|---|---|
| 8 | 2.3947030903309598e+106 | 9.970465804684252e+109 | 9.794009169674087e+109 |
| 9 | -1.060032766889974e-201 | -4.267635367026549e-210 | -8.598460374864875e-202 |
| 8 | -4.047764226026223e-95 | -1.8795600190319444e-98 | -1.9111814054112648e-98 |
| 7 | -6.313709833010039e+137 | -4.230695651283264e+135 | -6.208442960829875e+137 |
| Iter | Nodes |
|---|---|
| done | 20 |
| 0 | 20 |
| 772.0ms | 8000× | body | 80 | valid |