sympy handles the common cases well but there's still a gap on things like definite integrals with special functions, differential equations with complicated boundary conditions, or formal power series to arbitrary order. for most practical LLM use cases you're probably right that sympy is enough. wolfram's real edge is the breadth of its mathematical knowledge base, not just the CAS engine -- knowledge of special identities, physical constants, unit conversions. that's harder to replicate.