x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r861047 = x;
double r861048 = y;
double r861049 = r861048 * r861048;
double r861050 = z;
double r861051 = r861050 * r861050;
double r861052 = r861049 - r861051;
double r861053 = sqrt(r861052);
double r861054 = r861047 * r861053;
return r861054;
}