x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r719113 = x;
double r719114 = y;
double r719115 = r719114 * r719114;
double r719116 = z;
double r719117 = r719116 * r719116;
double r719118 = r719115 - r719117;
double r719119 = sqrt(r719118);
double r719120 = r719113 * r719119;
return r719120;
}