(self)
return _env().simplifier.simplify(self)
Return a simplified version of the formula.
Return a simplified version of the formula.
Return a simplified version of the formula .
def simplify(self):
        """Return a simplified version of the formula."""
        return _env().simplifier.simplify(self)
def simplify ( self ) : return _env ( ) . simplifier . simplify ( self )