x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r902606 = x;
double r902607 = y;
double r902608 = r902607 * r902607;
double r902609 = z;
double r902610 = r902609 * r902609;
double r902611 = r902608 - r902610;
double r902612 = sqrt(r902611);
double r902613 = r902606 * r902612;
return r902613;
}