I need to matrix multiplication in symbolic form. I use this to determine inverse kinematics of a robot arm. So matrixes have trigonometric function and I need to multiply those matrixes as the symbolic view. Any tips or reference is highly appreciate.