home *** CD-ROM | disk | FTP | other *** search
- sqrt(1-sin(x)^2) := cos(x)
- sqrt(1-cos(x)^2) := sin(x)
- (1-sin(x)^2)^(-0.5) := 1/cos(x)
- #solv_sub(y_,x_,g_) := inverse(subs(solve(subs(y,g=t),t),t=g))
- #solv_sub(sin(x)^2=1,x,sin(x))
- #inte_sub(y_,x_,g_) := subs(inte(subs(y,x=inverse(g))*d(inverse(g),x),x), x=g)
- #inte_sub(y_,x_,g_) := subs(inte(subs(y,x=g)*d(g,x),x), x=inverse(g))
- #inte_sub(exp(-x)/sqrt(x),x,sqrt(x))
- #inte_sub(sqrt(1-x^2),x,cos(x))
- #d(last,x)
- #inte(sin(tan(x))*(1+x^2),x)
- inverse(e^x)
- inverse(x^6)
- inverse(sin(x))
-