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 r56603651 = x1;
        double r56603652 = 2.0;
        double r56603653 = r56603652 * r56603651;
        double r56603654 = 3.0;
        double r56603655 = r56603654 * r56603651;
        double r56603656 = r56603655 * r56603651;
        double r56603657 = x2;
        double r56603658 = r56603652 * r56603657;
        double r56603659 = r56603656 + r56603658;
        double r56603660 = r56603659 - r56603651;
        double r56603661 = r56603651 * r56603651;
        double r56603662 = 1.0;
        double r56603663 = r56603661 + r56603662;
        double r56603664 = r56603660 / r56603663;
        double r56603665 = r56603653 * r56603664;
        double r56603666 = r56603664 - r56603654;
        double r56603667 = r56603665 * r56603666;
        double r56603668 = 4.0;
        double r56603669 = r56603668 * r56603664;
        double r56603670 = 6.0;
        double r56603671 = r56603669 - r56603670;
        double r56603672 = r56603661 * r56603671;
        double r56603673 = r56603667 + r56603672;
        double r56603674 = r56603673 * r56603663;
        double r56603675 = r56603656 * r56603664;
        double r56603676 = r56603674 + r56603675;
        double r56603677 = r56603661 * r56603651;
        double r56603678 = r56603676 + r56603677;
        double r56603679 = r56603678 + r56603651;
        double r56603680 = r56603656 - r56603658;
        double r56603681 = r56603680 - r56603651;
        double r56603682 = r56603681 / r56603663;
        double r56603683 = r56603654 * r56603682;
        double r56603684 = r56603679 + r56603683;
        double r56603685 = r56603651 + r56603684;
        return r56603685;
}

Reproduce

herbie shell --seed 2019170 
(FPCore (x1 x2)
  :name "Rosa's FloatVsDoubleBenchmark"
  (+ x1 (+ (+ (+ (+ (* (+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))) (+ (* x1 x1) 1.0)) (* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))) (* (* x1 x1) x1)) x1) (* 3.0 (/ (- (- (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))))))