((a+b)*|a)+ab*a
