derivative of 2cosx-cos2x