((a0+ b1)* | a2)+ a3 b4* a5
