Replaced sympy with BinPy [skip ci]