How do you solve lnx=-1?