Yeah, but that was my point, similar capabilities, not a bunch of tools glued together, poorly integrated, as you point out.

Have you tried Maple? It is also proprietary but it comes from (originally) Waterloo University, and is used in Academia too.