please test new assumptions in sympy.assumptions