I tried adding them but I got [this](https://github.com/sympy/sympy/issues/7387) error.