How do you write 1-2sin^2 312sin23 as a single trigonometric function?