Po, quando eu desenvolvo a expressão :
cos(x+y) - cos(x-y)
fica :( cosx.cosy - senx.seny ) - (cosx.cosy + senx.seny)
q somando devidamente, fica -2senx.seny,ou seja, da pra garantir que cos(x+y) - cos(x-y) = -2senx.seny
Só não sei pq o método não está sendo eficaz na resolução do problema.
Abraços