added more formula and test cases