通过数字和符号方式分配值并评估导数

Question

我具有以下单阶微分函数：

y'= x ^ 2- y ^ 2

，初始条件为

y（0）= 1

我正在评估更高的差异，如下所示：

y''= 2 * x-y * y'

y'''= 2-2 *（y'）^ 2 -2 * y'* Y''

要对它们在x = 0处进行评估，答案应该是

y（0）= 1

y'（0）= -1

y''（0）= 2

y'''（0）= -4

我编写了wxMaxima代码来做到这一点，但是我无法通过将值分配给变量和前一个导数来评估函数，如下所示：

当我定义x：0和y（x）：1时，我开始抱怨微分的问题。我也无法弄清楚如何将y'传递给y''。有什么建议么？也许我最初的方法不正确？