How do you solve #tanx=1/sqrt3#?