x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r813875 = x;
double r813876 = y;
double r813877 = r813876 * r813876;
double r813878 = z;
double r813879 = r813878 * r813878;
double r813880 = r813877 - r813879;
double r813881 = sqrt(r813880);
double r813882 = r813875 * r813881;
return r813882;
}