double f(double x, double y, double z, double t) {
double r25771929 = x;
double r25771930 = 1.0;
double r25771931 = r25771929 + r25771930;
double r25771932 = sqrt(r25771931);
double r25771933 = sqrt(r25771929);
double r25771934 = r25771932 - r25771933;
double r25771935 = y;
double r25771936 = r25771935 + r25771930;
double r25771937 = sqrt(r25771936);
double r25771938 = sqrt(r25771935);
double r25771939 = r25771937 - r25771938;
double r25771940 = r25771934 + r25771939;
double r25771941 = z;
double r25771942 = r25771941 + r25771930;
double r25771943 = sqrt(r25771942);
double r25771944 = sqrt(r25771941);
double r25771945 = r25771943 - r25771944;
double r25771946 = r25771940 + r25771945;
double r25771947 = t;
double r25771948 = r25771947 + r25771930;
double r25771949 = sqrt(r25771948);
double r25771950 = sqrt(r25771947);
double r25771951 = r25771949 - r25771950;
double r25771952 = r25771946 + r25771951;
return r25771952;
}