How do you solve f(x)=3-4cos2x?