Improved symbolic tracking