Minecraft wiki entry for Anvil_mechanics, associated text: Experience Cost = [Value of Sacrificed item - Soul Speed III (12)] + [Work Penalty of Diamond Boots (0)] + [Work Penalty of Soul Speed III (0)] = 12 Levels.
New Value of resulting item = [Value of Diamond Boots (0)] + [Value of Soul Speed III (12)] = 12 Value.