typing_extensions
sympy
