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 r3382616 = 333.75;
        double r3382617 = 33096.0;
        double r3382618 = 6.0;
        double r3382619 = pow(r3382617, r3382618);
        double r3382620 = r3382616 * r3382619;
        double r3382621 = 77617.0;
        double r3382622 = r3382621 * r3382621;
        double r3382623 = 11.0;
        double r3382624 = r3382623 * r3382622;
        double r3382625 = r3382617 * r3382617;
        double r3382626 = r3382624 * r3382625;
        double r3382627 = -r3382619;
        double r3382628 = r3382626 + r3382627;
        double r3382629 = -121.0;
        double r3382630 = 4.0;
        double r3382631 = pow(r3382617, r3382630);
        double r3382632 = r3382629 * r3382631;
        double r3382633 = r3382628 + r3382632;
        double r3382634 = -2.0;
        double r3382635 = r3382633 + r3382634;
        double r3382636 = r3382622 * r3382635;
        double r3382637 = r3382620 + r3382636;
        double r3382638 = 5.5;
        double r3382639 = 8.0;
        double r3382640 = pow(r3382617, r3382639);
        double r3382641 = r3382638 * r3382640;
        double r3382642 = r3382637 + r3382641;
        double r3382643 = 2.0;
        double r3382644 = r3382643 * r3382617;
        double r3382645 = r3382621 / r3382644;
        double r3382646 = r3382642 + r3382645;
        return r3382646;
}

Reproduce

herbie shell --seed 2019200 
(FPCore ()
  :name "From Warwick Tucker's Validated Numerics"
  (+ (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0))) (/ 77617.0 (* 2.0 33096.0))))