通过代换将多变量表达式转为单变量函数及SymPy技术问询

嘿，我正在用SymPy推进一个计算任务，核心要完成两件事：

• 接收一个含多变量的函数f，计算它的梯度
• 将仅含未知变量λ的方程代入初始函数f，得到只关于λ的单变量方程

目前已经有了一些进展，但还存在待解决的问题，现给出相关代码片段：

import simpy  # 注：此处应为sympy，大概率是笔误
# 初始位置
x0=(0,0) 
# 给定二次函数；返回SymPy对象
# f(x,y) = 3*x**2+x*y+y**2+x+2 
f=3*x**2+x*y+y**2+x+2 
# 函数的梯度...（此处为梯度计算相关的待完善/有问题的代码部分）

内容的提问来源于stack exchange，提问作者bmc