parantheses reduction implemented