double f(double x, double y, double z, double t) {
double r434029 = x;
double r434030 = 1.0;
double r434031 = r434029 + r434030;
double r434032 = sqrt(r434031);
double r434033 = sqrt(r434029);
double r434034 = r434032 - r434033;
double r434035 = y;
double r434036 = r434035 + r434030;
double r434037 = sqrt(r434036);
double r434038 = sqrt(r434035);
double r434039 = r434037 - r434038;
double r434040 = r434034 + r434039;
double r434041 = z;
double r434042 = r434041 + r434030;
double r434043 = sqrt(r434042);
double r434044 = sqrt(r434041);
double r434045 = r434043 - r434044;
double r434046 = r434040 + r434045;
double r434047 = t;
double r434048 = r434047 + r434030;
double r434049 = sqrt(r434048);
double r434050 = sqrt(r434047);
double r434051 = r434049 - r434050;
double r434052 = r434046 + r434051;
return r434052;
}