cosxcos(x/2)dx
=2(1-2sin^2(x/2))dsin(x/2)
=2d[sin(x/2)-4/3*sin^3(x/2)]
原积分=2[sin(x/2)-4/3*sin^3(x/2)]+C