How do you solve tanx=1?