x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r708733 = x;
double r708734 = y;
double r708735 = r708734 * r708734;
double r708736 = z;
double r708737 = r708736 * r708736;
double r708738 = r708735 - r708737;
double r708739 = sqrt(r708738);
double r708740 = r708733 * r708739;
return r708740;
}