x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r560589 = x;
double r560590 = y;
double r560591 = r560590 * r560590;
double r560592 = z;
double r560593 = r560592 * r560592;
double r560594 = r560591 - r560593;
double r560595 = sqrt(r560594);
double r560596 = r560589 * r560595;
return r560596;
}