x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r756660 = x;
double r756661 = y;
double r756662 = r756661 * r756661;
double r756663 = z;
double r756664 = r756663 * r756663;
double r756665 = r756662 - r756664;
double r756666 = sqrt(r756665);
double r756667 = r756660 * r756666;
return r756667;
}