Timeout in 10.0m

Use the --timeout flag to change the timeout.

\[x1 + \left(\left(\left(\left(\left(\left(\left(2 \cdot x1\right) \cdot \frac{\left(\left(3 \cdot x1\right) \cdot x1 + 2 \cdot x2\right) - x1}{x1 \cdot x1 + 1}\right) \cdot \left(\frac{\left(\left(3 \cdot x1\right) \cdot x1 + 2 \cdot x2\right) - x1}{x1 \cdot x1 + 1} - 3\right) + \left(x1 \cdot x1\right) \cdot \left(4 \cdot \frac{\left(\left(3 \cdot x1\right) \cdot x1 + 2 \cdot x2\right) - x1}{x1 \cdot x1 + 1} - 6\right)\right) \cdot \left(x1 \cdot x1 + 1\right) + \left(\left(3 \cdot x1\right) \cdot x1\right) \cdot \frac{\left(\left(3 \cdot x1\right) \cdot x1 + 2 \cdot x2\right) - x1}{x1 \cdot x1 + 1}\right) + \left(x1 \cdot x1\right) \cdot x1\right) + x1\right) + 3 \cdot \frac{\left(\left(3 \cdot x1\right) \cdot x1 - 2 \cdot x2\right) - x1}{x1 \cdot x1 + 1}\right)\]
x1 + \left(\left(\left(\left(\left(\left(\left(2 \cdot x1\right) \cdot \frac{\left(\left(3 \cdot x1\right) \cdot x1 + 2 \cdot x2\right) - x1}{x1 \cdot x1 + 1}\right) \cdot \left(\frac{\left(\left(3 \cdot x1\right) \cdot x1 + 2 \cdot x2\right) - x1}{x1 \cdot x1 + 1} - 3\right) + \left(x1 \cdot x1\right) \cdot \left(4 \cdot \frac{\left(\left(3 \cdot x1\right) \cdot x1 + 2 \cdot x2\right) - x1}{x1 \cdot x1 + 1} - 6\right)\right) \cdot \left(x1 \cdot x1 + 1\right) + \left(\left(3 \cdot x1\right) \cdot x1\right) \cdot \frac{\left(\left(3 \cdot x1\right) \cdot x1 + 2 \cdot x2\right) - x1}{x1 \cdot x1 + 1}\right) + \left(x1 \cdot x1\right) \cdot x1\right) + x1\right) + 3 \cdot \frac{\left(\left(3 \cdot x1\right) \cdot x1 - 2 \cdot x2\right) - x1}{x1 \cdot x1 + 1}\right)
double f(double x1, double x2) {
        double r1565246 = x1;
        double r1565247 = 2.0;
        double r1565248 = r1565247 * r1565246;
        double r1565249 = 3.0;
        double r1565250 = r1565249 * r1565246;
        double r1565251 = r1565250 * r1565246;
        double r1565252 = x2;
        double r1565253 = r1565247 * r1565252;
        double r1565254 = r1565251 + r1565253;
        double r1565255 = r1565254 - r1565246;
        double r1565256 = r1565246 * r1565246;
        double r1565257 = 1.0;
        double r1565258 = r1565256 + r1565257;
        double r1565259 = r1565255 / r1565258;
        double r1565260 = r1565248 * r1565259;
        double r1565261 = r1565259 - r1565249;
        double r1565262 = r1565260 * r1565261;
        double r1565263 = 4.0;
        double r1565264 = r1565263 * r1565259;
        double r1565265 = 6.0;
        double r1565266 = r1565264 - r1565265;
        double r1565267 = r1565256 * r1565266;
        double r1565268 = r1565262 + r1565267;
        double r1565269 = r1565268 * r1565258;
        double r1565270 = r1565251 * r1565259;
        double r1565271 = r1565269 + r1565270;
        double r1565272 = r1565256 * r1565246;
        double r1565273 = r1565271 + r1565272;
        double r1565274 = r1565273 + r1565246;
        double r1565275 = r1565251 - r1565253;
        double r1565276 = r1565275 - r1565246;
        double r1565277 = r1565276 / r1565258;
        double r1565278 = r1565249 * r1565277;
        double r1565279 = r1565274 + r1565278;
        double r1565280 = r1565246 + r1565279;
        return r1565280;
}

Reproduce

herbie shell --seed 2019158 
(FPCore (x1 x2)
  :name "Rosa's FloatVsDoubleBenchmark"
  (+ x1 (+ (+ (+ (+ (* (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (+ (* x1 x1) 1)) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* (* x1 x1) x1)) x1) (* 3 (/ (- (- (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))))))