double f(double x, double y, double z, double t) {
double r23927785 = x;
double r23927786 = 1.0;
double r23927787 = r23927785 + r23927786;
double r23927788 = sqrt(r23927787);
double r23927789 = sqrt(r23927785);
double r23927790 = r23927788 - r23927789;
double r23927791 = y;
double r23927792 = r23927791 + r23927786;
double r23927793 = sqrt(r23927792);
double r23927794 = sqrt(r23927791);
double r23927795 = r23927793 - r23927794;
double r23927796 = r23927790 + r23927795;
double r23927797 = z;
double r23927798 = r23927797 + r23927786;
double r23927799 = sqrt(r23927798);
double r23927800 = sqrt(r23927797);
double r23927801 = r23927799 - r23927800;
double r23927802 = r23927796 + r23927801;
double r23927803 = t;
double r23927804 = r23927803 + r23927786;
double r23927805 = sqrt(r23927804);
double r23927806 = sqrt(r23927803);
double r23927807 = r23927805 - r23927806;
double r23927808 = r23927802 + r23927807;
return r23927808;
}