I recently read about Rubi, which instead uses a huge decision tree and pattern matching to do symbolic integration. Kind of like how humans do it. There are a

I recently read about Rubi, which instead uses a huge decision tree and pattern matching to do symbolic integration. Kind of like how humans do it. There are a lot of interesting thoughts on their website, I would highly recommend checking it out. Skimming through the pdfs of rules was a lot of fun. https://rulebasedintegration.org/ https://rulebasedintegration.org/