double f(double x, double y, double z, double t) {
double r484532 = x;
double r484533 = 1.0;
double r484534 = r484532 + r484533;
double r484535 = sqrt(r484534);
double r484536 = sqrt(r484532);
double r484537 = r484535 - r484536;
double r484538 = y;
double r484539 = r484538 + r484533;
double r484540 = sqrt(r484539);
double r484541 = sqrt(r484538);
double r484542 = r484540 - r484541;
double r484543 = r484537 + r484542;
double r484544 = z;
double r484545 = r484544 + r484533;
double r484546 = sqrt(r484545);
double r484547 = sqrt(r484544);
double r484548 = r484546 - r484547;
double r484549 = r484543 + r484548;
double r484550 = t;
double r484551 = r484550 + r484533;
double r484552 = sqrt(r484551);
double r484553 = sqrt(r484550);
double r484554 = r484552 - r484553;
double r484555 = r484549 + r484554;
return r484555;
}