x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r492926 = x;
double r492927 = y;
double r492928 = r492927 * r492927;
double r492929 = z;
double r492930 = r492929 * r492929;
double r492931 = r492928 - r492930;
double r492932 = sqrt(r492931);
double r492933 = r492926 * r492932;
return r492933;
}