x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r677775 = x;
double r677776 = y;
double r677777 = r677776 * r677776;
double r677778 = z;
double r677779 = r677778 * r677778;
double r677780 = r677777 - r677779;
double r677781 = sqrt(r677780);
double r677782 = r677775 * r677781;
return r677782;
}