double f(double x, double y, double z, double t) {
double r436280 = x;
double r436281 = 1.0;
double r436282 = r436280 + r436281;
double r436283 = sqrt(r436282);
double r436284 = sqrt(r436280);
double r436285 = r436283 - r436284;
double r436286 = y;
double r436287 = r436286 + r436281;
double r436288 = sqrt(r436287);
double r436289 = sqrt(r436286);
double r436290 = r436288 - r436289;
double r436291 = r436285 + r436290;
double r436292 = z;
double r436293 = r436292 + r436281;
double r436294 = sqrt(r436293);
double r436295 = sqrt(r436292);
double r436296 = r436294 - r436295;
double r436297 = r436291 + r436296;
double r436298 = t;
double r436299 = r436298 + r436281;
double r436300 = sqrt(r436299);
double r436301 = sqrt(r436298);
double r436302 = r436300 - r436301;
double r436303 = r436297 + r436302;
return r436303;
}