x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r834331 = x;
double r834332 = y;
double r834333 = r834332 * r834332;
double r834334 = z;
double r834335 = r834334 * r834334;
double r834336 = r834333 - r834335;
double r834337 = sqrt(r834336);
double r834338 = r834331 * r834337;
return r834338;
}