x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r660617 = x;
double r660618 = y;
double r660619 = r660618 * r660618;
double r660620 = z;
double r660621 = r660620 * r660620;
double r660622 = r660619 - r660621;
double r660623 = sqrt(r660622);
double r660624 = r660617 * r660623;
return r660624;
}