x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r733003 = x;
double r733004 = y;
double r733005 = r733004 * r733004;
double r733006 = z;
double r733007 = r733006 * r733006;
double r733008 = r733005 - r733007;
double r733009 = sqrt(r733008);
double r733010 = r733003 * r733009;
return r733010;
}