Symmat: Simplify Matrix Expression