double f(double lambda1, double phi1, double __attribute__((unused)) phi2, double delta, double theta) {
double r15762501 = lambda1;
double r15762502 = theta;
double r15762503 = sin(r15762502);
double r15762504 = delta;
double r15762505 = sin(r15762504);
double r15762506 = r15762503 * r15762505;
double r15762507 = phi1;
double r15762508 = cos(r15762507);
double r15762509 = r15762506 * r15762508;
double r15762510 = cos(r15762504);
double r15762511 = sin(r15762507);
double r15762512 = r15762511 * r15762510;
double r15762513 = r15762508 * r15762505;
double r15762514 = cos(r15762502);
double r15762515 = r15762513 * r15762514;
double r15762516 = r15762512 + r15762515;
double r15762517 = asin(r15762516);
double r15762518 = sin(r15762517);
double r15762519 = r15762511 * r15762518;
double r15762520 = r15762510 - r15762519;
double r15762521 = atan2(r15762509, r15762520);
double r15762522 = r15762501 + r15762521;
return r15762522;
}