Write the value of cos(2sin^-1(1/2))