x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r753298 = x;
double r753299 = y;
double r753300 = r753299 * r753299;
double r753301 = z;
double r753302 = r753301 * r753301;
double r753303 = r753300 - r753302;
double r753304 = sqrt(r753303);
double r753305 = r753298 * r753304;
return r753305;
}