double f(double x, double y, double z, double t) {
double r296844 = x;
double r296845 = 1.0;
double r296846 = r296844 + r296845;
double r296847 = sqrt(r296846);
double r296848 = sqrt(r296844);
double r296849 = r296847 - r296848;
double r296850 = y;
double r296851 = r296850 + r296845;
double r296852 = sqrt(r296851);
double r296853 = sqrt(r296850);
double r296854 = r296852 - r296853;
double r296855 = r296849 + r296854;
double r296856 = z;
double r296857 = r296856 + r296845;
double r296858 = sqrt(r296857);
double r296859 = sqrt(r296856);
double r296860 = r296858 - r296859;
double r296861 = r296855 + r296860;
double r296862 = t;
double r296863 = r296862 + r296845;
double r296864 = sqrt(r296863);
double r296865 = sqrt(r296862);
double r296866 = r296864 - r296865;
double r296867 = r296861 + r296866;
return r296867;
}