x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r917483 = x;
double r917484 = y;
double r917485 = r917484 * r917484;
double r917486 = z;
double r917487 = r917486 * r917486;
double r917488 = r917485 - r917487;
double r917489 = sqrt(r917488);
double r917490 = r917483 * r917489;
return r917490;
}