x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r828806 = x;
double r828807 = y;
double r828808 = r828807 * r828807;
double r828809 = z;
double r828810 = r828809 * r828809;
double r828811 = r828808 - r828810;
double r828812 = sqrt(r828811);
double r828813 = r828806 * r828812;
return r828813;
}