


Bits error versus t



Bits error versus l



Bits error versus Om



Bits error versus Omc
Results
Initial program 10.4
Initial simplification10.4
Final simplification10.4
Time bar (total: 1.8m)Debug logProfile
| Baseline | Herbie | Oracle | Span | % | |
|---|---|---|---|---|---|
| Regimes | 10.4 | 10.4 | 10.4 | 0.1 | 0% |
herbie shell --seed 2018339
(FPCore (t l Om Omc)
:name "Toniolo and Linder, Equation (2)"
(asin (sqrt (/ (- 1 (pow (/ Om Omc) 2)) (+ 1 (* 2 (pow (/ t l) 2)))))))