Actually performance is exponential without memoization, so usually some amount of memoization is essential, but memoizing more rules usually does not help.