\[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 r10911306 = R;
double r10911307 = 2.0;
double r10911308 = phi1;
double r10911309 = phi2;
double r10911310 = r10911308 - r10911309;
double r10911311 = r10911310 / r10911307;
double r10911312 = sin(r10911311);
double r10911313 = pow(r10911312, r10911307);
double r10911314 = cos(r10911308);
double r10911315 = cos(r10911309);
double r10911316 = r10911314 * r10911315;
double r10911317 = lambda1;
double r10911318 = lambda2;
double r10911319 = r10911317 - r10911318;
double r10911320 = r10911319 / r10911307;
double r10911321 = sin(r10911320);
double r10911322 = r10911316 * r10911321;
double r10911323 = r10911322 * r10911321;
double r10911324 = r10911313 + r10911323;
double r10911325 = sqrt(r10911324);
double r10911326 = 1.0;
double r10911327 = r10911326 - r10911324;
double r10911328 = sqrt(r10911327);
double r10911329 = atan2(r10911325, r10911328);
double r10911330 = r10911307 * r10911329;
double r10911331 = r10911306 * r10911330;
return r10911331;
}