Timeout in 10.0m

Use the --timeout flag to change the timeout.

\[1 - \frac{1}{2 + \left(2 - \frac{\frac{2}{t}}{1 + \frac{1}{t}}\right) \cdot \left(2 - \frac{\frac{2}{t}}{1 + \frac{1}{t}}\right)}\]
1 - \frac{1}{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 r64593187 = 1.0;
        double r64593188 = 2.0;
        double r64593189 = t;
        double r64593190 = r64593188 / r64593189;
        double r64593191 = r64593187 / r64593189;
        double r64593192 = r64593187 + r64593191;
        double r64593193 = r64593190 / r64593192;
        double r64593194 = r64593188 - r64593193;
        double r64593195 = r64593194 * r64593194;
        double r64593196 = r64593188 + r64593195;
        double r64593197 = r64593187 / r64593196;
        double r64593198 = r64593187 - r64593197;
        return r64593198;
}

Reproduce

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