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