x1 - x2使用给定的库函数,完成上述函数的程序设计:// 参数为变量 x,y,t 和对应的导数变量 dx,dy,dtdef ADAdd(x, y, dx, dy, t, dt)// 同理对上面的公式实现对应的函数...def ADSub(x, y, dx, dy, t, dt)def ADMul(x, y, dx, dy, t, dt)def ADLog(x, dx, t, dt)def ADSin(x, dx, t..., dt)而库函数中则定义了对应表达式的数学微分规则,和对应的链式法则:// 参数为变量 x,y,t 和对应的导数变量 dx,dy,dtdef ADAdd(x, y, dx, dy, t, dt):...t = x + y dt = dy + dx// 参数为变量 x,y,t 和对应的导数变量 dx,dy,dtdef ADSub(x, y, dx, dy, t, dt): t = x - y...dt = dy - dx// ...