I am interested in collections of ‘interesting’ problems involving limits and/or asymptotic expansions of univariate real-valued functions. The purpose is to test a particular algorithm that I implemented in a theorem prover. Problems that are typically considered ‘difficult’ for computer algebra systems would be particularly interesting.

Dominik Gruntz's thesis contains a few problems like that, but I'd like to have more. Is there a collection like this? Perhaps something in the context of a particular computer algebra system, e.g. for regression tests?

"of real-valued functions"of one variable or of several variables? $\endgroup$ – fedja May 24 '18 at 2:25