double dcospx(double);
double dsinpx(double);
double dsnpxx(double);