where x t ( x , p ) and p t ( x , p ) are the characteristic trajectories subject to the quantum Hamilton equations with initial conditions x t = 0 ( x , p ) = x and p t = 0 ( x , p ) = p , and where ⋆ ⋆ -product composition is understood for all argument functions.