double dcshmm(double);