cos(x+y)sinx-sin(x+y)cosx