\[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 r12469519 = R;
double r12469520 = 2.0;
double r12469521 = phi1;
double r12469522 = phi2;
double r12469523 = r12469521 - r12469522;
double r12469524 = r12469523 / r12469520;
double r12469525 = sin(r12469524);
double r12469526 = pow(r12469525, r12469520);
double r12469527 = cos(r12469521);
double r12469528 = cos(r12469522);
double r12469529 = r12469527 * r12469528;
double r12469530 = lambda1;
double r12469531 = lambda2;
double r12469532 = r12469530 - r12469531;
double r12469533 = r12469532 / r12469520;
double r12469534 = sin(r12469533);
double r12469535 = r12469529 * r12469534;
double r12469536 = r12469535 * r12469534;
double r12469537 = r12469526 + r12469536;
double r12469538 = sqrt(r12469537);
double r12469539 = 1.0;
double r12469540 = r12469539 - r12469537;
double r12469541 = sqrt(r12469540);
double r12469542 = atan2(r12469538, r12469541);
double r12469543 = r12469520 * r12469542;
double r12469544 = r12469519 * r12469543;
return r12469544;
}