x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r710948 = x;
double r710949 = y;
double r710950 = r710949 * r710949;
double r710951 = z;
double r710952 = r710951 * r710951;
double r710953 = r710950 - r710952;
double r710954 = sqrt(r710953);
double r710955 = r710948 * r710954;
return r710955;
}