simplify expansion written rules