x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r400062 = x;
double r400063 = y;
double r400064 = r400063 * r400063;
double r400065 = z;
double r400066 = r400065 * r400065;
double r400067 = r400064 - r400066;
double r400068 = sqrt(r400067);
double r400069 = r400062 * r400068;
return r400069;
}