


Bits error versus x
Results
Initial program 58.0
Taylor expanded around 0 0.6
Final simplification0.6
Time bar (total: 9.5s)Debug logProfile
| Baseline | Herbie | Oracle | Span | % | |
|---|---|---|---|---|---|
| Regimes | 0.6 | 0.6 | 0.0 | 0.6 | 0% |
herbie shell --seed 2018355
(FPCore (x)
:name "Hyperbolic sine"
(/ (- (exp x) (exp (- x))) 2))