solve sqrt(2)^x=x