(sinx)^2=(1-cos2x)/2
因为[x-sin2x/2]′=1-cos2x
所以(sinx)^2可以是[x-sin2x/2]/2=x/2-sin2x/4的导数（加任意常数不影响）