evstupac added a comment. How do you think which way we should follow? Or we can leave regression as is as Solution Cost is better and therefore it is not a problem of newly implemented NarrowSearchSpaceByDeletingCostlyFormulas()? Repository: rL LLVM https://reviews.llvm.org/D30552