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 r47165372 = th;
        double r47165373 = cos(r47165372);
        double r47165374 = 2.0;
        double r47165375 = sqrt(r47165374);
        double r47165376 = r47165373 / r47165375;
        double r47165377 = a1;
        double r47165378 = r47165377 * r47165377;
        double r47165379 = r47165376 * r47165378;
        double r47165380 = a2;
        double r47165381 = r47165380 * r47165380;
        double r47165382 = r47165376 * r47165381;
        double r47165383 = r47165379 + r47165382;
        return r47165383;
}

Reproduce

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