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 r1720762 = x;
        double r1720763 = y;
        double r1720764 = z;
        double r1720765 = log(r1720764);
        double r1720766 = r1720763 * r1720765;
        double r1720767 = t;
        double r1720768 = 1.0;
        double r1720769 = r1720767 - r1720768;
        double r1720770 = a;
        double r1720771 = log(r1720770);
        double r1720772 = r1720769 * r1720771;
        double r1720773 = r1720766 + r1720772;
        double r1720774 = b;
        double r1720775 = r1720773 - r1720774;
        double r1720776 = exp(r1720775);
        double r1720777 = r1720762 * r1720776;
        double r1720778 = r1720777 / r1720763;
        return r1720778;
}

Reproduce

herbie shell --seed 2019322 +o rules:numerics
(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))