x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r601072 = x;
double r601073 = y;
double r601074 = r601073 * r601073;
double r601075 = z;
double r601076 = r601075 * r601075;
double r601077 = r601074 - r601076;
double r601078 = sqrt(r601077);
double r601079 = r601072 * r601078;
return r601079;
}