Remainder Estimate for Truncated Asymptotic Symbol Expansions