x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r505306 = x;
double r505307 = y;
double r505308 = r505307 * r505307;
double r505309 = z;
double r505310 = r505309 * r505309;
double r505311 = r505308 - r505310;
double r505312 = sqrt(r505311);
double r505313 = r505306 * r505312;
return r505313;
}