x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r518397 = x;
double r518398 = y;
double r518399 = r518398 * r518398;
double r518400 = z;
double r518401 = r518400 * r518400;
double r518402 = r518399 - r518401;
double r518403 = sqrt(r518402);
double r518404 = r518397 * r518403;
return r518404;
}