Question 357727
{{{2cos^2(10)-1 =cos(2(10))=cos(20)}}}