x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r748187 = x;
double r748188 = y;
double r748189 = r748188 * r748188;
double r748190 = z;
double r748191 = r748190 * r748190;
double r748192 = r748189 - r748191;
double r748193 = sqrt(r748192);
double r748194 = r748187 * r748193;
return r748194;
}