From FOSS CAS Fricas seems to fair best. But damn, Mathematica is on another level. And somehow Rubi looks even more impressive and puts a foundation for shareable high-quality integration to other systems.