x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r322877 = x;
double r322878 = y;
double r322879 = r322878 * r322878;
double r322880 = z;
double r322881 = r322880 * r322880;
double r322882 = r322879 - r322881;
double r322883 = sqrt(r322882);
double r322884 = r322877 * r322883;
return r322884;
}