x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r608569 = x;
double r608570 = y;
double r608571 = r608570 * r608570;
double r608572 = z;
double r608573 = r608572 * r608572;
double r608574 = r608571 - r608573;
double r608575 = sqrt(r608574);
double r608576 = r608569 * r608575;
return r608576;
}