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