This is your work, valued

Rubi (Rule-based Integrator)

Advanced
@RuleBasedIntegration

A symbolic integrator based on an extensive system of integration rules