\[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 r9329457 = R;
double r9329458 = 2.0;
double r9329459 = phi1;
double r9329460 = phi2;
double r9329461 = r9329459 - r9329460;
double r9329462 = r9329461 / r9329458;
double r9329463 = sin(r9329462);
double r9329464 = pow(r9329463, r9329458);
double r9329465 = cos(r9329459);
double r9329466 = cos(r9329460);
double r9329467 = r9329465 * r9329466;
double r9329468 = lambda1;
double r9329469 = lambda2;
double r9329470 = r9329468 - r9329469;
double r9329471 = r9329470 / r9329458;
double r9329472 = sin(r9329471);
double r9329473 = r9329467 * r9329472;
double r9329474 = r9329473 * r9329472;
double r9329475 = r9329464 + r9329474;
double r9329476 = sqrt(r9329475);
double r9329477 = 1.0;
double r9329478 = r9329477 - r9329475;
double r9329479 = sqrt(r9329478);
double r9329480 = atan2(r9329476, r9329479);
double r9329481 = r9329458 * r9329480;
double r9329482 = r9329457 * r9329481;
return r9329482;
}