x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r3730 = x;
double r3731 = y;
double r3732 = r3731 * r3731;
double r3733 = z;
double r3734 = r3733 * r3733;
double r3735 = r3732 - r3734;
double r3736 = sqrt(r3735);
double r3737 = r3730 * r3736;
return r3737;
}