Microlocal Stability Under Smooth Multiplication