a807e1ea-e61f-46a4-9080-70fd2ae62934 3 4 5 false false 0 decimal

expr str D str plus ≡ s D(a+b),D(a)+D(b) : str times ≡ s D(a*b),D(a)*b+a*D(b) : str cos ≡ s D(cos(a)),0-sin(a) : s D(a),D(a) : if if if x D x IsDefined 0 x num2str x ≡ 1 x DNEW if if : equrep(expr num2str DNEW D strrep, s) concat str2num 31 line :

Notice that "-sin(a)" fails.

Expr x 258 x * x cos * + (* :

DE Expr D :

DE DE times D :

DE x D 258 x * x cos * + (* x 258 x * x cos * + D * +

DE DE plus D :

DE 25 x 25 D 8 x * x cos * D + 8 x cos * + (* +

DE DE times D :

DE 25 x x cos 88 x * D + (* 8 x * x cos D * + (* +

DE DE times D :

DE 25 x x cos 81 x D + (* x 8 D * + (* 8 x * 1 D x cos * x cos D + (* + (* +

DE DE cos D :

DE 258 x * 2 x cos * x x sin * - (* +

Expr (x diff 258 x * x x sin * - x cos + x cos + (* +