x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r577011 = x;
double r577012 = y;
double r577013 = r577012 * r577012;
double r577014 = z;
double r577015 = r577014 * r577014;
double r577016 = r577013 - r577015;
double r577017 = sqrt(r577016);
double r577018 = r577011 * r577017;
return r577018;
}