double f(double x, double y, double z, double t) {
double r23796399 = x;
double r23796400 = 1.0;
double r23796401 = r23796399 + r23796400;
double r23796402 = sqrt(r23796401);
double r23796403 = sqrt(r23796399);
double r23796404 = r23796402 - r23796403;
double r23796405 = y;
double r23796406 = r23796405 + r23796400;
double r23796407 = sqrt(r23796406);
double r23796408 = sqrt(r23796405);
double r23796409 = r23796407 - r23796408;
double r23796410 = r23796404 + r23796409;
double r23796411 = z;
double r23796412 = r23796411 + r23796400;
double r23796413 = sqrt(r23796412);
double r23796414 = sqrt(r23796411);
double r23796415 = r23796413 - r23796414;
double r23796416 = r23796410 + r23796415;
double r23796417 = t;
double r23796418 = r23796417 + r23796400;
double r23796419 = sqrt(r23796418);
double r23796420 = sqrt(r23796417);
double r23796421 = r23796419 - r23796420;
double r23796422 = r23796416 + r23796421;
return r23796422;
}