\[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 r2309493 = R;
double r2309494 = 2.0;
double r2309495 = phi1;
double r2309496 = phi2;
double r2309497 = r2309495 - r2309496;
double r2309498 = r2309497 / r2309494;
double r2309499 = sin(r2309498);
double r2309500 = pow(r2309499, r2309494);
double r2309501 = cos(r2309495);
double r2309502 = cos(r2309496);
double r2309503 = r2309501 * r2309502;
double r2309504 = lambda1;
double r2309505 = lambda2;
double r2309506 = r2309504 - r2309505;
double r2309507 = r2309506 / r2309494;
double r2309508 = sin(r2309507);
double r2309509 = r2309503 * r2309508;
double r2309510 = r2309509 * r2309508;
double r2309511 = r2309500 + r2309510;
double r2309512 = sqrt(r2309511);
double r2309513 = 1.0;
double r2309514 = r2309513 - r2309511;
double r2309515 = sqrt(r2309514);
double r2309516 = atan2(r2309512, r2309515);
double r2309517 = r2309494 * r2309516;
double r2309518 = r2309493 * r2309517;
return r2309518;
}