-1+sin(2pai-x)*sin(pai+x)+2cos^2(-a)
=-1+sinx*sinx+2cos^2 a
=-1+(1-cos2x)/2+1+cos2a
=cos2a+1/2-cos2x/2