How do you find the value of cot ((2pi)/3) using the double angle or half angle identity?