Timeout in 10.0m

Use the --timeout flag to change the timeout.

\[\left(\left(333.75 \cdot {33096}^{6} + \left(77617 \cdot 77617\right) \cdot \left(\left(\left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) + \left(-{33096}^{6}\right)\right) + -121 \cdot {33096}^{4}\right) + -2\right)\right) + 5.5 \cdot {33096}^{8}\right) + \frac{77617}{2 \cdot 33096}\]
\left(\left(333.75 \cdot {33096}^{6} + \left(77617 \cdot 77617\right) \cdot \left(\left(\left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) + \left(-{33096}^{6}\right)\right) + -121 \cdot {33096}^{4}\right) + -2\right)\right) + 5.5 \cdot {33096}^{8}\right) + \frac{77617}{2 \cdot 33096}
double f() {
        double r51876 = 333.75;
        double r51877 = 33096.0;
        double r51878 = 6.0;
        double r51879 = pow(r51877, r51878);
        double r51880 = r51876 * r51879;
        double r51881 = 77617.0;
        double r51882 = r51881 * r51881;
        double r51883 = 11.0;
        double r51884 = r51883 * r51882;
        double r51885 = r51877 * r51877;
        double r51886 = r51884 * r51885;
        double r51887 = -r51879;
        double r51888 = r51886 + r51887;
        double r51889 = -121.0;
        double r51890 = 4.0;
        double r51891 = pow(r51877, r51890);
        double r51892 = r51889 * r51891;
        double r51893 = r51888 + r51892;
        double r51894 = -2.0;
        double r51895 = r51893 + r51894;
        double r51896 = r51882 * r51895;
        double r51897 = r51880 + r51896;
        double r51898 = 5.5;
        double r51899 = 8.0;
        double r51900 = pow(r51877, r51899);
        double r51901 = r51898 * r51900;
        double r51902 = r51897 + r51901;
        double r51903 = 2.0;
        double r51904 = r51903 * r51877;
        double r51905 = r51881 / r51904;
        double r51906 = r51902 + r51905;
        return r51906;
}

Reproduce

herbie shell --seed 2019347 
(FPCore ()
  :name "From Warwick Tucker's Validated Numerics"
  :precision binary64
  (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))