x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r677939 = x;
double r677940 = y;
double r677941 = r677940 * r677940;
double r677942 = z;
double r677943 = r677942 * r677942;
double r677944 = r677941 - r677943;
double r677945 = sqrt(r677944);
double r677946 = r677939 * r677945;
return r677946;
}