Symbolic algebra implementation in Lisp