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 r49051 = 333.75;
        double r49052 = 33096.0;
        double r49053 = 6.0;
        double r49054 = pow(r49052, r49053);
        double r49055 = r49051 * r49054;
        double r49056 = 77617.0;
        double r49057 = r49056 * r49056;
        double r49058 = 11.0;
        double r49059 = r49058 * r49057;
        double r49060 = r49052 * r49052;
        double r49061 = r49059 * r49060;
        double r49062 = -r49054;
        double r49063 = r49061 + r49062;
        double r49064 = -121.0;
        double r49065 = 4.0;
        double r49066 = pow(r49052, r49065);
        double r49067 = r49064 * r49066;
        double r49068 = r49063 + r49067;
        double r49069 = -2.0;
        double r49070 = r49068 + r49069;
        double r49071 = r49057 * r49070;
        double r49072 = r49055 + r49071;
        double r49073 = 5.5;
        double r49074 = 8.0;
        double r49075 = pow(r49052, r49074);
        double r49076 = r49073 * r49075;
        double r49077 = r49072 + r49076;
        double r49078 = 2.0;
        double r49079 = r49078 * r49052;
        double r49080 = r49056 / r49079;
        double r49081 = r49077 + r49080;
        return r49081;
}

Reproduce

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