Analog of Hamilton-Jacobi theory for the time-evolution operator