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 r28336045 = alpha;
        double r28336046 = beta;
        double r28336047 = r28336045 + r28336046;
        double r28336048 = r28336046 - r28336045;
        double r28336049 = r28336047 * r28336048;
        double r28336050 = 2.0;
        double r28336051 = i;
        double r28336052 = r28336050 * r28336051;
        double r28336053 = r28336047 + r28336052;
        double r28336054 = r28336049 / r28336053;
        double r28336055 = 2.0;
        double r28336056 = r28336053 + r28336055;
        double r28336057 = r28336054 / r28336056;
        double r28336058 = 1.0;
        double r28336059 = r28336057 + r28336058;
        double r28336060 = r28336059 / r28336055;
        return r28336060;
}

Reproduce

herbie shell --seed 2019104 +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))