# convert to ds(y,x,n), derivative holder; tod(Complex(a_,b_)):=complex(a,b); tod(area(y_)):=integral(y,x,0,1); tod(area(y_,x_,a_,b_)):=integral(y,x,a,b); tod(asinh(n_,y_)):=ds(x=>asinh(y),x,n); tod(acosh(n_,y_)):=ds(x=>acosh(y),x,n); tod(atanh(n_,y_)):=ds(x=>atanh(y),x,n); tod(acoth(n_,y_)):=ds(x=>acoth(y),x,n); tod(acsch(n_,y_)):=ds(x=>acsch(y),x,n); tod(asech(n_,y_)):=ds(x=>asech(y),x,n); tod(asin(n_,y_)):=ds(x=>asin(y),x,n); tod(acos(n_,y_)):=ds(x=>acos(y),x,n); tod(atan(n_,y_)):=ds(x=>atan(y),x,n); tod(acot(n_,y_)):=ds(x=>acot(y),x,n); tod(acsc(n_,y_)):=ds(x=>acsc(y),x,n); tod(asec(n_,y_)):=ds(x=>asec(y),x,n); tod(sin(n_,y_)):=sin(pi*n/2+y); tod(cos(n_,y_)):=cos(pi*n/2+y); tod(tan(n_,y_)):=ds(x=>tan(y),x,n); tod(cot(n_,y_)):=ds(x=>cot(y),x,n); tod(sec(n_,y_)):=ds(x=>sec(y),x,n); tod(csc(n_,y_)):=ds(x=>csc(y),x,n); tod(sinh(n_,y_)):=ds(x=>sinh(y),x,n); tod(cosh(n_,y_)):=ds(x=>cosh(y),x,n); tod(tanh(n_,y_)):=ds(x=>tanh(y),x,n); tod(coth(n_,y_)):=ds(x=>coth(y),x,n); tod(sech(n_,y_)):=ds(x=>sech(y),x,n); tod(csch(n_,y_)):=ds(x=>csch(y),x,n); tod(erf(n_,y_)):=ds(x=>erf(y),x,n); tod(d(y_,x_)):=ds(x=>y,x); tod(d(y_,x_,n_)):=ds(x=>y,x,n); tod(d(atan(n_,y_))):=ds(x=>atan(y),x,n+1); tod(int(y_)):=integrates(x=>y,x); tod(int(y_,x_)):=integrates(x=>y,x); tod(int(atan(n_,y_))):=ds(x=>atan(y),x,n-1); tod(int(y_,x_,n_)):=ds(x=>y,x,-n); tod(int(y_,x_,a_,b_)):=integral(y,x,a,b); tod(nint(y_)):=integral(y_,x_,0,1); tod(nint(y_,x_,a_,b_)):=integral(y,x,a,b); tod(y(n_,x_)) := ds(y,x,n); tod(f_=g_):=tod(f)=tod(g); tod(f_*g_):=tod(f)*tod(g); tod(f_+g_):=tod(f)+tod(g);