How to use double angle formula to write 8cos2x4?