double dcospx(double); double dcspxx(double); double dsinpx(double);