Trace Formula