Timeout in 10.0m

Use the --timeout flag to change the timeout.

\[\alpha \gt -1 \land \beta \gt -1 \land i \gt 1\]
\[\frac{\frac{\left(i \cdot \left(\left(\alpha + \beta\right) + i\right)\right) \cdot \left(\beta \cdot \alpha + i \cdot \left(\left(\alpha + \beta\right) + i\right)\right)}{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) \cdot \left(\left(\alpha + \beta\right) + 2 \cdot i\right)}}{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) \cdot \left(\left(\alpha + \beta\right) + 2 \cdot i\right) - 1.0}\]
\frac{\frac{\left(i \cdot \left(\left(\alpha + \beta\right) + i\right)\right) \cdot \left(\beta \cdot \alpha + i \cdot \left(\left(\alpha + \beta\right) + i\right)\right)}{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) \cdot \left(\left(\alpha + \beta\right) + 2 \cdot i\right)}}{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) \cdot \left(\left(\alpha + \beta\right) + 2 \cdot i\right) - 1.0}
double f(double alpha, double beta, double i) {
        double r91044989 = i;
        double r91044990 = alpha;
        double r91044991 = beta;
        double r91044992 = r91044990 + r91044991;
        double r91044993 = r91044992 + r91044989;
        double r91044994 = r91044989 * r91044993;
        double r91044995 = r91044991 * r91044990;
        double r91044996 = r91044995 + r91044994;
        double r91044997 = r91044994 * r91044996;
        double r91044998 = 2.0;
        double r91044999 = r91044998 * r91044989;
        double r91045000 = r91044992 + r91044999;
        double r91045001 = r91045000 * r91045000;
        double r91045002 = r91044997 / r91045001;
        double r91045003 = 1.0;
        double r91045004 = r91045001 - r91045003;
        double r91045005 = r91045002 / r91045004;
        return r91045005;
}

Reproduce

herbie shell --seed 2019125 
(FPCore (alpha beta i)
  :name "Octave 3.8, jcobi/4"
  :pre (and (> alpha -1) (> beta -1) (> i 1))
  (/ (/ (* (* i (+ (+ alpha beta) i)) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))) (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i)))) (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0)))