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