Trace formula