testcase for the formula from last commit message