double f(double x, double y, double z, double t) {
double r432348 = x;
double r432349 = 1.0;
double r432350 = r432348 + r432349;
double r432351 = sqrt(r432350);
double r432352 = sqrt(r432348);
double r432353 = r432351 - r432352;
double r432354 = y;
double r432355 = r432354 + r432349;
double r432356 = sqrt(r432355);
double r432357 = sqrt(r432354);
double r432358 = r432356 - r432357;
double r432359 = r432353 + r432358;
double r432360 = z;
double r432361 = r432360 + r432349;
double r432362 = sqrt(r432361);
double r432363 = sqrt(r432360);
double r432364 = r432362 - r432363;
double r432365 = r432359 + r432364;
double r432366 = t;
double r432367 = r432366 + r432349;
double r432368 = sqrt(r432367);
double r432369 = sqrt(r432366);
double r432370 = r432368 - r432369;
double r432371 = r432365 + r432370;
return r432371;
}