for z being Complex holds cosh_C /. (<i> * z) = cos_C /. z