a'(x)=a(x)-b(x), b'(x)=b(x)-a(x)