Replace sympy with BinPy