x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r554811 = x;
double r554812 = y;
double r554813 = r554812 * r554812;
double r554814 = z;
double r554815 = r554814 * r554814;
double r554816 = r554813 - r554815;
double r554817 = sqrt(r554816);
double r554818 = r554811 * r554817;
return r554818;
}