(a+b)*(((a+(b*b)+(b*a))^*)*b)
