How do you find the value of #cot 60# using the double angle or half angle identity?