


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