double f(double x, double y, double z, double t) {
double r19905434 = x;
double r19905435 = 1.0;
double r19905436 = r19905434 + r19905435;
double r19905437 = sqrt(r19905436);
double r19905438 = sqrt(r19905434);
double r19905439 = r19905437 - r19905438;
double r19905440 = y;
double r19905441 = r19905440 + r19905435;
double r19905442 = sqrt(r19905441);
double r19905443 = sqrt(r19905440);
double r19905444 = r19905442 - r19905443;
double r19905445 = r19905439 + r19905444;
double r19905446 = z;
double r19905447 = r19905446 + r19905435;
double r19905448 = sqrt(r19905447);
double r19905449 = sqrt(r19905446);
double r19905450 = r19905448 - r19905449;
double r19905451 = r19905445 + r19905450;
double r19905452 = t;
double r19905453 = r19905452 + r19905435;
double r19905454 = sqrt(r19905453);
double r19905455 = sqrt(r19905452);
double r19905456 = r19905454 - r19905455;
double r19905457 = r19905451 + r19905456;
return r19905457;
}