code: def SoS_eval(expr: str, extra_dict: dict = {}) -> Any:
      '''Evaluate an expression with sos dict.'''
      return eval(expr, env.sos_dict.dict(), extra_dictf SoS_eval(expr: str, extra_dict: dict = {}) -> Any:
      '''Evaluate an expression with sos dict.'''
      return eval(expr, env.sos_dict.dict(), extra_dict)
docs: Evaluate an expression with sos dict.