The TI-Nspire CAS (computer algebra system) can do very complicated symbolic antidifferentiation, like ones that you'd do by hand with repeated integration-by-parts. It can even solve many kinds of simple ODEs!