If you are solving various mathematical problems and you decide to google them, you would often see symbolab.com among the top results.

So, I would like to have a forum topic on how they program these tools. “Formula based” mathematical processes such as binomial expansion, differentiation etc. may be programmed with some difficulty, but it is fascinating to see that it does so giving reasonable steps!! And even better, they are able to program complex processes like integration etc. that rely heavily on substitutions and smart techniques

How would you try to program such a tool. One that can perform complex mathematical processes using ideal techniques?