Timeout in 10.0m

Use the --timeout flag to change the timeout.

\[\frac{1 + \left(2 - \frac{\frac{2}{t}}{1 + \frac{1}{t}}\right) \cdot \left(2 - \frac{\frac{2}{t}}{1 + \frac{1}{t}}\right)}{2 + \left(2 - \frac{\frac{2}{t}}{1 + \frac{1}{t}}\right) \cdot \left(2 - \frac{\frac{2}{t}}{1 + \frac{1}{t}}\right)}\]
\frac{1 + \left(2 - \frac{\frac{2}{t}}{1 + \frac{1}{t}}\right) \cdot \left(2 - \frac{\frac{2}{t}}{1 + \frac{1}{t}}\right)}{2 + \left(2 - \frac{\frac{2}{t}}{1 + \frac{1}{t}}\right) \cdot \left(2 - \frac{\frac{2}{t}}{1 + \frac{1}{t}}\right)}
double f(double t) {
        double r30212396 = 1.0;
        double r30212397 = 2.0;
        double r30212398 = t;
        double r30212399 = r30212397 / r30212398;
        double r30212400 = r30212396 / r30212398;
        double r30212401 = r30212396 + r30212400;
        double r30212402 = r30212399 / r30212401;
        double r30212403 = r30212397 - r30212402;
        double r30212404 = r30212403 * r30212403;
        double r30212405 = r30212396 + r30212404;
        double r30212406 = r30212397 + r30212404;
        double r30212407 = r30212405 / r30212406;
        return r30212407;
}

Reproduce

herbie shell --seed 2019112 +o rules:numerics
(FPCore (t)
  :name "Kahan p13 Example 2"
  (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))