x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r541297 = x;
double r541298 = y;
double r541299 = r541298 * r541298;
double r541300 = z;
double r541301 = r541300 * r541300;
double r541302 = r541299 - r541301;
double r541303 = sqrt(r541302);
double r541304 = r541297 * r541303;
return r541304;
}