Timeout in 10.0m

Use the --timeout flag to change the timeout.

\[\left|\frac{x + 4}{y} - \frac{x}{y} \cdot z\right|\]
\left|\frac{x + 4}{y} - \frac{x}{y} \cdot z\right|
double f(double x, double y, double z) {
        double r29405441 = x;
        double r29405442 = 4.0;
        double r29405443 = r29405441 + r29405442;
        double r29405444 = y;
        double r29405445 = r29405443 / r29405444;
        double r29405446 = r29405441 / r29405444;
        double r29405447 = z;
        double r29405448 = r29405446 * r29405447;
        double r29405449 = r29405445 - r29405448;
        double r29405450 = fabs(r29405449);
        return r29405450;
}

Reproduce

herbie shell --seed 2019104 +o rules:numerics
(FPCore (x y z)
  :name "fabs fraction 1"
  (fabs (- (/ (+ x 4) y) (* (/ x y) z))))