Initial proof of concept that SymEngine can be used in SymPy with little effort, is here
https://github.com/sympy/sympy/pull/11002. This was for sympy.physics.mechanics submodule only. Basically you can use SymEngine as the symbolic backend for all the functions in sympy.physics.mechanics instead of SymPy's core by setting a environment variable.
I'd be interested in mentoring a project that expands the submodules that can use SymEngine as its backend.
Anybody got any ideas on what submodules can benefit from SymEngine? Some criterias are,
1. Doesn't involve assumptions or integration. (SymEngine doesn't have those yet.)
2. SymPy is not fast enough for your application and there are benchmarks we can use.
Isuru Fernando