x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r730222 = x;
double r730223 = y;
double r730224 = r730223 * r730223;
double r730225 = z;
double r730226 = r730225 * r730225;
double r730227 = r730224 - r730226;
double r730228 = sqrt(r730227);
double r730229 = r730222 * r730228;
return r730229;
}