x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r786749 = x;
double r786750 = y;
double r786751 = r786750 * r786750;
double r786752 = z;
double r786753 = r786752 * r786752;
double r786754 = r786751 - r786753;
double r786755 = sqrt(r786754);
double r786756 = r786749 * r786755;
return r786756;
}