for x being Real holds sinh_C /. x = sinh . x