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 r63648299 = i;
        double r63648300 = alpha;
        double r63648301 = beta;
        double r63648302 = r63648300 + r63648301;
        double r63648303 = r63648302 + r63648299;
        double r63648304 = r63648299 * r63648303;
        double r63648305 = r63648301 * r63648300;
        double r63648306 = r63648305 + r63648304;
        double r63648307 = r63648304 * r63648306;
        double r63648308 = 2.0;
        double r63648309 = r63648308 * r63648299;
        double r63648310 = r63648302 + r63648309;
        double r63648311 = r63648310 * r63648310;
        double r63648312 = r63648307 / r63648311;
        double r63648313 = 1.0;
        double r63648314 = r63648311 - r63648313;
        double r63648315 = r63648312 / r63648314;
        return r63648315;
}

Reproduce

herbie shell --seed 2019124 +o rules:numerics
(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)))