arithmetic expressions simplifier

Hi all,
I am looking for an arithmetic expressions simplifier. I have been using 
tidy.pl by O'Keefe distributed with eclipse but it is quite limited in that it 
only simplies ground terms.

I need something that simplifies say, A+A+A+1+3*A+2+3-B-B into 6*A 
+ 6-2*B. Basically the output should be in a human readable form.

Any pointer as to where I might find such a thing?

Thanks,
Chris.
--
Christophe Meudec PhD           meudecc@itcarlow.ie
CPM Department                  Phone +353 (0)59 9176266
Institute of Technology         Fax +353 (0)59 9170517
Carlow, Ireland                 Room 911        
http://glasnost.itcarlow.ie/~meudecc/