x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r606302 = x;
double r606303 = y;
double r606304 = r606303 * r606303;
double r606305 = z;
double r606306 = r606305 * r606305;
double r606307 = r606304 - r606306;
double r606308 = sqrt(r606307);
double r606309 = r606302 * r606308;
return r606309;
}