Timeout in 10.0m

Use the --timeout flag to change the timeout.

\[\alpha \gt -1 \land \beta \gt -1\]
\[\frac{\frac{\frac{\left(\left(\alpha + \beta\right) + \beta \cdot \alpha\right) + 1.0}{\left(\alpha + \beta\right) + 2 \cdot 1}}{\left(\alpha + \beta\right) + 2 \cdot 1}}{\left(\left(\alpha + \beta\right) + 2 \cdot 1\right) + 1.0}\]
\frac{\frac{\frac{\left(\left(\alpha + \beta\right) + \beta \cdot \alpha\right) + 1.0}{\left(\alpha + \beta\right) + 2 \cdot 1}}{\left(\alpha + \beta\right) + 2 \cdot 1}}{\left(\left(\alpha + \beta\right) + 2 \cdot 1\right) + 1.0}
double f(double alpha, double beta) {
        double r57773336 = alpha;
        double r57773337 = beta;
        double r57773338 = r57773336 + r57773337;
        double r57773339 = r57773337 * r57773336;
        double r57773340 = r57773338 + r57773339;
        double r57773341 = 1.0;
        double r57773342 = r57773340 + r57773341;
        double r57773343 = 2.0;
        double r57773344 = 1.0;
        double r57773345 = r57773343 * r57773344;
        double r57773346 = r57773338 + r57773345;
        double r57773347 = r57773342 / r57773346;
        double r57773348 = r57773347 / r57773346;
        double r57773349 = r57773346 + r57773341;
        double r57773350 = r57773348 / r57773349;
        return r57773350;
}

Reproduce

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