Infinite Precalculus - Verifying Practice