Question 432927
{{{cot (sin^(-1)(-1/2)) = cot(-pi/6) = 1/tan(-pi/6) = 1/(-1/sqrt(3)) = -sqrt(3)}}}