regression reduction elimination desuperization regularization redex decompactification deconfusion abbreviation subdivergence