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 r39284365 = x;
        double r39284366 = y;
        double r39284367 = 2.0;
        double r39284368 = z;
        double r39284369 = t;
        double r39284370 = a;
        double r39284371 = r39284369 + r39284370;
        double r39284372 = sqrt(r39284371);
        double r39284373 = r39284368 * r39284372;
        double r39284374 = r39284373 / r39284369;
        double r39284375 = b;
        double r39284376 = c;
        double r39284377 = r39284375 - r39284376;
        double r39284378 = 5.0;
        double r39284379 = 6.0;
        double r39284380 = r39284378 / r39284379;
        double r39284381 = r39284370 + r39284380;
        double r39284382 = 3.0;
        double r39284383 = r39284369 * r39284382;
        double r39284384 = r39284367 / r39284383;
        double r39284385 = r39284381 - r39284384;
        double r39284386 = r39284377 * r39284385;
        double r39284387 = r39284374 - r39284386;
        double r39284388 = r39284367 * r39284387;
        double r39284389 = exp(r39284388);
        double r39284390 = r39284366 * r39284389;
        double r39284391 = r39284365 + r39284390;
        double r39284392 = r39284365 / r39284391;
        return r39284392;
}

Reproduce

herbie shell --seed 2019158 
(FPCore (x y z t a b c)
  :name "Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2, I"

  :herbie-target
  (if (< t -2.118326644891581e-50) (/ x (+ x (* y (exp (* 2.0 (- (+ (* a c) (* 0.8333333333333334 c)) (* a b))))))) (if (< t 5.196588770651547e-123) (/ x (+ x (* y (exp (* 2.0 (/ (- (* (* z (sqrt (+ t a))) (* (* 3.0 t) (- a (/ 5.0 6.0)))) (* (- (* (+ (/ 5.0 6.0) a) (* 3.0 t)) 2.0) (* (- a (/ 5.0 6.0)) (* (- b c) t)))) (* (* (* t t) 3.0) (- a (/ 5.0 6.0))))))))) (/ x (+ x (* y (exp (* 2.0 (- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))))))))))))

  (/ x (+ x (* y (exp (* 2.0 (- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))))))))