Testing permutation of an expression (it works)