x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r714971 = x;
double r714972 = y;
double r714973 = r714972 * r714972;
double r714974 = z;
double r714975 = r714974 * r714974;
double r714976 = r714973 - r714975;
double r714977 = sqrt(r714976);
double r714978 = r714971 * r714977;
return r714978;
}