Sage uses sympy for many symbolic things (and maxima for various others). In particular, sage doesn't contain a complete reimplementation, but tries to glue these other tools together.