\[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 r12283382 = R;
double r12283383 = 2.0;
double r12283384 = phi1;
double r12283385 = phi2;
double r12283386 = r12283384 - r12283385;
double r12283387 = r12283386 / r12283383;
double r12283388 = sin(r12283387);
double r12283389 = pow(r12283388, r12283383);
double r12283390 = cos(r12283384);
double r12283391 = cos(r12283385);
double r12283392 = r12283390 * r12283391;
double r12283393 = lambda1;
double r12283394 = lambda2;
double r12283395 = r12283393 - r12283394;
double r12283396 = r12283395 / r12283383;
double r12283397 = sin(r12283396);
double r12283398 = r12283392 * r12283397;
double r12283399 = r12283398 * r12283397;
double r12283400 = r12283389 + r12283399;
double r12283401 = sqrt(r12283400);
double r12283402 = 1.0;
double r12283403 = r12283402 - r12283400;
double r12283404 = sqrt(r12283403);
double r12283405 = atan2(r12283401, r12283404);
double r12283406 = r12283383 * r12283405;
double r12283407 = r12283382 * r12283406;
return r12283407;
}