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 r47174 = 333.75;
        double r47175 = 33096.0;
        double r47176 = 6.0;
        double r47177 = pow(r47175, r47176);
        double r47178 = r47174 * r47177;
        double r47179 = 77617.0;
        double r47180 = r47179 * r47179;
        double r47181 = 11.0;
        double r47182 = r47181 * r47180;
        double r47183 = r47175 * r47175;
        double r47184 = r47182 * r47183;
        double r47185 = -r47177;
        double r47186 = r47184 + r47185;
        double r47187 = -121.0;
        double r47188 = 4.0;
        double r47189 = pow(r47175, r47188);
        double r47190 = r47187 * r47189;
        double r47191 = r47186 + r47190;
        double r47192 = -2.0;
        double r47193 = r47191 + r47192;
        double r47194 = r47180 * r47193;
        double r47195 = r47178 + r47194;
        double r47196 = 5.5;
        double r47197 = 8.0;
        double r47198 = pow(r47175, r47197);
        double r47199 = r47196 * r47198;
        double r47200 = r47195 + r47199;
        double r47201 = 2.0;
        double r47202 = r47201 * r47175;
        double r47203 = r47179 / r47202;
        double r47204 = r47200 + r47203;
        return r47204;
}

Reproduce

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