lightecc
sympy