sinx cosxdx=d(sinx-cosx)