



Bits error versus x
Results
| Original | 40.8 |
|---|---|
| Target | 40.4 |
| Herbie | 1.1 |
Initial program 40.8
Initial simplification40.8
Taylor expanded around 0 11.2
Simplified1.1
Final simplification1.1
Time bar (total: 20.2s)Debug logProfile
| Baseline | Herbie | Oracle | Span | % | |
|---|---|---|---|---|---|
| Regimes | 1.1 | 1.1 | 0.4 | 0.6 | 0% |
herbie shell --seed 2018352
(FPCore (x)
:name "expq2 (section 3.11)"
:herbie-target
(/ 1 (- 1 (exp (- x))))
(/ (exp x) (- (exp x) 1)))