\[-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 r8219 = eps;
        double r8220 = a;
        double r8221 = b;
        double r8222 = r8220 + r8221;
        double r8223 = r8222 * r8219;
        double r8224 = exp(r8223);
        double r8225 = 1.0;
        double r8226 = r8224 - r8225;
        double r8227 = r8219 * r8226;
        double r8228 = r8220 * r8219;
        double r8229 = exp(r8228);
        double r8230 = r8229 - r8225;
        double r8231 = r8221 * r8219;
        double r8232 = exp(r8231);
        double r8233 = r8232 - r8225;
        double r8234 = r8230 * r8233;
        double r8235 = r8227 / r8234;
        return r8235;
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2019191 
(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

get-representation: Unknown representation #f		L	C
loop	/data/pavpan/nightlies/herbie/interface2/src/points.rkt	122	4
prepare-points	/data/pavpan/nightlies/herbie/interface2/src/points.rkt	146	0
setup-prog!34	/data/pavpan/nightlies/herbie/interface2/src/mainloop.rkt	67	0
run-improve43	/data/pavpan/nightlies/herbie/interface2/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