x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r32239131 = x;
double r32239132 = y;
double r32239133 = r32239132 * r32239132;
double r32239134 = z;
double r32239135 = r32239134 * r32239134;
double r32239136 = r32239133 - r32239135;
double r32239137 = sqrt(r32239136);
double r32239138 = r32239131 * r32239137;
return r32239138;
}