(^xa)a^-1,

(^yxya^-1) (^yb) b^-1 (^xyb) (^xb^-1)a

The main table

Summary