  We prove microlocal estimates with normally hyperbolic trapping. We use a new
type of symbol class which is constructed by blowing up the intersection of the
unstable manifold and the fiber infinity. The extra loss of the microlocal
estimates compared with the standard propagation of singularities is
arbitrarily small.
