double f(double lambda1, double phi1, double __attribute__((unused)) phi2, double delta, double theta) {
double r839854 = lambda1;
double r839855 = theta;
double r839856 = sin(r839855);
double r839857 = delta;
double r839858 = sin(r839857);
double r839859 = r839856 * r839858;
double r839860 = phi1;
double r839861 = cos(r839860);
double r839862 = r839859 * r839861;
double r839863 = cos(r839857);
double r839864 = sin(r839860);
double r839865 = r839864 * r839863;
double r839866 = r839861 * r839858;
double r839867 = cos(r839855);
double r839868 = r839866 * r839867;
double r839869 = r839865 + r839868;
double r839870 = asin(r839869);
double r839871 = sin(r839870);
double r839872 = r839864 * r839871;
double r839873 = r839863 - r839872;
double r839874 = atan2(r839862, r839873);
double r839875 = r839854 + r839874;
return r839875;
}