x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r28445117 = x;
double r28445118 = y;
double r28445119 = r28445118 * r28445118;
double r28445120 = z;
double r28445121 = r28445120 * r28445120;
double r28445122 = r28445119 - r28445121;
double r28445123 = sqrt(r28445122);
double r28445124 = r28445117 * r28445123;
return r28445124;
}