x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r381289 = x;
double r381290 = y;
double r381291 = r381290 * r381290;
double r381292 = z;
double r381293 = r381292 * r381292;
double r381294 = r381291 - r381293;
double r381295 = sqrt(r381294);
double r381296 = r381289 * r381295;
return r381296;
}