O produto das raízes da equação $7+\sqrt{x^2-1}=x^2$ é