Timeout in 10.0m

Use the --timeout flag to change the timeout.

\[\left({\left(a \cdot a + b \cdot b\right)}^{2} + 4 \cdot \left(\left(a \cdot a\right) \cdot \left(1 + a\right) + \left(b \cdot b\right) \cdot \left(1 - 3 \cdot a\right)\right)\right) - 1\]
\left({\left(a \cdot a + b \cdot b\right)}^{2} + 4 \cdot \left(\left(a \cdot a\right) \cdot \left(1 + a\right) + \left(b \cdot b\right) \cdot \left(1 - 3 \cdot a\right)\right)\right) - 1
double f(double a, double b) {
        double r1947986 = a;
        double r1947987 = r1947986 * r1947986;
        double r1947988 = b;
        double r1947989 = r1947988 * r1947988;
        double r1947990 = r1947987 + r1947989;
        double r1947991 = 2.0;
        double r1947992 = pow(r1947990, r1947991);
        double r1947993 = 4.0;
        double r1947994 = 1.0;
        double r1947995 = r1947994 + r1947986;
        double r1947996 = r1947987 * r1947995;
        double r1947997 = 3.0;
        double r1947998 = r1947997 * r1947986;
        double r1947999 = r1947994 - r1947998;
        double r1948000 = r1947989 * r1947999;
        double r1948001 = r1947996 + r1948000;
        double r1948002 = r1947993 * r1948001;
        double r1948003 = r1947992 + r1948002;
        double r1948004 = r1948003 - r1947994;
        return r1948004;
}

Reproduce

herbie shell --seed 2019195 
(FPCore (a b)
  :name "Bouland and Aaronson, Equation (25)"
  (- (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (+ (* (* a a) (+ 1.0 a)) (* (* b b) (- 1.0 (* 3.0 a)))))) 1.0))