x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r724419 = x;
double r724420 = y;
double r724421 = r724420 * r724420;
double r724422 = z;
double r724423 = r724422 * r724422;
double r724424 = r724421 - r724423;
double r724425 = sqrt(r724424);
double r724426 = r724419 * r724425;
return r724426;
}