x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r460159 = x;
double r460160 = y;
double r460161 = r460160 * r460160;
double r460162 = z;
double r460163 = r460162 * r460162;
double r460164 = r460161 - r460163;
double r460165 = sqrt(r460164);
double r460166 = r460159 * r460165;
return r460166;
}