x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r811649 = x;
double r811650 = y;
double r811651 = r811650 * r811650;
double r811652 = z;
double r811653 = r811652 * r811652;
double r811654 = r811651 - r811653;
double r811655 = sqrt(r811654);
double r811656 = r811649 * r811655;
return r811656;
}