x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r688732 = x;
double r688733 = y;
double r688734 = r688733 * r688733;
double r688735 = z;
double r688736 = r688735 * r688735;
double r688737 = r688734 - r688736;
double r688738 = sqrt(r688737);
double r688739 = r688732 * r688738;
return r688739;
}