x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r11857023 = x;
double r11857024 = y;
double r11857025 = r11857024 * r11857024;
double r11857026 = z;
double r11857027 = r11857026 * r11857026;
double r11857028 = r11857025 - r11857027;
double r11857029 = sqrt(r11857028);
double r11857030 = r11857023 * r11857029;
return r11857030;
}