bit level linear recurrence