How do you find cot x= -sqrt3?