I'm not aware of a replacement for Mathematica's symbolic manipulation that's even close. It's good enough that it's scared any pretenders out of the castle.