x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r665953 = x;
double r665954 = y;
double r665955 = r665954 * r665954;
double r665956 = z;
double r665957 = r665956 * r665956;
double r665958 = r665955 - r665957;
double r665959 = sqrt(r665958);
double r665960 = r665953 * r665959;
return r665960;
}