How do you solve #2 + 3cos2x = cosx#?