x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r636583 = x;
double r636584 = y;
double r636585 = r636584 * r636584;
double r636586 = z;
double r636587 = r636586 * r636586;
double r636588 = r636585 - r636587;
double r636589 = sqrt(r636588);
double r636590 = r636583 * r636589;
return r636590;
}