sin ( 2 arccot 5/12) = ?​