How do you solve tan^2x-3=0?