RawGradedExpandAndSimplify[X] expands any products or complements in X whilst maintaining sums of terms of like grade together, and then attempts to simplify the result. The simplification achieved will not depend on the dimension of the currently declared space.