double dcoshm(double);