Generating the terms of a sequence using trace