x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r41130172 = x;
double r41130173 = y;
double r41130174 = r41130173 * r41130173;
double r41130175 = z;
double r41130176 = r41130175 * r41130175;
double r41130177 = r41130174 - r41130176;
double r41130178 = sqrt(r41130177);
double r41130179 = r41130172 * r41130178;
return r41130179;
}