evaluate the differential of 4 cos (4x) at 0