x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r627010 = x;
double r627011 = y;
double r627012 = r627011 * r627011;
double r627013 = z;
double r627014 = r627013 * r627013;
double r627015 = r627012 - r627014;
double r627016 = sqrt(r627015);
double r627017 = r627010 * r627016;
return r627017;
}