\frac{\varepsilon \cdot \left(e^{\left(a + b\right) \cdot \varepsilon} - 1\right)}{\left(e^{a \cdot \varepsilon} - 1\right) \cdot \left(e^{b \cdot \varepsilon} - 1\right)}double f(double a, double b, double eps) {
double r74882 = eps;
double r74883 = a;
double r74884 = b;
double r74885 = r74883 + r74884;
double r74886 = r74885 * r74882;
double r74887 = exp(r74886);
double r74888 = 1.0;
double r74889 = r74887 - r74888;
double r74890 = r74882 * r74889;
double r74891 = r74883 * r74882;
double r74892 = exp(r74891);
double r74893 = r74892 - r74888;
double r74894 = r74884 * r74882;
double r74895 = exp(r74894);
double r74896 = r74895 - r74888;
double r74897 = r74893 * r74896;
double r74898 = r74890 / r74897;
return r74898;
}
Please include this information when filing a bug report:
herbie shell --seed 2019323
(FPCore (a b eps)
:name "expq3 (problem 3.4.2)"
:precision binary64
:pre (and (< -1 eps) (< eps 1))
:herbie-target
(/ (+ a b) (* a b))
(/ (* eps (- (exp (* (+ a b) eps)) 1)) (* (- (exp (* a eps)) 1) (- (exp (* b eps)) 1))))
| get-representation: Unknown representation real | L | C | |
|---|---|---|---|
| (unnamed) | /data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/regimes.rkt | 65 | 3 |
| filter | /opt/racket-7.2/collects/racket/private/list.rkt | 256 | 2 |
| infer-splitpoints | /data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/regimes.rkt | 34 | 0 |
| get-final-combination | /data/pavpan/nightlies/herbie/fix-interface-bugs/src/mainloop.rkt | 369 | 0 |
| (unnamed) | /opt/racket-7.2/collects/racket/private/more-scheme.rkt | 261 | 28 |
| run | /opt/racket-7.2/share/pkgs/profile-lib/main.rkt | 39 | 2 |
| profile-thunk16 | /opt/racket-7.2/share/pkgs/profile-lib/main.rkt | 9 | 0 |
| (unnamed) | /opt/racket-7.2/collects/racket/private/more-scheme.rkt | 261 | 28 |