∫cos(1-cos2x)dx=