\[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 r1943444 = R;
double r1943445 = 2.0;
double r1943446 = phi1;
double r1943447 = phi2;
double r1943448 = r1943446 - r1943447;
double r1943449 = r1943448 / r1943445;
double r1943450 = sin(r1943449);
double r1943451 = pow(r1943450, r1943445);
double r1943452 = cos(r1943446);
double r1943453 = cos(r1943447);
double r1943454 = r1943452 * r1943453;
double r1943455 = lambda1;
double r1943456 = lambda2;
double r1943457 = r1943455 - r1943456;
double r1943458 = r1943457 / r1943445;
double r1943459 = sin(r1943458);
double r1943460 = r1943454 * r1943459;
double r1943461 = r1943460 * r1943459;
double r1943462 = r1943451 + r1943461;
double r1943463 = sqrt(r1943462);
double r1943464 = 1.0;
double r1943465 = r1943464 - r1943462;
double r1943466 = sqrt(r1943465);
double r1943467 = atan2(r1943463, r1943466);
double r1943468 = r1943445 * r1943467;
double r1943469 = r1943444 * r1943468;
return r1943469;
}