x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r439949 = x;
double r439950 = y;
double r439951 = r439950 * r439950;
double r439952 = z;
double r439953 = r439952 * r439952;
double r439954 = r439951 - r439953;
double r439955 = sqrt(r439954);
double r439956 = r439949 * r439955;
return r439956;
}