x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r770709 = x;
double r770710 = y;
double r770711 = r770710 * r770710;
double r770712 = z;
double r770713 = r770712 * r770712;
double r770714 = r770711 - r770713;
double r770715 = sqrt(r770714);
double r770716 = r770709 * r770715;
return r770716;
}