So is there a way that I can tell mathematica to use basic identities in algebra (a+b)^2 , (a+b)^3 etc, to simplify an expression?