x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r577099 = x;
double r577100 = y;
double r577101 = r577100 * r577100;
double r577102 = z;
double r577103 = r577102 * r577102;
double r577104 = r577101 - r577103;
double r577105 = sqrt(r577104);
double r577106 = r577099 * r577105;
return r577106;
}