New Updates on Assessing Formula Complexity