ELF: Efficient Logic Synthesis by Pruning Redundancy in Refactoring