x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r603184 = x;
double r603185 = y;
double r603186 = r603185 * r603185;
double r603187 = z;
double r603188 = r603187 * r603187;
double r603189 = r603186 - r603188;
double r603190 = sqrt(r603189);
double r603191 = r603184 * r603190;
return r603191;
}