double f(double x, double y, double z, double t) {
double r298052 = x;
double r298053 = 1.0;
double r298054 = r298052 + r298053;
double r298055 = sqrt(r298054);
double r298056 = sqrt(r298052);
double r298057 = r298055 - r298056;
double r298058 = y;
double r298059 = r298058 + r298053;
double r298060 = sqrt(r298059);
double r298061 = sqrt(r298058);
double r298062 = r298060 - r298061;
double r298063 = r298057 + r298062;
double r298064 = z;
double r298065 = r298064 + r298053;
double r298066 = sqrt(r298065);
double r298067 = sqrt(r298064);
double r298068 = r298066 - r298067;
double r298069 = r298063 + r298068;
double r298070 = t;
double r298071 = r298070 + r298053;
double r298072 = sqrt(r298071);
double r298073 = sqrt(r298070);
double r298074 = r298072 - r298073;
double r298075 = r298069 + r298074;
return r298075;
}