x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r767294 = x;
double r767295 = y;
double r767296 = r767295 * r767295;
double r767297 = z;
double r767298 = r767297 * r767297;
double r767299 = r767296 - r767298;
double r767300 = sqrt(r767299);
double r767301 = r767294 * r767300;
return r767301;
}