Finite-Order Kohn-Nirenberg Symbolic Product Expansion