Então, @RefineInk é hilariamente bom em detectar erros de sinal em derivações, execute uma ou duas vezes e todos os erros de sinal desaparecem magicamente