ddx 2cosx2-2x