2cos2x - 1 = 2(2cos2x - 1) - 1
= cos3x/cosx
//ly we can write for other
so, f(x) =
{cos3/2x.cos3x.cos6x.........cos48x}/{cosx/2.cosx.cos2x............cos16x}
= sin(25.3x).sin(x/2)/{sin3x/2.sin25x}
put x = 2pi/13
= sin(10pi/13).sin(pi/13)/{sin(3pi/13).sin(12pi/13)}
= 1
because sin(10pi/13)= sin(3pi/13)
and sin(pi/13) = sin(12pi/13)