solve sqrt(x^2-m)+2*sqrt(x^2-1)=x for x real