\[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 r1184983 = R;
double r1184984 = 2.0;
double r1184985 = phi1;
double r1184986 = phi2;
double r1184987 = r1184985 - r1184986;
double r1184988 = r1184987 / r1184984;
double r1184989 = sin(r1184988);
double r1184990 = pow(r1184989, r1184984);
double r1184991 = cos(r1184985);
double r1184992 = cos(r1184986);
double r1184993 = r1184991 * r1184992;
double r1184994 = lambda1;
double r1184995 = lambda2;
double r1184996 = r1184994 - r1184995;
double r1184997 = r1184996 / r1184984;
double r1184998 = sin(r1184997);
double r1184999 = r1184993 * r1184998;
double r1185000 = r1184999 * r1184998;
double r1185001 = r1184990 + r1185000;
double r1185002 = sqrt(r1185001);
double r1185003 = 1.0;
double r1185004 = r1185003 - r1185001;
double r1185005 = sqrt(r1185004);
double r1185006 = atan2(r1185002, r1185005);
double r1185007 = r1184984 * r1185006;
double r1185008 = r1184983 * r1185007;
return r1185008;
}