\[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 r7675105 = R;
double r7675106 = 2.0;
double r7675107 = phi1;
double r7675108 = phi2;
double r7675109 = r7675107 - r7675108;
double r7675110 = r7675109 / r7675106;
double r7675111 = sin(r7675110);
double r7675112 = pow(r7675111, r7675106);
double r7675113 = cos(r7675107);
double r7675114 = cos(r7675108);
double r7675115 = r7675113 * r7675114;
double r7675116 = lambda1;
double r7675117 = lambda2;
double r7675118 = r7675116 - r7675117;
double r7675119 = r7675118 / r7675106;
double r7675120 = sin(r7675119);
double r7675121 = r7675115 * r7675120;
double r7675122 = r7675121 * r7675120;
double r7675123 = r7675112 + r7675122;
double r7675124 = sqrt(r7675123);
double r7675125 = 1.0;
double r7675126 = r7675125 - r7675123;
double r7675127 = sqrt(r7675126);
double r7675128 = atan2(r7675124, r7675127);
double r7675129 = r7675106 * r7675128;
double r7675130 = r7675105 * r7675129;
return r7675130;
}