Solving x^x=2 (exact answer)