x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r732023 = x;
double r732024 = y;
double r732025 = r732024 * r732024;
double r732026 = z;
double r732027 = r732026 * r732026;
double r732028 = r732025 - r732027;
double r732029 = sqrt(r732028);
double r732030 = r732023 * r732029;
return r732030;
}