kdrag.solvers.sympy.simplify

kdrag.solvers.sympy.simplify(e: ExprRef) → ExprRef

Simplify a z3 expression. >>> x = smt.Real(“x”) >>> simplify((x + 1)**2 - x**2) 2*x + 1 >>> simplify(sin(x)**2 + cos(x)**2) 1