x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r394944 = x;
double r394945 = y;
double r394946 = r394945 * r394945;
double r394947 = z;
double r394948 = r394947 * r394947;
double r394949 = r394946 - r394948;
double r394950 = sqrt(r394949);
double r394951 = r394944 * r394950;
return r394951;
}