Question 1036271
cos^2(2pi/5)-sin^2(2pi/5) = cos(4pi/5)