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