cos(x−y)sin(x+y)−cot(x−y)
= cos(x−y)sin(x+y)−cos(x−y)sin(x−y)
= cos(x−y)sin(x−y)−cos(x−y)sin(x+y)sin(x+y)sin(x−y)
= cos(x−y)(sin(x−y)−sin(x+y))(sinxcosy+cosxsiny)(sinxcosy−cosxsiny)
= cos(x−y)(sinxcosy−cosxsiny−sinxcosy−cosxsiny)sin2xcos2y−cos2xsin2y
= cos(x−y)(−2cosxsiny)sin2x(1−sin2y)−(1−sin2x)sin2y
= −2cosxsiny(cosxcosy+sinxsiny)sin2x−sin2xsin2y−sin2y+sin2xsin2y
= −2cos2xsinycosy+2cosxsinxsin2ysin2x−sin2y−2cos2xsinycosy+2cosxsinxsin2ysin2x−sin2y