merged upstream sympy