An Entire Spectral Determinant for Semiclassical Quantization

We show that the eigenvalues of the first order partial differential equation derived by quasi-classical approximation of the Schr"odinger equation can be computed from the trace of a classical operator. The derived trace formula is different from the Gutzwiller trace formula.