formula refacroting