Trace formula for interacting spins. (18th January 2017)