Refactoring for Simplifications