trace formulas, scattering phase, WKB asymptotics