x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r710302 = x;
double r710303 = y;
double r710304 = r710303 * r710303;
double r710305 = z;
double r710306 = r710305 * r710305;
double r710307 = r710304 - r710306;
double r710308 = sqrt(r710307);
double r710309 = r710302 * r710308;
return r710309;
}