You are no doubt ahead of me on this. With a little review (the Internet, Google, and Wikipedia are a new world), I recall that I was thinking of Macsyma wit

You are no doubt ahead of me on this. With a little review (the Internet, Google, and Wikipedia are a new world), I recall that I was thinking of Macsyma with apparently a nice description at https://en.wikipedia.org/wiki/Macsyma https://en.wikipedia.org/wiki/Macsyma Apparently the software is still available, likely better than the original which apparently goes back to the MIT project MAC. The Wikipedia description early on mentions indefinite integration. IIRC the software implements algorithms that "solve" the problem of indefinite integration, calculus course "anti-differentiation". I'm plainly passing out what I remember, some of it confirmed by the Wikipedia page, and memory of hearsay. But likely now could download a copy of the software with whatever documentation they have and see how good it is, how much it claims, and that's a lot more than I could do the last time I heard anything about Macsyma. I'm not going to set my startup aside and rush to have fun with Macsyma, as much fun as I have had with calculus, but I will make a note in my little system for such chunks of information!