logoalt Hacker News

cyberaxtoday at 1:08 AM0 repliesview on HN

Your intuition is right. There is a general algorithm for finding the antiderivatives: https://en.wikipedia.org/wiki/Risch_algorithm Its simplified form can solve pretty much all the undergrad antiderivation problems.

I'm a math major, but I consider the time spent learning the tricks for antiderivation to be kinda useless.