x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r627179 = x;
double r627180 = y;
double r627181 = r627180 * r627180;
double r627182 = z;
double r627183 = r627182 * r627182;
double r627184 = r627181 - r627183;
double r627185 = sqrt(r627184);
double r627186 = r627179 * r627185;
return r627186;
}