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 r60857 = 333.75;
        double r60858 = 33096.0;
        double r60859 = 6.0;
        double r60860 = pow(r60858, r60859);
        double r60861 = r60857 * r60860;
        double r60862 = 77617.0;
        double r60863 = r60862 * r60862;
        double r60864 = 11.0;
        double r60865 = r60864 * r60863;
        double r60866 = r60858 * r60858;
        double r60867 = r60865 * r60866;
        double r60868 = -r60860;
        double r60869 = r60867 + r60868;
        double r60870 = -121.0;
        double r60871 = 4.0;
        double r60872 = pow(r60858, r60871);
        double r60873 = r60870 * r60872;
        double r60874 = r60869 + r60873;
        double r60875 = -2.0;
        double r60876 = r60874 + r60875;
        double r60877 = r60863 * r60876;
        double r60878 = r60861 + r60877;
        double r60879 = 5.5;
        double r60880 = 8.0;
        double r60881 = pow(r60858, r60880);
        double r60882 = r60879 * r60881;
        double r60883 = r60878 + r60882;
        double r60884 = 2.0;
        double r60885 = r60884 * r60858;
        double r60886 = r60862 / r60885;
        double r60887 = r60883 + r60886;
        return r60887;
}

Reproduce

herbie shell --seed 2019326 
(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))))