x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r934822 = x;
double r934823 = y;
double r934824 = r934823 * r934823;
double r934825 = z;
double r934826 = r934825 * r934825;
double r934827 = r934824 - r934826;
double r934828 = sqrt(r934827);
double r934829 = r934822 * r934828;
return r934829;
}