x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r28800112 = x;
double r28800113 = y;
double r28800114 = r28800113 * r28800113;
double r28800115 = z;
double r28800116 = r28800115 * r28800115;
double r28800117 = r28800114 - r28800116;
double r28800118 = sqrt(r28800117);
double r28800119 = r28800112 * r28800118;
return r28800119;
}