Working more on parentheses simplication