cos(3x)=-1 solve