solve x+ln(x^2−1)=0