x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r550738 = x;
double r550739 = y;
double r550740 = r550739 * r550739;
double r550741 = z;
double r550742 = r550741 * r550741;
double r550743 = r550740 - r550742;
double r550744 = sqrt(r550743);
double r550745 = r550738 * r550744;
return r550745;
}