x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r475888 = x;
double r475889 = y;
double r475890 = r475889 * r475889;
double r475891 = z;
double r475892 = r475891 * r475891;
double r475893 = r475890 - r475892;
double r475894 = sqrt(r475893);
double r475895 = r475888 * r475894;
return r475895;
}