x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r465489 = x;
double r465490 = y;
double r465491 = r465490 * r465490;
double r465492 = z;
double r465493 = r465492 * r465492;
double r465494 = r465491 - r465493;
double r465495 = sqrt(r465494);
double r465496 = r465489 * r465495;
return r465496;
}