\[-1 \lt \varepsilon \land \varepsilon \lt 1\]

\[\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)}\]

\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 r14069173 = eps;
        double r14069174 = a;
        double r14069175 = b;
        double r14069176 = r14069174 + r14069175;
        double r14069177 = r14069176 * r14069173;
        double r14069178 = exp(r14069177);
        double r14069179 = 1.0;
        double r14069180 = r14069178 - r14069179;
        double r14069181 = r14069173 * r14069180;
        double r14069182 = r14069174 * r14069173;
        double r14069183 = exp(r14069182);
        double r14069184 = r14069183 - r14069179;
        double r14069185 = r14069175 * r14069173;
        double r14069186 = exp(r14069185);
        double r14069187 = r14069186 - r14069179;
        double r14069188 = r14069184 * r14069187;
        double r14069189 = r14069181 / r14069188;
        return r14069189;
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2019173 
(FPCore (a b eps)
  :name "expq3 (problem 3.4.2)"
  :pre (and (< -1.0 eps) (< eps 1.0))

  :herbie-target
  (/ (+ a b) (* a b))

  (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0))))

Backtrace

hash-ref: no value found for key key: #<enode 104(104)>		L	C
for-loop	/data/pavpan/nightlies/herbie/various-cleanup/src/core/simplify.rkt	197	2
extractor-extract	/data/pavpan/nightlies/herbie/various-cleanup/src/core/simplify.rkt	196	0
for-loop	/data/pavpan/nightlies/herbie/various-cleanup/src/core/simplify.rkt	35	2
(unnamed)	/data/pavpan/nightlies/herbie/various-cleanup/src/core/simplify.rkt	26	0
simplify!	/data/pavpan/nightlies/herbie/various-cleanup/src/mainloop.rkt	217	0
run-iter!	/data/pavpan/nightlies/herbie/various-cleanup/src/mainloop.rkt	320	0
for-loop	/data/pavpan/nightlies/herbie/various-cleanup/src/mainloop.rkt	354	4
run-improve43	/data/pavpan/nightlies/herbie/various-cleanup/src/mainloop.rkt	339	0
(unnamed)	/opt/racket-7.0/collects/racket/private/more-scheme.rkt	261	28
run	/opt/racket-7.0/share/pkgs/profile-lib/main.rkt	39	2
profile-thunk16	/opt/racket-7.0/share/pkgs/profile-lib/main.rkt	9	0
(unnamed)	/opt/racket-7.0/collects/racket/private/more-scheme.rkt	261	28

could not determine a ground truth for program body (more)

Reproduce

Backtrace