Timeout in 10.0m

Use the --timeout flag to change the timeout.

\[\frac{x}{x + y \cdot e^{2.0 \cdot \left(\frac{z \cdot \sqrt{t + a}}{t} - \left(b - c\right) \cdot \left(\left(a + \frac{5.0}{6.0}\right) - \frac{2.0}{t \cdot 3.0}\right)\right)}}\]
\frac{x}{x + y \cdot e^{2.0 \cdot \left(\frac{z \cdot \sqrt{t + a}}{t} - \left(b - c\right) \cdot \left(\left(a + \frac{5.0}{6.0}\right) - \frac{2.0}{t \cdot 3.0}\right)\right)}}
double f(double x, double y, double z, double t, double a, double b, double c) {
        double r21175190 = x;
        double r21175191 = y;
        double r21175192 = 2.0;
        double r21175193 = z;
        double r21175194 = t;
        double r21175195 = a;
        double r21175196 = r21175194 + r21175195;
        double r21175197 = sqrt(r21175196);
        double r21175198 = r21175193 * r21175197;
        double r21175199 = r21175198 / r21175194;
        double r21175200 = b;
        double r21175201 = c;
        double r21175202 = r21175200 - r21175201;
        double r21175203 = 5.0;
        double r21175204 = 6.0;
        double r21175205 = r21175203 / r21175204;
        double r21175206 = r21175195 + r21175205;
        double r21175207 = 3.0;
        double r21175208 = r21175194 * r21175207;
        double r21175209 = r21175192 / r21175208;
        double r21175210 = r21175206 - r21175209;
        double r21175211 = r21175202 * r21175210;
        double r21175212 = r21175199 - r21175211;
        double r21175213 = r21175192 * r21175212;
        double r21175214 = exp(r21175213);
        double r21175215 = r21175191 * r21175214;
        double r21175216 = r21175190 + r21175215;
        double r21175217 = r21175190 / r21175216;
        return r21175217;
}

Reproduce

herbie shell --seed 2019158 
(FPCore (x y z t a b c)
  :name "Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2"
  (/ x (+ x (* y (exp (* 2.0 (- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))))))))