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