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 r1217363 = x;
        double r1217364 = y;
        double r1217365 = z;
        double r1217366 = log(r1217365);
        double r1217367 = r1217364 * r1217366;
        double r1217368 = t;
        double r1217369 = 1.0;
        double r1217370 = r1217368 - r1217369;
        double r1217371 = a;
        double r1217372 = log(r1217371);
        double r1217373 = r1217370 * r1217372;
        double r1217374 = r1217367 + r1217373;
        double r1217375 = b;
        double r1217376 = r1217374 - r1217375;
        double r1217377 = exp(r1217376);
        double r1217378 = r1217363 * r1217377;
        double r1217379 = r1217378 / r1217364;
        return r1217379;
}

Reproduce

herbie shell --seed 2019344 
(FPCore (x y z t a b)
  :name "Numeric.SpecFunctions:incompleteBetaWorker from math-functions-0.1.5.2"
  :precision binary64
  (/ (* x (exp (- (+ (* y (log z)) (* (- t 1) (log a))) b))) y))