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 r840751 = 2.0;
        double r840752 = x;
        double r840753 = sqrt(r840752);
        double r840754 = r840751 * r840753;
        double r840755 = y;
        double r840756 = z;
        double r840757 = t;
        double r840758 = r840756 * r840757;
        double r840759 = 3.0;
        double r840760 = r840758 / r840759;
        double r840761 = r840755 - r840760;
        double r840762 = cos(r840761);
        double r840763 = r840754 * r840762;
        double r840764 = a;
        double r840765 = b;
        double r840766 = r840765 * r840759;
        double r840767 = r840764 / r840766;
        double r840768 = r840763 - r840767;
        return r840768;
}

Reproduce

herbie shell --seed 2020045 
(FPCore (x y z t a b)
  :name "Diagrams.Solve.Polynomial:cubForm  from diagrams-solve-0.1, K"
  :precision binary64

  :herbie-target
  (if (< z -1.379333748723514e+129) (- (* (* 2 (sqrt x)) (cos (- (/ 1 y) (/ (/ 0.3333333333333333 z) t)))) (/ (/ a 3) b)) (if (< z 3.516290613555987e+106) (- (* (* (sqrt x) 2) (cos (- y (* (/ t 3) z)))) (/ (/ a 3) b)) (- (* (cos (- y (/ (/ 0.3333333333333333 z) t))) (* 2 (sqrt x))) (/ (/ a b) 3))))

  (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))))