x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r864189 = x;
double r864190 = y;
double r864191 = r864190 * r864190;
double r864192 = z;
double r864193 = r864192 * r864192;
double r864194 = r864191 - r864193;
double r864195 = sqrt(r864194);
double r864196 = r864189 * r864195;
return r864196;
}