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 r1434215 = 333.75;
        double r1434216 = 33096.0;
        double r1434217 = 6.0;
        double r1434218 = pow(r1434216, r1434217);
        double r1434219 = r1434215 * r1434218;
        double r1434220 = 77617.0;
        double r1434221 = r1434220 * r1434220;
        double r1434222 = 11.0;
        double r1434223 = r1434222 * r1434221;
        double r1434224 = r1434216 * r1434216;
        double r1434225 = r1434223 * r1434224;
        double r1434226 = -r1434218;
        double r1434227 = r1434225 + r1434226;
        double r1434228 = -121.0;
        double r1434229 = 4.0;
        double r1434230 = pow(r1434216, r1434229);
        double r1434231 = r1434228 * r1434230;
        double r1434232 = r1434227 + r1434231;
        double r1434233 = -2.0;
        double r1434234 = r1434232 + r1434233;
        double r1434235 = r1434221 * r1434234;
        double r1434236 = r1434219 + r1434235;
        double r1434237 = 5.5;
        double r1434238 = 8.0;
        double r1434239 = pow(r1434216, r1434238);
        double r1434240 = r1434237 * r1434239;
        double r1434241 = r1434236 + r1434240;
        double r1434242 = 2.0;
        double r1434243 = r1434242 * r1434216;
        double r1434244 = r1434220 / r1434243;
        double r1434245 = r1434241 + r1434244;
        return r1434245;
}

Reproduce

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