Experimenting with deriving commutation rules