for x being Real holds cosh_C /. x = cosh . x