Symbolic integration with respect to the Haar measure on the unitary groups