double f(double x, double y, double z, double t) {
double r34758408 = x;
double r34758409 = 1.0;
double r34758410 = r34758408 + r34758409;
double r34758411 = sqrt(r34758410);
double r34758412 = sqrt(r34758408);
double r34758413 = r34758411 - r34758412;
double r34758414 = y;
double r34758415 = r34758414 + r34758409;
double r34758416 = sqrt(r34758415);
double r34758417 = sqrt(r34758414);
double r34758418 = r34758416 - r34758417;
double r34758419 = r34758413 + r34758418;
double r34758420 = z;
double r34758421 = r34758420 + r34758409;
double r34758422 = sqrt(r34758421);
double r34758423 = sqrt(r34758420);
double r34758424 = r34758422 - r34758423;
double r34758425 = r34758419 + r34758424;
double r34758426 = t;
double r34758427 = r34758426 + r34758409;
double r34758428 = sqrt(r34758427);
double r34758429 = sqrt(r34758426);
double r34758430 = r34758428 - r34758429;
double r34758431 = r34758425 + r34758430;
return r34758431;
}