double f(double lambda1, double phi1, double __attribute__((unused)) phi2, double delta, double theta) {
double r584956 = lambda1;
double r584957 = theta;
double r584958 = sin(r584957);
double r584959 = delta;
double r584960 = sin(r584959);
double r584961 = r584958 * r584960;
double r584962 = phi1;
double r584963 = cos(r584962);
double r584964 = r584961 * r584963;
double r584965 = cos(r584959);
double r584966 = sin(r584962);
double r584967 = r584966 * r584965;
double r584968 = r584963 * r584960;
double r584969 = cos(r584957);
double r584970 = r584968 * r584969;
double r584971 = r584967 + r584970;
double r584972 = asin(r584971);
double r584973 = sin(r584972);
double r584974 = r584966 * r584973;
double r584975 = r584965 - r584974;
double r584976 = atan2(r584964, r584975);
double r584977 = r584956 + r584976;
return r584977;
}