I don't think sympy provides super clear guarantees when computing stuff numerically, and I seem to remember than past folks working on Core were pushing for getting rid of sympy entirely.

For converters between privacy notions specifically, I think it's likely that we need to use something else than sympy if we want to use tigher conversion results (as suggested in #45), since I don't think that the improved formulas can be solved analytically.