Timeout in 10.0m

Use the --timeout flag to change the timeout.

\[\frac{\cos th}{\sqrt{2}} \cdot \left(a1 \cdot a1\right) + \frac{\cos th}{\sqrt{2}} \cdot \left(a2 \cdot a2\right)\]
\frac{\cos th}{\sqrt{2}} \cdot \left(a1 \cdot a1\right) + \frac{\cos th}{\sqrt{2}} \cdot \left(a2 \cdot a2\right)
double f(double a1, double a2, double th) {
        double r54825023 = th;
        double r54825024 = cos(r54825023);
        double r54825025 = 2.0;
        double r54825026 = sqrt(r54825025);
        double r54825027 = r54825024 / r54825026;
        double r54825028 = a1;
        double r54825029 = r54825028 * r54825028;
        double r54825030 = r54825027 * r54825029;
        double r54825031 = a2;
        double r54825032 = r54825031 * r54825031;
        double r54825033 = r54825027 * r54825032;
        double r54825034 = r54825030 + r54825033;
        return r54825034;
}

Reproduce

herbie shell --seed 2019125 
(FPCore (a1 a2 th)
  :name "Migdal et al, Equation (64)"
  (+ (* (/ (cos th) (sqrt 2)) (* a1 a1)) (* (/ (cos th) (sqrt 2)) (* a2 a2))))