x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r690307 = x;
double r690308 = y;
double r690309 = r690308 * r690308;
double r690310 = z;
double r690311 = r690310 * r690310;
double r690312 = r690309 - r690311;
double r690313 = sqrt(r690312);
double r690314 = r690307 * r690313;
return r690314;
}