  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.
