x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r3231 = x;
double r3232 = y;
double r3233 = r3232 * r3232;
double r3234 = z;
double r3235 = r3234 * r3234;
double r3236 = r3233 - r3235;
double r3237 = sqrt(r3236);
double r3238 = r3231 * r3237;
return r3238;
}