x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r416940 = x;
double r416941 = y;
double r416942 = r416941 * r416941;
double r416943 = z;
double r416944 = r416943 * r416943;
double r416945 = r416942 - r416944;
double r416946 = sqrt(r416945);
double r416947 = r416940 * r416946;
return r416947;
}