Timeout in 10.0m

Use the --timeout flag to change the timeout.

\[\alpha \gt -1 \land \beta \gt -1 \land i \gt 0\]
\[\frac{\frac{\frac{\left(\alpha + \beta\right) \cdot \left(\beta - \alpha\right)}{\left(\alpha + \beta\right) + 2 \cdot i}}{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) + 2.0} + 1.0}{2.0}\]
\frac{\frac{\frac{\left(\alpha + \beta\right) \cdot \left(\beta - \alpha\right)}{\left(\alpha + \beta\right) + 2 \cdot i}}{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) + 2.0} + 1.0}{2.0}
double f(double alpha, double beta, double i) {
        double r2799440 = alpha;
        double r2799441 = beta;
        double r2799442 = r2799440 + r2799441;
        double r2799443 = r2799441 - r2799440;
        double r2799444 = r2799442 * r2799443;
        double r2799445 = 2.0;
        double r2799446 = i;
        double r2799447 = r2799445 * r2799446;
        double r2799448 = r2799442 + r2799447;
        double r2799449 = r2799444 / r2799448;
        double r2799450 = 2.0;
        double r2799451 = r2799448 + r2799450;
        double r2799452 = r2799449 / r2799451;
        double r2799453 = 1.0;
        double r2799454 = r2799452 + r2799453;
        double r2799455 = r2799454 / r2799450;
        return r2799455;
}

Reproduce

herbie shell --seed 2019152 +o rules:numerics
(FPCore (alpha beta i)
  :name "Octave 3.8, jcobi/2"
  :pre (and (> alpha -1) (> beta -1) (> i 0))
  (/ (+ (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0) 2.0))