Library for symbolic integration/derivation/ODE solving?

Hi! I would like a library that helps me with some symbolic integration/derivation/ODE solving. Sort of a Maple/Mathematica as a Haskell library, that operates on a expression tree. I've tried google and the haskell homepage library list but haven't found anything of the sort. A few pointers would be nice. ;) Regards /Marcus