How do you solve #tanx=sqrt3#?