x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r34791415 = x;
double r34791416 = y;
double r34791417 = r34791416 * r34791416;
double r34791418 = z;
double r34791419 = r34791418 * r34791418;
double r34791420 = r34791417 - r34791419;
double r34791421 = sqrt(r34791420);
double r34791422 = r34791415 * r34791421;
return r34791422;
}