https://123dok.co/document/q05x45pv-symbolic-algorithm-for-system-of-differential-algebraic-equations.html