cos(x)*(cos(x)-1)=0