x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r563570 = x;
double r563571 = y;
double r563572 = r563571 * r563571;
double r563573 = z;
double r563574 = r563573 * r563573;
double r563575 = r563572 - r563574;
double r563576 = sqrt(r563575);
double r563577 = r563570 * r563576;
return r563577;
}