real solve x^2-1=lnx