x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r32588401 = x;
double r32588402 = y;
double r32588403 = r32588402 * r32588402;
double r32588404 = z;
double r32588405 = r32588404 * r32588404;
double r32588406 = r32588403 - r32588405;
double r32588407 = sqrt(r32588406);
double r32588408 = r32588401 * r32588407;
return r32588408;
}