https://9dok.net/document/y4wrnlmv-algebraic-and-cost-based-optimization-of-refactoring-sequences.html