solve e^x=1 over the reals