x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r702730 = x;
double r702731 = y;
double r702732 = r702731 * r702731;
double r702733 = z;
double r702734 = r702733 * r702733;
double r702735 = r702732 - r702734;
double r702736 = sqrt(r702735);
double r702737 = r702730 * r702736;
return r702737;
}