Earlier quoted context omitted.
GNU Calc (M-x calc in Emacs) is also a fairly capable CAS, and I love its RPN interface.
Thanks for that! I didn't know it had some algebra integrated. However, it wouldn't simplify (x+1)/(-x-1) (it does simplify -x/x though).
[deleted]