How to use double angle formula to write 8cos^2x-4?