There is a go implementation of a CAS which syntax similar to Mathematica which uses this rules based integration library.

https://github.com/corywalker/expreduce