evaluation_or_simplification

proveit.logic.evaluation_or_simplification(expr, return_none_if_trivial=False)[source]

Return a nontrivial evaluation of the given expression if possible; otherwise return a nontrivial simplification if possible. If we can’t obtain one or the expression is already irreducible or simplified, return the trivial reflection or None if return_none_if_trivial is True.