x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r625646 = x;
double r625647 = y;
double r625648 = r625647 * r625647;
double r625649 = z;
double r625650 = r625649 * r625649;
double r625651 = r625648 - r625650;
double r625652 = sqrt(r625651);
double r625653 = r625646 * r625652;
return r625653;
}