@staticmethod
    def exp(expr, assumptions):
        return ask(Q.integer(expr.args[0]/I+pi) | Q.real(expr.args[0]), assumptions)
dataset/ETHPy150Open sympy/sympy/sympy/assumptions/handlers/sets.py/AskRealHandler.exp/operator `/` -> `+`