https://github.com/zanzibar7/sympy/pull/3