How do you write 2cos^2 0.5-1 as a single trigonometric function?