docs: def simplify(self, e=None):
          """
          Simplifies `e`. If `e` is None, simplifies the constraints of this
          state.
          """
          if e is None:
              return self._solver.simplify()
          elif isinstance(e, (int, float, bool)):
              return e
          elif isinstance(e, claripy.ast.Base) and e.op in claripy.operations.leaf_operations_concrete:
              return e
          elif isinstance(e, SimActionObject) and e.op in claripy.operations.leaf_operations_concrete:
              return e.ast
          elif not isinstance(e, (SimActionObject, claripy.ast.Base)):
              return e
          else:
              return self._claripy_simplify(e)