Timeout in 10.0m

Use the --timeout flag to change the timeout.

\[\frac{x \cdot y}{\left(z \cdot z\right) \cdot \left(z + 1.0\right)}\]
\frac{x \cdot y}{\left(z \cdot z\right) \cdot \left(z + 1.0\right)}
double f(double x, double y, double z) {
        double r28984867 = x;
        double r28984868 = y;
        double r28984869 = r28984867 * r28984868;
        double r28984870 = z;
        double r28984871 = r28984870 * r28984870;
        double r28984872 = 1.0;
        double r28984873 = r28984870 + r28984872;
        double r28984874 = r28984871 * r28984873;
        double r28984875 = r28984869 / r28984874;
        return r28984875;
}

Reproduce

herbie shell --seed 2019158 
(FPCore (x y z)
  :name "Statistics.Distribution.Beta:$cvariance from math-functions-0.1.5.2"

  :herbie-target
  (if (< z 249.6182814532307) (/ (* y (/ x z)) (+ z (* z z))) (/ (* (/ (/ y z) (+ 1 z)) x) z))

  (/ (* x y) (* (* z z) (+ z 1.0))))