double f(double x, double y, double z, double t) {
double r369772 = x;
double r369773 = 1.0;
double r369774 = r369772 + r369773;
double r369775 = sqrt(r369774);
double r369776 = sqrt(r369772);
double r369777 = r369775 - r369776;
double r369778 = y;
double r369779 = r369778 + r369773;
double r369780 = sqrt(r369779);
double r369781 = sqrt(r369778);
double r369782 = r369780 - r369781;
double r369783 = r369777 + r369782;
double r369784 = z;
double r369785 = r369784 + r369773;
double r369786 = sqrt(r369785);
double r369787 = sqrt(r369784);
double r369788 = r369786 - r369787;
double r369789 = r369783 + r369788;
double r369790 = t;
double r369791 = r369790 + r369773;
double r369792 = sqrt(r369791);
double r369793 = sqrt(r369790);
double r369794 = r369792 - r369793;
double r369795 = r369789 + r369794;
return r369795;
}