f(x)=6cos²x-√3sin2x 如何化简?