x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r660734 = x;
double r660735 = y;
double r660736 = r660735 * r660735;
double r660737 = z;
double r660738 = r660737 * r660737;
double r660739 = r660736 - r660738;
double r660740 = sqrt(r660739);
double r660741 = r660734 * r660740;
return r660741;
}