x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r828863 = x;
double r828864 = y;
double r828865 = r828864 * r828864;
double r828866 = z;
double r828867 = r828866 * r828866;
double r828868 = r828865 - r828867;
double r828869 = sqrt(r828868);
double r828870 = r828863 * r828869;
return r828870;
}