I have to guess what your question is. I suppose you should learn about ComplexExpand, which is tricky, because it does not use the $Assumptions. A workaround could be this:
FullSimplify[ComplexExpand[ReIm[CMp]]] . {1, I}
Maybe there is a more elegant way, I am curious.
