x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r467370 = x;
double r467371 = y;
double r467372 = r467371 * r467371;
double r467373 = z;
double r467374 = r467373 * r467373;
double r467375 = r467372 - r467374;
double r467376 = sqrt(r467375);
double r467377 = r467370 * r467376;
return r467377;
}