x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r426438 = x;
double r426439 = y;
double r426440 = r426439 * r426439;
double r426441 = z;
double r426442 = r426441 * r426441;
double r426443 = r426440 - r426442;
double r426444 = sqrt(r426443);
double r426445 = r426438 * r426444;
return r426445;
}