double f(double x, double y, double z, double t) {
double r381214 = x;
double r381215 = 1.0;
double r381216 = r381214 + r381215;
double r381217 = sqrt(r381216);
double r381218 = sqrt(r381214);
double r381219 = r381217 - r381218;
double r381220 = y;
double r381221 = r381220 + r381215;
double r381222 = sqrt(r381221);
double r381223 = sqrt(r381220);
double r381224 = r381222 - r381223;
double r381225 = r381219 + r381224;
double r381226 = z;
double r381227 = r381226 + r381215;
double r381228 = sqrt(r381227);
double r381229 = sqrt(r381226);
double r381230 = r381228 - r381229;
double r381231 = r381225 + r381230;
double r381232 = t;
double r381233 = r381232 + r381215;
double r381234 = sqrt(r381233);
double r381235 = sqrt(r381232);
double r381236 = r381234 - r381235;
double r381237 = r381231 + r381236;
return r381237;
}