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 r1215183 = 333.75;
        double r1215184 = 33096.0;
        double r1215185 = 6.0;
        double r1215186 = pow(r1215184, r1215185);
        double r1215187 = r1215183 * r1215186;
        double r1215188 = 77617.0;
        double r1215189 = r1215188 * r1215188;
        double r1215190 = 11.0;
        double r1215191 = r1215190 * r1215189;
        double r1215192 = r1215184 * r1215184;
        double r1215193 = r1215191 * r1215192;
        double r1215194 = -r1215186;
        double r1215195 = r1215193 + r1215194;
        double r1215196 = -121.0;
        double r1215197 = 4.0;
        double r1215198 = pow(r1215184, r1215197);
        double r1215199 = r1215196 * r1215198;
        double r1215200 = r1215195 + r1215199;
        double r1215201 = -2.0;
        double r1215202 = r1215200 + r1215201;
        double r1215203 = r1215189 * r1215202;
        double r1215204 = r1215187 + r1215203;
        double r1215205 = 5.5;
        double r1215206 = 8.0;
        double r1215207 = pow(r1215184, r1215206);
        double r1215208 = r1215205 * r1215207;
        double r1215209 = r1215204 + r1215208;
        double r1215210 = 2.0;
        double r1215211 = r1215210 * r1215184;
        double r1215212 = r1215188 / r1215211;
        double r1215213 = r1215209 + r1215212;
        return r1215213;
}

Reproduce

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