double f(double x, double y, double z, double t) {
double r349544 = x;
double r349545 = 1.0;
double r349546 = r349544 + r349545;
double r349547 = sqrt(r349546);
double r349548 = sqrt(r349544);
double r349549 = r349547 - r349548;
double r349550 = y;
double r349551 = r349550 + r349545;
double r349552 = sqrt(r349551);
double r349553 = sqrt(r349550);
double r349554 = r349552 - r349553;
double r349555 = r349549 + r349554;
double r349556 = z;
double r349557 = r349556 + r349545;
double r349558 = sqrt(r349557);
double r349559 = sqrt(r349556);
double r349560 = r349558 - r349559;
double r349561 = r349555 + r349560;
double r349562 = t;
double r349563 = r349562 + r349545;
double r349564 = sqrt(r349563);
double r349565 = sqrt(r349562);
double r349566 = r349564 - r349565;
double r349567 = r349561 + r349566;
return r349567;
}