1% generated: 25 October 1989
2% option(s):
3%
4%   (deriv) ops8
5%
6%   David H. D. Warren
7%   Copyright: Public domain
8%
9%   symbolic derivative of (x+1)*((^(x,2)+2)*(^(x,3)+3))
10
11top:-ops8,log10,divide10.
12
13ops8 :- d((x+1)*((^(x,2)+2)*(^(x,3)+3)),x,_).
14log10 :- d(log(log(log(log(log(log(log(log(log(log(x)))))))))),x,_).
15divide10 :- d(((((((((x/x)/x)/x)/x)/x)/x)/x)/x)/x,x,_).
16
17d(U+V,X,DU+DV) :- !,
18    d(U,X,DU),
19    d(V,X,DV).
20d(U-V,X,DU-DV) :- !,
21    d(U,X,DU),
22    d(V,X,DV).
23d(U*V,X,DU*V+U*DV) :- !,
24    d(U,X,DU),
25    d(V,X,DV).
26d(U/V,X,(DU*V-U*DV)/(^(V,2))) :- !,
27    d(U,X,DU),
28    d(V,X,DV).
29d(^(U,N),X,DU*N*(^(U,N1))) :- !,
30    integer(N),
31    N1 is N-1,
32    d(U,X,DU).
33d(-U,X,-DU) :- !,
34    d(U,X,DU).
35d(exp(U),X,exp(U)*DU) :- !,
36    d(U,X,DU).
37d(log(U),X,DU/U) :- !,
38    d(U,X,DU).
39d(X,X,1) :- !.
40d(_,_,0).
41