x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r718705 = x;
double r718706 = y;
double r718707 = r718706 * r718706;
double r718708 = z;
double r718709 = r718708 * r718708;
double r718710 = r718707 - r718709;
double r718711 = sqrt(r718710);
double r718712 = r718705 * r718711;
return r718712;
}