y=cos(sin x)的最小正周期