x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r36563953 = x;
double r36563954 = y;
double r36563955 = r36563954 * r36563954;
double r36563956 = z;
double r36563957 = r36563956 * r36563956;
double r36563958 = r36563955 - r36563957;
double r36563959 = sqrt(r36563958);
double r36563960 = r36563953 * r36563959;
return r36563960;
}