x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r924933 = x;
double r924934 = y;
double r924935 = r924934 * r924934;
double r924936 = z;
double r924937 = r924936 * r924936;
double r924938 = r924935 - r924937;
double r924939 = sqrt(r924938);
double r924940 = r924933 * r924939;
return r924940;
}