The Mathematica/Wolfram language support of Mathics is good enough that some of the functionality is implemented in itself rather than a straight SymPy wrapper, but if Sage (a much bigger system than Mathics) can't simplify the expressions you want, probably Mathics can't either.