This is an inverse problem library base on sympy