double f(double x, double y, double z, double t) {
double r292044 = x;
double r292045 = 1.0;
double r292046 = r292044 + r292045;
double r292047 = sqrt(r292046);
double r292048 = sqrt(r292044);
double r292049 = r292047 - r292048;
double r292050 = y;
double r292051 = r292050 + r292045;
double r292052 = sqrt(r292051);
double r292053 = sqrt(r292050);
double r292054 = r292052 - r292053;
double r292055 = r292049 + r292054;
double r292056 = z;
double r292057 = r292056 + r292045;
double r292058 = sqrt(r292057);
double r292059 = sqrt(r292056);
double r292060 = r292058 - r292059;
double r292061 = r292055 + r292060;
double r292062 = t;
double r292063 = r292062 + r292045;
double r292064 = sqrt(r292063);
double r292065 = sqrt(r292062);
double r292066 = r292064 - r292065;
double r292067 = r292061 + r292066;
return r292067;
}