Timeout in 10.0m

Use the --timeout flag to change the timeout.

\[\left(\left(x - \left(y - 1\right) \cdot z\right) - \left(t - 1\right) \cdot a\right) + \left(\left(y + t\right) - 2\right) \cdot b\]
\left(\left(x - \left(y - 1\right) \cdot z\right) - \left(t - 1\right) \cdot a\right) + \left(\left(y + t\right) - 2\right) \cdot b
double f(double x, double y, double z, double t, double a, double b) {
        double r349905 = x;
        double r349906 = y;
        double r349907 = 1.0;
        double r349908 = r349906 - r349907;
        double r349909 = z;
        double r349910 = r349908 * r349909;
        double r349911 = r349905 - r349910;
        double r349912 = t;
        double r349913 = r349912 - r349907;
        double r349914 = a;
        double r349915 = r349913 * r349914;
        double r349916 = r349911 - r349915;
        double r349917 = r349906 + r349912;
        double r349918 = 2.0;
        double r349919 = r349917 - r349918;
        double r349920 = b;
        double r349921 = r349919 * r349920;
        double r349922 = r349916 + r349921;
        return r349922;
}

Reproduce

herbie shell --seed 2019196 +o rules:numerics
(FPCore (x y z t a b)
  :name "Statistics.Distribution.Beta:$centropy from math-functions-0.1.5.2"
  (+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b)))