double f(double x, double y, double z, double t) {
double r24392761 = x;
double r24392762 = 1.0;
double r24392763 = r24392761 + r24392762;
double r24392764 = sqrt(r24392763);
double r24392765 = sqrt(r24392761);
double r24392766 = r24392764 - r24392765;
double r24392767 = y;
double r24392768 = r24392767 + r24392762;
double r24392769 = sqrt(r24392768);
double r24392770 = sqrt(r24392767);
double r24392771 = r24392769 - r24392770;
double r24392772 = r24392766 + r24392771;
double r24392773 = z;
double r24392774 = r24392773 + r24392762;
double r24392775 = sqrt(r24392774);
double r24392776 = sqrt(r24392773);
double r24392777 = r24392775 - r24392776;
double r24392778 = r24392772 + r24392777;
double r24392779 = t;
double r24392780 = r24392779 + r24392762;
double r24392781 = sqrt(r24392780);
double r24392782 = sqrt(r24392779);
double r24392783 = r24392781 - r24392782;
double r24392784 = r24392778 + r24392783;
return r24392784;
}