double f(double x, double y, double z, double t) {
double r390154 = x;
double r390155 = 1.0;
double r390156 = r390154 + r390155;
double r390157 = sqrt(r390156);
double r390158 = sqrt(r390154);
double r390159 = r390157 - r390158;
double r390160 = y;
double r390161 = r390160 + r390155;
double r390162 = sqrt(r390161);
double r390163 = sqrt(r390160);
double r390164 = r390162 - r390163;
double r390165 = r390159 + r390164;
double r390166 = z;
double r390167 = r390166 + r390155;
double r390168 = sqrt(r390167);
double r390169 = sqrt(r390166);
double r390170 = r390168 - r390169;
double r390171 = r390165 + r390170;
double r390172 = t;
double r390173 = r390172 + r390155;
double r390174 = sqrt(r390173);
double r390175 = sqrt(r390172);
double r390176 = r390174 - r390175;
double r390177 = r390171 + r390176;
return r390177;
}