Timeout in 10.0m

Use the --timeout flag to change the timeout.

\[\frac{x \cdot e^{\left(y \cdot \log z + \left(t - 1\right) \cdot \log a\right) - b}}{y}\]
\frac{x \cdot e^{\left(y \cdot \log z + \left(t - 1\right) \cdot \log a\right) - b}}{y}
double f(double x, double y, double z, double t, double a, double b) {
        double r1226116 = x;
        double r1226117 = y;
        double r1226118 = z;
        double r1226119 = log(r1226118);
        double r1226120 = r1226117 * r1226119;
        double r1226121 = t;
        double r1226122 = 1.0;
        double r1226123 = r1226121 - r1226122;
        double r1226124 = a;
        double r1226125 = log(r1226124);
        double r1226126 = r1226123 * r1226125;
        double r1226127 = r1226120 + r1226126;
        double r1226128 = b;
        double r1226129 = r1226127 - r1226128;
        double r1226130 = exp(r1226129);
        double r1226131 = r1226116 * r1226130;
        double r1226132 = r1226131 / r1226117;
        return r1226132;
}

Reproduce

herbie shell --seed 2019199 
(FPCore (x y z t a b)
  :name "Numeric.SpecFunctions:incompleteBetaWorker from math-functions-0.1.5.2, A"

  :herbie-target
  (if (< t -0.8845848504127471) (/ (* x (/ (pow a (- t 1.0)) y)) (- (+ b 1.0) (* y (log z)))) (if (< t 852031.2288374073) (/ (* (/ x y) (pow a (- t 1.0))) (exp (- b (* (log z) y)))) (/ (* x (/ (pow a (- t 1.0)) y)) (- (+ b 1.0) (* y (log z))))))

  (/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y))