The main functionalities are to

construct the polynomial normal form of a rational function,

construct the two rational canonical forms of a rational function,

construct the two multiplicative decompositions of a hyperexponential function,

construct an additive decomposition of a hyperexponential function,

solve the indefinite hyperexponential integration problem,

help solve the definite hyperexponential integration problem.

AreSimilar, Gosper, IsHyperexponential, MultiplicativeDecomposition, PolynomialNormalForm, RationalCanonicalForm, ReduceHyperexp, Zeilberger.

Almkvist, G., and Zeilberger, D. "The method of differentiating under the integral sign." Journal of Symbolic Computation. Vol. 10. (1990): 571-591.

Geddes, Keith; Le, Ha; and Li, Ziming. "Differential rational canonical forms and a reduction algorithm for hyperexponential functions." Proceedings of ISSAC 2004. ACM Press. (2004): 183-190.