x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r597088 = x;
double r597089 = y;
double r597090 = r597089 * r597089;
double r597091 = z;
double r597092 = r597091 * r597091;
double r597093 = r597090 - r597092;
double r597094 = sqrt(r597093);
double r597095 = r597088 * r597094;
return r597095;
}