simplify sin(π/4--x)-cos(x-π/4)=sin(x)-cos(x)