Então @RefineInk é hilariante na detecção de erros de sinal em derivações, execute-o uma vez ou outra e todos os seus erros de sinal desaparecem magicamente.