This fact is already https://github.com/asmeurer/sympy/pull/57/files#diff-bb2c25daed16ce71d13be11d912725edL320