solve cos⁡(2x)=2 cos⁡(x)