原式=x-y+1-2(-y+x+3)+x-y+5
=x-y+1+2y-2x-6+x-y+5
=0