\[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 r6818606 = R;
double r6818607 = 2.0;
double r6818608 = phi1;
double r6818609 = phi2;
double r6818610 = r6818608 - r6818609;
double r6818611 = r6818610 / r6818607;
double r6818612 = sin(r6818611);
double r6818613 = pow(r6818612, r6818607);
double r6818614 = cos(r6818608);
double r6818615 = cos(r6818609);
double r6818616 = r6818614 * r6818615;
double r6818617 = lambda1;
double r6818618 = lambda2;
double r6818619 = r6818617 - r6818618;
double r6818620 = r6818619 / r6818607;
double r6818621 = sin(r6818620);
double r6818622 = r6818616 * r6818621;
double r6818623 = r6818622 * r6818621;
double r6818624 = r6818613 + r6818623;
double r6818625 = sqrt(r6818624);
double r6818626 = 1.0;
double r6818627 = r6818626 - r6818624;
double r6818628 = sqrt(r6818627);
double r6818629 = atan2(r6818625, r6818628);
double r6818630 = r6818607 * r6818629;
double r6818631 = r6818606 * r6818630;
return r6818631;
}