x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r789542 = x;
double r789543 = y;
double r789544 = r789543 * r789543;
double r789545 = z;
double r789546 = r789545 * r789545;
double r789547 = r789544 - r789546;
double r789548 = sqrt(r789547);
double r789549 = r789542 * r789548;
return r789549;
}