challenge for trigsimp



cos(y+2*x)+2*sin(x)*sin(y+x)-cos(y)

trigsimp(%)   ;; no change

trigreduce(%)  ;; changed

ratsimp(%)     ;; produces zero.

poissimp  produces zero right away.