sin2(x/2-π/12)化简,