Rapid Semiclassical Sobolev Estimates for Smoothing Remainders