\[R \cdot \left(2 \cdot \tan^{-1}_* \frac{\sqrt{{\left(\sin \left(\frac{\phi_1 - \phi_2}{2}\right)\right)}^{2} + \left(\left(\cos \phi_1 \cdot \cos \phi_2\right) \cdot \sin \left(\frac{\lambda_1 - \lambda_2}{2}\right)\right) \cdot \sin \left(\frac{\lambda_1 - \lambda_2}{2}\right)}}{\sqrt{1 - \left({\left(\sin \left(\frac{\phi_1 - \phi_2}{2}\right)\right)}^{2} + \left(\left(\cos \phi_1 \cdot \cos \phi_2\right) \cdot \sin \left(\frac{\lambda_1 - \lambda_2}{2}\right)\right) \cdot \sin \left(\frac{\lambda_1 - \lambda_2}{2}\right)\right)}}\right)\]
R \cdot \left(2 \cdot \tan^{-1}_* \frac{\sqrt{{\left(\sin \left(\frac{\phi_1 - \phi_2}{2}\right)\right)}^{2} + \left(\left(\cos \phi_1 \cdot \cos \phi_2\right) \cdot \sin \left(\frac{\lambda_1 - \lambda_2}{2}\right)\right) \cdot \sin \left(\frac{\lambda_1 - \lambda_2}{2}\right)}}{\sqrt{1 - \left({\left(\sin \left(\frac{\phi_1 - \phi_2}{2}\right)\right)}^{2} + \left(\left(\cos \phi_1 \cdot \cos \phi_2\right) \cdot \sin \left(\frac{\lambda_1 - \lambda_2}{2}\right)\right) \cdot \sin \left(\frac{\lambda_1 - \lambda_2}{2}\right)\right)}}\right)double f(double R, double lambda1, double lambda2, double phi1, double phi2) {
double r5933247 = R;
double r5933248 = 2.0;
double r5933249 = phi1;
double r5933250 = phi2;
double r5933251 = r5933249 - r5933250;
double r5933252 = r5933251 / r5933248;
double r5933253 = sin(r5933252);
double r5933254 = pow(r5933253, r5933248);
double r5933255 = cos(r5933249);
double r5933256 = cos(r5933250);
double r5933257 = r5933255 * r5933256;
double r5933258 = lambda1;
double r5933259 = lambda2;
double r5933260 = r5933258 - r5933259;
double r5933261 = r5933260 / r5933248;
double r5933262 = sin(r5933261);
double r5933263 = r5933257 * r5933262;
double r5933264 = r5933263 * r5933262;
double r5933265 = r5933254 + r5933264;
double r5933266 = sqrt(r5933265);
double r5933267 = 1.0;
double r5933268 = r5933267 - r5933265;
double r5933269 = sqrt(r5933268);
double r5933270 = atan2(r5933266, r5933269);
double r5933271 = r5933248 * r5933270;
double r5933272 = r5933247 * r5933271;
return r5933272;
}