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 r1488782 = 333.75;
        double r1488783 = 33096.0;
        double r1488784 = 6.0;
        double r1488785 = pow(r1488783, r1488784);
        double r1488786 = r1488782 * r1488785;
        double r1488787 = 77617.0;
        double r1488788 = r1488787 * r1488787;
        double r1488789 = 11.0;
        double r1488790 = r1488789 * r1488788;
        double r1488791 = r1488783 * r1488783;
        double r1488792 = r1488790 * r1488791;
        double r1488793 = -r1488785;
        double r1488794 = r1488792 + r1488793;
        double r1488795 = -121.0;
        double r1488796 = 4.0;
        double r1488797 = pow(r1488783, r1488796);
        double r1488798 = r1488795 * r1488797;
        double r1488799 = r1488794 + r1488798;
        double r1488800 = -2.0;
        double r1488801 = r1488799 + r1488800;
        double r1488802 = r1488788 * r1488801;
        double r1488803 = r1488786 + r1488802;
        double r1488804 = 5.5;
        double r1488805 = 8.0;
        double r1488806 = pow(r1488783, r1488805);
        double r1488807 = r1488804 * r1488806;
        double r1488808 = r1488803 + r1488807;
        double r1488809 = 2.0;
        double r1488810 = r1488809 * r1488783;
        double r1488811 = r1488787 / r1488810;
        double r1488812 = r1488808 + r1488811;
        return r1488812;
}

Reproduce

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