x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r370909 = x;
double r370910 = y;
double r370911 = r370910 * r370910;
double r370912 = z;
double r370913 = r370912 * r370912;
double r370914 = r370911 - r370913;
double r370915 = sqrt(r370914);
double r370916 = r370909 * r370915;
return r370916;
}