How do you find #cot x= -sqrt3#?