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 r61183942 = alpha;
        double r61183943 = beta;
        double r61183944 = r61183942 + r61183943;
        double r61183945 = r61183943 - r61183942;
        double r61183946 = r61183944 * r61183945;
        double r61183947 = 2.0;
        double r61183948 = i;
        double r61183949 = r61183947 * r61183948;
        double r61183950 = r61183944 + r61183949;
        double r61183951 = r61183946 / r61183950;
        double r61183952 = 2.0;
        double r61183953 = r61183950 + r61183952;
        double r61183954 = r61183951 / r61183953;
        double r61183955 = 1.0;
        double r61183956 = r61183954 + r61183955;
        double r61183957 = r61183956 / r61183952;
        return r61183957;
}

Reproduce

herbie shell --seed 2019119 
(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))