double dcoshm(double); .