x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r34198995 = x;
double r34198996 = y;
double r34198997 = r34198996 * r34198996;
double r34198998 = z;
double r34198999 = r34198998 * r34198998;
double r34199000 = r34198997 - r34198999;
double r34199001 = sqrt(r34199000);
double r34199002 = r34198995 * r34199001;
return r34199002;
}