double f(double x, double y, double z, double t) {
double r543285 = x;
double r543286 = 1.0;
double r543287 = r543285 + r543286;
double r543288 = sqrt(r543287);
double r543289 = sqrt(r543285);
double r543290 = r543288 - r543289;
double r543291 = y;
double r543292 = r543291 + r543286;
double r543293 = sqrt(r543292);
double r543294 = sqrt(r543291);
double r543295 = r543293 - r543294;
double r543296 = r543290 + r543295;
double r543297 = z;
double r543298 = r543297 + r543286;
double r543299 = sqrt(r543298);
double r543300 = sqrt(r543297);
double r543301 = r543299 - r543300;
double r543302 = r543296 + r543301;
double r543303 = t;
double r543304 = r543303 + r543286;
double r543305 = sqrt(r543304);
double r543306 = sqrt(r543303);
double r543307 = r543305 - r543306;
double r543308 = r543302 + r543307;
return r543308;
}