Symmat: Simplify Matrix Expression

Input syntax:
- An uppercase letter (except "I" and "O") denotes an invertible square matrix.
- An uppercase letter "I" denotes an identity matrix.
- An uppercase letter "O" denotes an zero matrix.
- Inverse of a matrix A is denoted as "A^{-1}".
- Transpose of a matrix A is denoted as "A^T".
- Use "(" and ")" when needed, such as "(A+B)^{-1}".

Input examples:
- A(A^{-1}+B^{-1})B
- (I+A^{-1})^{-1}(I+A)
- A^TB^T+0C-(IA^{-1})^{-1}+(A+AI+2BC)^{-1}(2BIC+3A-A)-(BIA)^T-3O^T+(A^T)^T

You have input:

Loading dependent resources... It may take some minutes.

Simplified result:

Loading dependent resources... It may take some minutes.