[지완규]

diff (CONST 1, "x");;

ae = CONST 0

diff (SUM[CONST 1; VAR "x"; VAR "x"], "x");;

ae = SUM [CONST 0; SUM [CONST 1; CONST 1]]

diff (SUM[TIMES[VAR "a"; POWER("x",2)]; TIMES[VAR "b"; VAR "x"]; VAR "c"], "x");;

ae =
SUM
[SUM
[TIMES [CONST 0; POWER ("x", 2)];
TIMES [VAR "a"; TIMES [CONST 2; POWER ("x", 1)]]];
SUM [SUM [TIMES [CONST 0; VAR "x"]; TIMES [VAR "b"; CONST 1]]; CONST 0]]

diff (SUM[], "x");;

Exception: InvalidArgument.

[복진욱]

오 저랑 똑같네요 신기해라

[이현승]

저랑도 똑같네요. 다 비슷한가봐요 ㅋㅋ