double f(double x, double y, double z, double t) {
double r435205 = x;
double r435206 = 1.0;
double r435207 = r435205 + r435206;
double r435208 = sqrt(r435207);
double r435209 = sqrt(r435205);
double r435210 = r435208 - r435209;
double r435211 = y;
double r435212 = r435211 + r435206;
double r435213 = sqrt(r435212);
double r435214 = sqrt(r435211);
double r435215 = r435213 - r435214;
double r435216 = r435210 + r435215;
double r435217 = z;
double r435218 = r435217 + r435206;
double r435219 = sqrt(r435218);
double r435220 = sqrt(r435217);
double r435221 = r435219 - r435220;
double r435222 = r435216 + r435221;
double r435223 = t;
double r435224 = r435223 + r435206;
double r435225 = sqrt(r435224);
double r435226 = sqrt(r435223);
double r435227 = r435225 - r435226;
double r435228 = r435222 + r435227;
return r435228;
}