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 r57512 = 333.75;
        double r57513 = 33096.0;
        double r57514 = 6.0;
        double r57515 = pow(r57513, r57514);
        double r57516 = r57512 * r57515;
        double r57517 = 77617.0;
        double r57518 = r57517 * r57517;
        double r57519 = 11.0;
        double r57520 = r57519 * r57518;
        double r57521 = r57513 * r57513;
        double r57522 = r57520 * r57521;
        double r57523 = -r57515;
        double r57524 = r57522 + r57523;
        double r57525 = -121.0;
        double r57526 = 4.0;
        double r57527 = pow(r57513, r57526);
        double r57528 = r57525 * r57527;
        double r57529 = r57524 + r57528;
        double r57530 = -2.0;
        double r57531 = r57529 + r57530;
        double r57532 = r57518 * r57531;
        double r57533 = r57516 + r57532;
        double r57534 = 5.5;
        double r57535 = 8.0;
        double r57536 = pow(r57513, r57535);
        double r57537 = r57534 * r57536;
        double r57538 = r57533 + r57537;
        double r57539 = 2.0;
        double r57540 = r57539 * r57513;
        double r57541 = r57517 / r57540;
        double r57542 = r57538 + r57541;
        return r57542;
}

Reproduce

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