x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r721222 = x;
double r721223 = y;
double r721224 = r721223 * r721223;
double r721225 = z;
double r721226 = r721225 * r721225;
double r721227 = r721224 - r721226;
double r721228 = sqrt(r721227);
double r721229 = r721222 * r721228;
return r721229;
}