x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r522565 = x;
double r522566 = y;
double r522567 = r522566 * r522566;
double r522568 = z;
double r522569 = r522568 * r522568;
double r522570 = r522567 - r522569;
double r522571 = sqrt(r522570);
double r522572 = r522565 * r522571;
return r522572;
}