double f(double x, double y, double z, double t) {
double r459186 = x;
double r459187 = 1.0;
double r459188 = r459186 + r459187;
double r459189 = sqrt(r459188);
double r459190 = sqrt(r459186);
double r459191 = r459189 - r459190;
double r459192 = y;
double r459193 = r459192 + r459187;
double r459194 = sqrt(r459193);
double r459195 = sqrt(r459192);
double r459196 = r459194 - r459195;
double r459197 = r459191 + r459196;
double r459198 = z;
double r459199 = r459198 + r459187;
double r459200 = sqrt(r459199);
double r459201 = sqrt(r459198);
double r459202 = r459200 - r459201;
double r459203 = r459197 + r459202;
double r459204 = t;
double r459205 = r459204 + r459187;
double r459206 = sqrt(r459205);
double r459207 = sqrt(r459204);
double r459208 = r459206 - r459207;
double r459209 = r459203 + r459208;
return r459209;
}