for z being Complex holds cos_C /. z = cos_C /. (- z)