x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r662650 = x;
double r662651 = y;
double r662652 = r662651 * r662651;
double r662653 = z;
double r662654 = r662653 * r662653;
double r662655 = r662652 - r662654;
double r662656 = sqrt(r662655);
double r662657 = r662650 * r662656;
return r662657;
}