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 r1515517 = 333.75;
        double r1515518 = 33096.0;
        double r1515519 = 6.0;
        double r1515520 = pow(r1515518, r1515519);
        double r1515521 = r1515517 * r1515520;
        double r1515522 = 77617.0;
        double r1515523 = r1515522 * r1515522;
        double r1515524 = 11.0;
        double r1515525 = r1515524 * r1515523;
        double r1515526 = r1515518 * r1515518;
        double r1515527 = r1515525 * r1515526;
        double r1515528 = -r1515520;
        double r1515529 = r1515527 + r1515528;
        double r1515530 = -121.0;
        double r1515531 = 4.0;
        double r1515532 = pow(r1515518, r1515531);
        double r1515533 = r1515530 * r1515532;
        double r1515534 = r1515529 + r1515533;
        double r1515535 = -2.0;
        double r1515536 = r1515534 + r1515535;
        double r1515537 = r1515523 * r1515536;
        double r1515538 = r1515521 + r1515537;
        double r1515539 = 5.5;
        double r1515540 = 8.0;
        double r1515541 = pow(r1515518, r1515540);
        double r1515542 = r1515539 * r1515541;
        double r1515543 = r1515538 + r1515542;
        double r1515544 = 2.0;
        double r1515545 = r1515544 * r1515518;
        double r1515546 = r1515522 / r1515545;
        double r1515547 = r1515543 + r1515546;
        return r1515547;
}

Reproduce

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