The series module implements series expansions as a function and many related functions.
Term Rewriting
Series Expansions