Timeout in 10.0m

Use the --timeout flag to change the timeout.

\[\left(\left(x - 1.0\right) \cdot \log y + \left(z - 1.0\right) \cdot \log \left(1.0 - y\right)\right) - t\]
\left(\left(x - 1.0\right) \cdot \log y + \left(z - 1.0\right) \cdot \log \left(1.0 - y\right)\right) - t
double f(double x, double y, double z, double t) {
        double r3446943 = x;
        double r3446944 = 1.0;
        double r3446945 = r3446943 - r3446944;
        double r3446946 = y;
        double r3446947 = log(r3446946);
        double r3446948 = r3446945 * r3446947;
        double r3446949 = z;
        double r3446950 = r3446949 - r3446944;
        double r3446951 = r3446944 - r3446946;
        double r3446952 = log(r3446951);
        double r3446953 = r3446950 * r3446952;
        double r3446954 = r3446948 + r3446953;
        double r3446955 = t;
        double r3446956 = r3446954 - r3446955;
        return r3446956;
}

Reproduce

herbie shell --seed 2019158 
(FPCore (x y z t)
  :name "Statistics.Distribution.Beta:$cdensity from math-functions-0.1.5.2"
  (- (+ (* (- x 1.0) (log y)) (* (- z 1.0) (log (- 1.0 y)))) t))