Timeout in 10.0m

Use the --timeout flag to change the timeout.

\[\alpha \gt -1 \land \beta \gt -1 \land i \gt 0.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} + 1}{2}\]
\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} + 1}{2}
double f(double alpha, double beta, double i) {
        double r98512 = alpha;
        double r98513 = beta;
        double r98514 = r98512 + r98513;
        double r98515 = r98513 - r98512;
        double r98516 = r98514 * r98515;
        double r98517 = 2.0;
        double r98518 = i;
        double r98519 = r98517 * r98518;
        double r98520 = r98514 + r98519;
        double r98521 = r98516 / r98520;
        double r98522 = r98520 + r98517;
        double r98523 = r98521 / r98522;
        double r98524 = 1.0;
        double r98525 = r98523 + r98524;
        double r98526 = r98525 / r98517;
        return r98526;
}

Reproduce

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