E=I+T: The internal extent formula for compacted tries