double f(double x, double y, double z, double t) {
double r24922010 = x;
double r24922011 = 1.0;
double r24922012 = r24922010 + r24922011;
double r24922013 = sqrt(r24922012);
double r24922014 = sqrt(r24922010);
double r24922015 = r24922013 - r24922014;
double r24922016 = y;
double r24922017 = r24922016 + r24922011;
double r24922018 = sqrt(r24922017);
double r24922019 = sqrt(r24922016);
double r24922020 = r24922018 - r24922019;
double r24922021 = r24922015 + r24922020;
double r24922022 = z;
double r24922023 = r24922022 + r24922011;
double r24922024 = sqrt(r24922023);
double r24922025 = sqrt(r24922022);
double r24922026 = r24922024 - r24922025;
double r24922027 = r24922021 + r24922026;
double r24922028 = t;
double r24922029 = r24922028 + r24922011;
double r24922030 = sqrt(r24922029);
double r24922031 = sqrt(r24922028);
double r24922032 = r24922030 - r24922031;
double r24922033 = r24922027 + r24922032;
return r24922033;
}