How do you solve tan^2x=3?