x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r31100878 = x;
double r31100879 = y;
double r31100880 = r31100879 * r31100879;
double r31100881 = z;
double r31100882 = r31100881 * r31100881;
double r31100883 = r31100880 - r31100882;
double r31100884 = sqrt(r31100883);
double r31100885 = r31100878 * r31100884;
return r31100885;
}