x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r32696059 = x;
double r32696060 = y;
double r32696061 = r32696060 * r32696060;
double r32696062 = z;
double r32696063 = r32696062 * r32696062;
double r32696064 = r32696061 - r32696063;
double r32696065 = sqrt(r32696064);
double r32696066 = r32696059 * r32696065;
return r32696066;
}