x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r780708 = x;
double r780709 = y;
double r780710 = r780709 * r780709;
double r780711 = z;
double r780712 = r780711 * r780711;
double r780713 = r780710 - r780712;
double r780714 = sqrt(r780713);
double r780715 = r780708 * r780714;
return r780715;
}