How do you solve 9+cot^2x=12 for 0<=x<=2pi?