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 r227888 = 333.75;
        double r227889 = 33096.0;
        double r227890 = 6.0;
        double r227891 = pow(r227889, r227890);
        double r227892 = r227888 * r227891;
        double r227893 = 77617.0;
        double r227894 = r227893 * r227893;
        double r227895 = 11.0;
        double r227896 = r227895 * r227894;
        double r227897 = r227889 * r227889;
        double r227898 = r227896 * r227897;
        double r227899 = -r227891;
        double r227900 = r227898 + r227899;
        double r227901 = -121.0;
        double r227902 = 4.0;
        double r227903 = pow(r227889, r227902);
        double r227904 = r227901 * r227903;
        double r227905 = r227900 + r227904;
        double r227906 = -2.0;
        double r227907 = r227905 + r227906;
        double r227908 = r227894 * r227907;
        double r227909 = r227892 + r227908;
        double r227910 = 5.5;
        double r227911 = 8.0;
        double r227912 = pow(r227889, r227911);
        double r227913 = r227910 * r227912;
        double r227914 = r227909 + r227913;
        double r227915 = 2.0;
        double r227916 = r227915 * r227889;
        double r227917 = r227893 / r227916;
        double r227918 = r227914 + r227917;
        return r227918;
}

Reproduce

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