



Bits error versus x
Results
| Original | 39.9 |
|---|---|
| Target | 39.5 |
| Herbie | 1.1 |
Initial program 39.9
Initial simplification39.9
Taylor expanded around 0 11.5
Simplified1.1
Final simplification1.1
Time bar (total: 9.1s)Debug logProfile
| Baseline | Herbie | Oracle | Span | % | |
|---|---|---|---|---|---|
| Regimes | 1.1 | 1.1 | 0.7 | 0.3 | 0% |
herbie shell --seed 2018286
(FPCore (x)
:name "expq2 (section 3.11)"
:herbie-target
(/ 1 (- 1 (exp (- x))))
(/ (exp x) (- (exp x) 1)))