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 r1960652 = 1.0;
        double r1960653 = eps;
        double r1960654 = r1960652 / r1960653;
        double r1960655 = r1960652 + r1960654;
        double r1960656 = r1960652 - r1960653;
        double r1960657 = x;
        double r1960658 = r1960656 * r1960657;
        double r1960659 = -r1960658;
        double r1960660 = exp(r1960659);
        double r1960661 = r1960655 * r1960660;
        double r1960662 = r1960654 - r1960652;
        double r1960663 = r1960652 + r1960653;
        double r1960664 = r1960663 * r1960657;
        double r1960665 = -r1960664;
        double r1960666 = exp(r1960665);
        double r1960667 = r1960662 * r1960666;
        double r1960668 = r1960661 - r1960667;
        double r1960669 = 2.0;
        double r1960670 = r1960668 / r1960669;
        return r1960670;
}

Reproduce

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