double derfc(double);
double derfce(double);