Timeout in 10.0m

Use the --timeout flag to change the timeout.

\[\left(2 \cdot \sqrt{x}\right) \cdot \cos \left(y - \frac{z \cdot t}{3}\right) - \frac{a}{b \cdot 3}\]
\left(2 \cdot \sqrt{x}\right) \cdot \cos \left(y - \frac{z \cdot t}{3}\right) - \frac{a}{b \cdot 3}
double f(double x, double y, double z, double t, double a, double b) {
        double r460541 = 2.0;
        double r460542 = x;
        double r460543 = sqrt(r460542);
        double r460544 = r460541 * r460543;
        double r460545 = y;
        double r460546 = z;
        double r460547 = t;
        double r460548 = r460546 * r460547;
        double r460549 = 3.0;
        double r460550 = r460548 / r460549;
        double r460551 = r460545 - r460550;
        double r460552 = cos(r460551);
        double r460553 = r460544 * r460552;
        double r460554 = a;
        double r460555 = b;
        double r460556 = r460555 * r460549;
        double r460557 = r460554 / r460556;
        double r460558 = r460553 - r460557;
        return r460558;
}

Reproduce

herbie shell --seed 2019196 +o rules:numerics
(FPCore (x y z t a b)
  :name "Diagrams.Solve.Polynomial:cubForm  from diagrams-solve-0.1, K"

  :herbie-target
  (if (< z -1.3793337487235141e+129) (- (* (* 2.0 (sqrt x)) (cos (- (/ 1.0 y) (/ (/ 0.3333333333333333 z) t)))) (/ (/ a 3.0) b)) (if (< z 3.516290613555987e+106) (- (* (* (sqrt x) 2.0) (cos (- y (* (/ t 3.0) z)))) (/ (/ a 3.0) b)) (- (* (cos (- y (/ (/ 0.3333333333333333 z) t))) (* 2.0 (sqrt x))) (/ (/ a b) 3.0))))

  (- (* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0)))) (/ a (* b 3.0))))