Timeout in 10.0m

Use the --timeout flag to change the timeout.

\[\frac{\left(1 + \frac{1}{\varepsilon}\right) \cdot e^{-\left(1 - \varepsilon\right) \cdot x} - \left(\frac{1}{\varepsilon} - 1\right) \cdot e^{-\left(1 + \varepsilon\right) \cdot x}}{2}\]
\frac{\left(1 + \frac{1}{\varepsilon}\right) \cdot e^{-\left(1 - \varepsilon\right) \cdot x} - \left(\frac{1}{\varepsilon} - 1\right) \cdot e^{-\left(1 + \varepsilon\right) \cdot x}}{2}
double f(double x, double eps) {
        double r81448411 = 1.0;
        double r81448412 = eps;
        double r81448413 = r81448411 / r81448412;
        double r81448414 = r81448411 + r81448413;
        double r81448415 = r81448411 - r81448412;
        double r81448416 = x;
        double r81448417 = r81448415 * r81448416;
        double r81448418 = -r81448417;
        double r81448419 = exp(r81448418);
        double r81448420 = r81448414 * r81448419;
        double r81448421 = r81448413 - r81448411;
        double r81448422 = r81448411 + r81448412;
        double r81448423 = r81448422 * r81448416;
        double r81448424 = -r81448423;
        double r81448425 = exp(r81448424);
        double r81448426 = r81448421 * r81448425;
        double r81448427 = r81448420 - r81448426;
        double r81448428 = 2.0;
        double r81448429 = r81448427 / r81448428;
        return r81448429;
}

Reproduce

herbie shell --seed 2019128 +o rules:numerics
(FPCore (x eps)
  :name "NMSE Section 6.1 mentioned, A"
  (/ (- (* (+ 1 (/ 1 eps)) (exp (- (* (- 1 eps) x)))) (* (- (/ 1 eps) 1) (exp (- (* (+ 1 eps) x))))) 2))