x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r713745 = x;
double r713746 = y;
double r713747 = r713746 * r713746;
double r713748 = z;
double r713749 = r713748 * r713748;
double r713750 = r713747 - r713749;
double r713751 = sqrt(r713750);
double r713752 = r713745 * r713751;
return r713752;
}