Symbolic mathematics program written in Scheme