Apply both rules at the same time. a - > (a)(b) -> (ab)(a), etc