Using 'Byrd Law' to optimize recursive calls, assume application rhs is already in NF. These optimized exec time.