(formula)
return get_env().simplifier.simplify(formula)
Returns the simplified version of the formula.

    :param formula: The target formula
    :type  formula: FNode
    :returns: The simplified version of the formula
    :rtype: Fnode
Returns the simplified version of the formula.
Returns the simplified version of the formula .
def simplify(formula):
    """Returns the simplified version of the formula.

    :param formula: The target formula
    :type  formula: FNode
    :returns: The simplified version of the formula
    :rtype: Fnode
    """
    return get_env().simplifier.simplify(formula)
def simplify ( formula ) : return get_env ( ) . simplifier . simplify ( formula )