derivation: Remove duplicate inputs.