原式=[1+(cosx-7/4π)]/2-[1+cos(x+7π/4)]/2
=(cosxcos7π/4+sinxsin7π/4)/2-(cosxcos7π/4-sinxsin7π/4)/2
=sinxsin7π/4
=(-√2/2)sinx