double f(double x, double y, double z, double t) {
double r744299 = x;
double r744300 = 1.0;
double r744301 = r744299 + r744300;
double r744302 = sqrt(r744301);
double r744303 = sqrt(r744299);
double r744304 = r744302 - r744303;
double r744305 = y;
double r744306 = r744305 + r744300;
double r744307 = sqrt(r744306);
double r744308 = sqrt(r744305);
double r744309 = r744307 - r744308;
double r744310 = r744304 + r744309;
double r744311 = z;
double r744312 = r744311 + r744300;
double r744313 = sqrt(r744312);
double r744314 = sqrt(r744311);
double r744315 = r744313 - r744314;
double r744316 = r744310 + r744315;
double r744317 = t;
double r744318 = r744317 + r744300;
double r744319 = sqrt(r744318);
double r744320 = sqrt(r744317);
double r744321 = r744319 - r744320;
double r744322 = r744316 + r744321;
return r744322;
}