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 r68444847 = alpha;
        double r68444848 = beta;
        double r68444849 = r68444847 + r68444848;
        double r68444850 = r68444848 - r68444847;
        double r68444851 = r68444849 * r68444850;
        double r68444852 = 2.0;
        double r68444853 = i;
        double r68444854 = r68444852 * r68444853;
        double r68444855 = r68444849 + r68444854;
        double r68444856 = r68444851 / r68444855;
        double r68444857 = 2.0;
        double r68444858 = r68444855 + r68444857;
        double r68444859 = r68444856 / r68444858;
        double r68444860 = 1.0;
        double r68444861 = r68444859 + r68444860;
        double r68444862 = r68444861 / r68444857;
        return r68444862;
}

Reproduce

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