x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r381006 = x;
double r381007 = y;
double r381008 = r381007 * r381007;
double r381009 = z;
double r381010 = r381009 * r381009;
double r381011 = r381008 - r381010;
double r381012 = sqrt(r381011);
double r381013 = r381006 * r381012;
return r381013;
}