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 r110597982 = x1;
        double r110597983 = 2.0;
        double r110597984 = r110597983 * r110597982;
        double r110597985 = 3.0;
        double r110597986 = r110597985 * r110597982;
        double r110597987 = r110597986 * r110597982;
        double r110597988 = x2;
        double r110597989 = r110597983 * r110597988;
        double r110597990 = r110597987 + r110597989;
        double r110597991 = r110597990 - r110597982;
        double r110597992 = r110597982 * r110597982;
        double r110597993 = 1.0;
        double r110597994 = r110597992 + r110597993;
        double r110597995 = r110597991 / r110597994;
        double r110597996 = r110597984 * r110597995;
        double r110597997 = r110597995 - r110597985;
        double r110597998 = r110597996 * r110597997;
        double r110597999 = 4.0;
        double r110598000 = r110597999 * r110597995;
        double r110598001 = 6.0;
        double r110598002 = r110598000 - r110598001;
        double r110598003 = r110597992 * r110598002;
        double r110598004 = r110597998 + r110598003;
        double r110598005 = r110598004 * r110597994;
        double r110598006 = r110597987 * r110597995;
        double r110598007 = r110598005 + r110598006;
        double r110598008 = r110597992 * r110597982;
        double r110598009 = r110598007 + r110598008;
        double r110598010 = r110598009 + r110597982;
        double r110598011 = r110597987 - r110597989;
        double r110598012 = r110598011 - r110597982;
        double r110598013 = r110598012 / r110597994;
        double r110598014 = r110597985 * r110598013;
        double r110598015 = r110598010 + r110598014;
        double r110598016 = r110597982 + r110598015;
        return r110598016;
}

Reproduce

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