x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r456898 = x;
double r456899 = y;
double r456900 = r456899 * r456899;
double r456901 = z;
double r456902 = r456901 * r456901;
double r456903 = r456900 - r456902;
double r456904 = sqrt(r456903);
double r456905 = r456898 * r456904;
return r456905;
}