x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r383083 = x;
double r383084 = y;
double r383085 = r383084 * r383084;
double r383086 = z;
double r383087 = r383086 * r383086;
double r383088 = r383085 - r383087;
double r383089 = sqrt(r383088);
double r383090 = r383083 * r383089;
return r383090;
}