(2x+2 cos x) cos x=1