double f(double x, double y, double z, double t) {
double r368306 = x;
double r368307 = 1.0;
double r368308 = r368306 + r368307;
double r368309 = sqrt(r368308);
double r368310 = sqrt(r368306);
double r368311 = r368309 - r368310;
double r368312 = y;
double r368313 = r368312 + r368307;
double r368314 = sqrt(r368313);
double r368315 = sqrt(r368312);
double r368316 = r368314 - r368315;
double r368317 = r368311 + r368316;
double r368318 = z;
double r368319 = r368318 + r368307;
double r368320 = sqrt(r368319);
double r368321 = sqrt(r368318);
double r368322 = r368320 - r368321;
double r368323 = r368317 + r368322;
double r368324 = t;
double r368325 = r368324 + r368307;
double r368326 = sqrt(r368325);
double r368327 = sqrt(r368324);
double r368328 = r368326 - r368327;
double r368329 = r368323 + r368328;
return r368329;
}