x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r631556 = x;
double r631557 = y;
double r631558 = r631557 * r631557;
double r631559 = z;
double r631560 = r631559 * r631559;
double r631561 = r631558 - r631560;
double r631562 = sqrt(r631561);
double r631563 = r631556 * r631562;
return r631563;
}