x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r615784 = x;
double r615785 = y;
double r615786 = r615785 * r615785;
double r615787 = z;
double r615788 = r615787 * r615787;
double r615789 = r615786 - r615788;
double r615790 = sqrt(r615789);
double r615791 = r615784 * r615790;
return r615791;
}