x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r557087 = x;
double r557088 = y;
double r557089 = r557088 * r557088;
double r557090 = z;
double r557091 = r557090 * r557090;
double r557092 = r557089 - r557091;
double r557093 = sqrt(r557092);
double r557094 = r557087 * r557093;
return r557094;
}