double f(double x, double y, double z, double t) {
double r393035 = x;
double r393036 = 1.0;
double r393037 = r393035 + r393036;
double r393038 = sqrt(r393037);
double r393039 = sqrt(r393035);
double r393040 = r393038 - r393039;
double r393041 = y;
double r393042 = r393041 + r393036;
double r393043 = sqrt(r393042);
double r393044 = sqrt(r393041);
double r393045 = r393043 - r393044;
double r393046 = r393040 + r393045;
double r393047 = z;
double r393048 = r393047 + r393036;
double r393049 = sqrt(r393048);
double r393050 = sqrt(r393047);
double r393051 = r393049 - r393050;
double r393052 = r393046 + r393051;
double r393053 = t;
double r393054 = r393053 + r393036;
double r393055 = sqrt(r393054);
double r393056 = sqrt(r393053);
double r393057 = r393055 - r393056;
double r393058 = r393052 + r393057;
return r393058;
}