Commutator Calculus and Symbolic Differentiation of Matrix Functions | Synapse