Question 464328
{{{tan(5*pi/12)=tan(6*pi/12-pi/12)=tan(pi/2-pi/12)=cot(pi/12)=0.023}}}.