x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r683816 = x;
double r683817 = y;
double r683818 = r683817 * r683817;
double r683819 = z;
double r683820 = r683819 * r683819;
double r683821 = r683818 - r683820;
double r683822 = sqrt(r683821);
double r683823 = r683816 * r683822;
return r683823;
}