\[-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 r8248 = eps;
        double r8249 = a;
        double r8250 = b;
        double r8251 = r8249 + r8250;
        double r8252 = r8251 * r8248;
        double r8253 = exp(r8252);
        double r8254 = 1.0;
        double r8255 = r8253 - r8254;
        double r8256 = r8248 * r8255;
        double r8257 = r8249 * r8248;
        double r8258 = exp(r8257);
        double r8259 = r8258 - r8254;
        double r8260 = r8250 * r8248;
        double r8261 = exp(r8260);
        double r8262 = r8261 - r8254;
        double r8263 = r8259 * r8262;
        double r8264 = r8256 / r8263;
        return r8264;
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2019191 +o rules:numerics
(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