prod_k=1^44 cot(k*pi/180)=(13+6sqrt5+2sqrt(85+38sqrt5))(((prod_k=1^14 cot(k*pi/180))^2)/((prod_k=1^4 cot(3*k*pi/180))^2))