What you can do as a workaround is to directly pass sympy assumptions, see : https://docs.sympy.org/latest/modules/assumptions/assume.html