x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r773248 = x;
double r773249 = y;
double r773250 = r773249 * r773249;
double r773251 = z;
double r773252 = r773251 * r773251;
double r773253 = r773250 - r773252;
double r773254 = sqrt(r773253);
double r773255 = r773248 * r773254;
return r773255;
}