[pypy-hg-sympy] add