Timeout in 10.0m

Use the --timeout flag to change the timeout.

\[R \cdot \sqrt{\left(\left(\lambda_1 - \lambda_2\right) \cdot \cos \left(\frac{\phi_1 + \phi_2}{2}\right)\right) \cdot \left(\left(\lambda_1 - \lambda_2\right) \cdot \cos \left(\frac{\phi_1 + \phi_2}{2}\right)\right) + \left(\phi_1 - \phi_2\right) \cdot \left(\phi_1 - \phi_2\right)}\]
R \cdot \sqrt{\left(\left(\lambda_1 - \lambda_2\right) \cdot \cos \left(\frac{\phi_1 + \phi_2}{2}\right)\right) \cdot \left(\left(\lambda_1 - \lambda_2\right) \cdot \cos \left(\frac{\phi_1 + \phi_2}{2}\right)\right) + \left(\phi_1 - \phi_2\right) \cdot \left(\phi_1 - \phi_2\right)}
double f(double R, double lambda1, double lambda2, double phi1, double phi2) {
        double r12022983 = R;
        double r12022984 = lambda1;
        double r12022985 = lambda2;
        double r12022986 = r12022984 - r12022985;
        double r12022987 = phi1;
        double r12022988 = phi2;
        double r12022989 = r12022987 + r12022988;
        double r12022990 = 2.0;
        double r12022991 = r12022989 / r12022990;
        double r12022992 = cos(r12022991);
        double r12022993 = r12022986 * r12022992;
        double r12022994 = r12022993 * r12022993;
        double r12022995 = r12022987 - r12022988;
        double r12022996 = r12022995 * r12022995;
        double r12022997 = r12022994 + r12022996;
        double r12022998 = sqrt(r12022997);
        double r12022999 = r12022983 * r12022998;
        return r12022999;
}

Reproduce

herbie shell --seed 2019129 
(FPCore (R lambda1 lambda2 phi1 phi2)
  :name "Equirectangular approximation to distance on a great circle"
  (* R (sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (- phi1 phi2) (- phi1 phi2))))))