\[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 r2166745 = R;
double r2166746 = 2.0;
double r2166747 = phi1;
double r2166748 = phi2;
double r2166749 = r2166747 - r2166748;
double r2166750 = r2166749 / r2166746;
double r2166751 = sin(r2166750);
double r2166752 = pow(r2166751, r2166746);
double r2166753 = cos(r2166747);
double r2166754 = cos(r2166748);
double r2166755 = r2166753 * r2166754;
double r2166756 = lambda1;
double r2166757 = lambda2;
double r2166758 = r2166756 - r2166757;
double r2166759 = r2166758 / r2166746;
double r2166760 = sin(r2166759);
double r2166761 = r2166755 * r2166760;
double r2166762 = r2166761 * r2166760;
double r2166763 = r2166752 + r2166762;
double r2166764 = sqrt(r2166763);
double r2166765 = 1.0;
double r2166766 = r2166765 - r2166763;
double r2166767 = sqrt(r2166766);
double r2166768 = atan2(r2166764, r2166767);
double r2166769 = r2166746 * r2166768;
double r2166770 = r2166745 * r2166769;
return r2166770;
}