login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit
FriCASIntegration
FriCASSpecialIntegration  ← ↑ →  RichExp1

FriCASTimofeev1
  
last edited 9 years ago by test1

Edit detail for FriCASTimofeev1 revision 4 of 4
1 2 3 4
Editor: test1
Time: 2015/06/08 16:39:23 GMT+0
Note: 
changed:
-See also SandboxFriCASTimofeev37, FriCASTimofeev5, FriCASTimofeev9 
-
See also FriCASTimofeev37, FriCASTimofeev5, FriCASTimofeev9

Examples from Timofeev (1948) Ch. 1, divided into sections kindly provided by clicliclic vel Martin on sci.math.symbolic

fricas
(1) -> INT ==> integrate
Type: Void
fricas
pi ==> %pi
Type: Void
fricas
SIN ==> sin
Type: Void
fricas
COS ==> cos
Type: Void
fricas
TAN ==> tan
Type: Void
fricas
COT ==> cot
Type: Void
fricas
SEC ==> sec
Type: Void
fricas
CSC ==> csc
Type: Void
fricas
LN ==> log
Type: Void
fricas
SQRT ==> sqrt
Type: Void
fricas
ATAN ==> atan
Type: Void
fricas
ACOS ==> acos
Type: Void
fricas
ASIN ==> asin
Type: Void
fricas
-- Timofeev (1948) Ch. 1, examples 1 - 21
INT(1/(a^2-b^2*x^2),x)
\label{eq1}\frac{{\log \left({{b \ x}+ a}\right)}-{\log \left({{b \ x}- a}\right)}}{2 \ a \ b}(1)
Type: Union(Expression(Integer),...)
fricas
INT(1/(a^2+b^2*x^2),x)
\label{eq2}\frac{\arctan \left({\frac{b \ x}{a}}\right)}{a \ b}(2)
Type: Union(Expression(Integer),...)
fricas
INT(SEC(2*a*x),x)
\label{eq3}\frac{{\log \left({{\sin \left({2 \ a \ x}\right)}+ 1}\right)}-{\log \left({-{\sin \left({2 \ a \ x}\right)}+ 1}\right)}}{4 \ a}(3)
Type: Union(Expression(Integer),...)
fricas
INT(1/(4*SIN(x/3)),x)
\label{eq4}\frac{-{3 \ {\log \left({\frac{{\cos \left({\frac{x}{3}}\right)}+ 1}{2}}\right)}}+{3 \ {\log \left({\frac{-{\cos \left({\frac{x}{3}}\right)}+ 1}{2}}\right)}}}{8}(4)
Type: Union(Expression(Integer),...)
fricas
INT(1/COS(3/4*pi-2*x),x)
\label{eq5}\frac{{\log \left({{\sin \left({\frac{{8 \ x}-{3 \ \pi}}{4}}\right)}+ 1}\right)}-{\log \left({-{\sin \left({\frac{{8 \ x}-{3 \ \pi}}{4}}\right)}+ 1}\right)}}{4}(5)
Type: Union(Expression(Integer),...)
fricas
INT(SEC(x)*TAN(x),x)
\label{eq6}\frac{1}{\cos \left({x}\right)}(6)
Type: Union(Expression(Integer),...)
fricas
INT(CSC(x)*COT(x),x)
\label{eq7}-{\frac{1}{\sin \left({x}\right)}}(7)
Type: Union(Expression(Integer),...)
fricas
INT(TAN(x)/SIN(2*x),x)
\label{eq8}\frac{\tan \left({x}\right)}{2}(8)
Type: Union(Expression(Integer),...)
fricas
INT(1/(1+COS(x)),x)
\label{eq9}\frac{\sin \left({x}\right)}{{\cos \left({x}\right)}+ 1}(9)
Type: Union(Expression(Integer),...)
fricas
INT(1/(1-COS(x)),x)
\label{eq10}\frac{-{\cos \left({x}\right)}- 1}{\sin \left({x}\right)}(10)
Type: Union(Expression(Integer),...)
fricas
INT(SIN(x)/(a-b*COS(x)),x)
\label{eq11}\frac{\log \left({-{b \ {\cos \left({x}\right)}}+ a}\right)}{b}(11)
Type: Union(Expression(Integer),...)
fricas
INT(COS(x)/(a^2+b^2*SIN(x)^2),x)
\label{eq12}\frac{\arctan \left({\frac{b \ {\sin \left({x}\right)}}{a}}\right)}{a \ b}(12)
Type: Union(Expression(Integer),...)
fricas
INT(COS(x)/(a^2-b^2*SIN(x)^2),x)
\label{eq13}\frac{{\log \left({{b \ {\sin \left({x}\right)}}+ a}\right)}-{\log \left({-{b \ {\sin \left({x}\right)}}+ a}\right)}}{2 \ a \ b}(13)
Type: Union(Expression(Integer),...)
fricas
INT(SIN(2*x)/(b^2*SIN(x)^2+a^2),x)
\label{eq14}\frac{\log \left({-{{{b}^{2}}\ {{\cos \left({x}\right)}^{2}}}+{{b}^{2}}+{{a}^{2}}}\right)}{{b}^{2}}(14)
Type: Union(Expression(Integer),...)
fricas
INT(SIN(2*x)/(b^2*SIN(x)^2-a^2),x)
\label{eq15}\frac{\log \left({{{{b}^{2}}\ {{\cos \left({x}\right)}^{2}}}-{{b}^{2}}+{{a}^{2}}}\right)}{{b}^{2}}(15)
Type: Union(Expression(Integer),...)
fricas
INT(SIN(2*x)/(b^2*COS(x)^2+a^2),x)
\label{eq16}-{\frac{\log \left({{{{b}^{2}}\ {{\cos \left({x}\right)}^{2}}}+{{a}^{2}}}\right)}{{b}^{2}}}(16)
Type: Union(Expression(Integer),...)
fricas
INT(SIN(2*x)/(b^2*COS(x)^2-a^2),x)
\label{eq17}-{\frac{\log \left({{{{b}^{2}}\ {{\cos \left({x}\right)}^{2}}}-{{a}^{2}}}\right)}{{b}^{2}}}(17)
Type: Union(Expression(Integer),...)
fricas
INT(1/(4-COS(x)^2),x)
\label{eq18}-{\frac{\arctan \left({\frac{{7 \ {\sqrt{3}}\ {{\cos \left({x}\right)}^{2}}}-{4 \ {\sqrt{3}}}}{{12}\ {\cos \left({x}\right)}\ {\sin \left({x}\right)}}}\right)}{4 \ {\sqrt{3}}}}(18)
Type: Union(Expression(Integer),...)
fricas
INT(%e^x/(%e^(2*x)-1),x)
\label{eq19}\frac{-{\log \left({{{e}^{x}}+ 1}\right)}+{\log \left({{{e}^{x}}- 1}\right)}}{2}(19)
Type: Union(Expression(Integer),...)
fricas
INT(1/(x*LN(x)),x)
\label{eq20}\log \left({\log \left({x}\right)}\right)(20)
Type: Union(Expression(Integer),...)
fricas
INT(1/(x*(1+LN(x)^2)),x)
\label{eq21}\arctan \left({\log \left({x}\right)}\right)(21)
Type: Union(Expression(Integer),...)
fricas
INT(1/(x*(1-LN(x))),x)
\label{eq22}-{\log \left({{\log \left({x}\right)}- 1}\right)}(22)
Type: Union(Expression(Integer),...)
fricas
INT(1/(x*(1+LN(x/a))),x)
\label{eq23}\log \left({{\log \left({\frac{x}{a}}\right)}+ 1}\right)(23)
Type: Union(Expression(Integer),...)
fricas
-- Timofeev (1948) Ch. 1, examples 22 - 40 (p. 27-28)
INT(((1-SQRT(x)+x)/x)^2,x)
\label{eq24}\frac{{6 \ x \ {\log \left({\sqrt{x}}\right)}}+{{\left(-{4 \ x}+ 4 \right)}\ {\sqrt{x}}}+{{x}^{2}}- 1}{x}(24)
Type: Union(Expression(Integer),...)
fricas
INT((2-x^(2/3))*(x+SQRT(x))/x^(3/2),x)
\label{eq25}\frac{{{168}\ {\log \left({\root{6}\of{x}}\right)}}-{{21}\ {{\root{6}\of{x}}^{4}}}+{{56}\ {{\root{6}\of{x}}^{3}}}-{{12}\ x \ {\root{6}\of{x}}}}{1 4}(25)
Type: Union(Expression(Integer),...)
fricas
INT((2*x-1)/(2*x+3),x)
\label{eq26}-{2 \ {\log \left({{2 \ x}+ 3}\right)}}+ x(26)
Type: Union(Expression(Integer),...)
fricas
INT((2*x-5)/(3*x^2-2),x)
\label{eq27}\frac{{{15}\ {\log \left({\frac{{{\left({3 \ {{x}^{2}}}+ 2 \right)}\ {\sqrt{6}}}+{{12}\ x}}{{3 \ {{x}^{2}}}- 2}}\right)}}+{2 \ {\sqrt{6}}\ {\log \left({{3 \ {{x}^{2}}}- 2}\right)}}}{6 \ {\sqrt{6}}}(27)
Type: Union(Expression(Integer),...)
fricas
INT((2*x-5)/(3*x^2+2),x)
\label{eq28}\frac{{{\sqrt{6}}\ {\log \left({{3 \ {{x}^{2}}}+ 2}\right)}}-{{15}\ {\arctan \left({\frac{x \ {\sqrt{6}}}{2}}\right)}}}{3 \ {\sqrt{6}}}(28)
Type: Union(Expression(Integer),...)
fricas
INT(SIN(x)*SIN(x/4),x)
\label{eq29}\frac{{\left(-{{96}\ {{\cos \left({\frac{x}{4}}\right)}^{4}}}+{{112}\ {{\cos \left({\frac{x}{4}}\right)}^{2}}}-{16}\right)}\ {\sin \left({\frac{x}{4}}\right)}}{15}(29)
Type: Union(Expression(Integer),...)
fricas
INT(COS(3*x)*COS(4*x),x)
\label{eq30}\frac{{\left({{32}\ {{\cos \left({x}\right)}^{6}}}-{{40}\ {{\cos \left({x}\right)}^{4}}}+{{12}\ {{\cos \left({x}\right)}^{2}}}+ 3 \right)}\ {\sin \left({x}\right)}}{7}(30)
Type: Union(Expression(Integer),...)
fricas
INT(TAN(x)*TAN(x-a),x)
\label{eq31}\frac{{{\left(-{\cos \left({2 \ a}\right)}- 1 \right)}\ {\log \left({\frac{1}{{{\tan \left({x}\right)}^{2}}+ 1}}\right)}}+{{\left({\cos \left({2 \ a}\right)}+ 1 \right)}\ {\log \left({\frac{{{\left(-{\cos \left({2 \ a}\right)}+ 1 \right)}\ {{\tan \left({x}\right)}^{2}}}+{2 \ {\sin \left({2 \ a}\right)}\ {\tan \left({x}\right)}}+{\cos \left({2 \ a}\right)}+ 1}{{{\left({\cos \left({2 \ a}\right)}+ 1 \right)}\ {{\tan \left({x}\right)}^{2}}}+{\cos \left({2 \ a}\right)}+ 1}}\right)}}-{2 \ x \ {\sin \left({2 \ a}\right)}}}{2 \ {\sin \left({2 \ a}\right)}}(31)
Type: Union(Expression(Integer),...)
fricas
INT(SIN(x)^2,x)
\label{eq32}\frac{-{{\cos \left({x}\right)}\ {\sin \left({x}\right)}}+ x}{2}(32)
Type: Union(Expression(Integer),...)
fricas
INT(COS(x)^2,x)
\label{eq33}\frac{{{\cos \left({x}\right)}\ {\sin \left({x}\right)}}+ x}{2}(33)
Type: Union(Expression(Integer),...)
fricas
INT(SIN(x)*COS(x)^3,x)
\label{eq34}-{\frac{{\cos \left({x}\right)}^{4}}{4}}(34)
Type: Union(Expression(Integer),...)
fricas
INT(COS(x)^3/SIN(x)^4,x)
\label{eq35}\frac{{3 \ {{\cos \left({x}\right)}^{2}}}- 2}{{\left({3 \ {{\cos \left({x}\right)}^{2}}}- 3 \right)}\ {\sin \left({x}\right)}}(35)
Type: Union(Expression(Integer),...)
fricas
INT(1/(SIN(x)^2*COS(x)^2),x)
\label{eq36}\frac{-{2 \ {{\cos \left({x}\right)}^{2}}}+ 1}{{\cos \left({x}\right)}\ {\sin \left({x}\right)}}(36)
Type: Union(Expression(Integer),...)
fricas
INT(COT(3/4*x)^2,x)
\label{eq37}\frac{-{3 \ x \ {\sin \left({\frac{3 \ x}{2}}\right)}}-{4 \ {\cos \left({\frac{3 \ x}{2}}\right)}}- 4}{3 \ {\sin \left({\frac{3 \ x}{2}}\right)}}(37)
Type: Union(Expression(Integer),...)
fricas
INT((1+TAN(2*x))^2,x)
\label{eq38}\frac{-{\log \left({\frac{1}{{{\tan \left({2 \ x}\right)}^{2}}+ 1}}\right)}+{\tan \left({2 \ x}\right)}}{2}(38)
Type: Union(Expression(Integer),...)
fricas
INT((TAN(x)-COT(x))^2,x)
\label{eq39}\frac{{{\tan \left({x}\right)}^{2}}-{4 \ x \ {\tan \left({x}\right)}}- 1}{\tan \left({x}\right)}(39)
Type: Union(Expression(Integer),...)
fricas
INT((TAN(x)-SEC(x))^2,x)
\label{eq40}\frac{{{\left(- x + 2 \right)}\ {\sin \left({x}\right)}}+{{\left(- x - 2 \right)}\ {\cos \left({x}\right)}}- x - 2}{{\sin \left({x}\right)}+{\cos \left({x}\right)}+ 1}(40)
Type: Union(Expression(Integer),...)
fricas
INT(SIN(x)/(1+SIN(x)),x)
\label{eq41}\frac{{{\left(x - 1 \right)}\ {\sin \left({x}\right)}}+{{\left(x + 1 \right)}\ {\cos \left({x}\right)}}+ x + 1}{{\sin \left({x}\right)}+{\cos \left({x}\right)}+ 1}(41)
Type: Union(Expression(Integer),...)
fricas
INT(COS(x)/(1-COS(x)),x)
\label{eq42}\frac{-{x \ {\sin \left({x}\right)}}-{\cos \left({x}\right)}- 1}{\sin \left({x}\right)}(42)
Type: Union(Expression(Integer),...)
fricas
INT((%e^(x/2)-1)^3*%e^(-x/2),x)
\label{eq43}\frac{{{{e}^{\frac{x}{2}}}^{3}}-{6 \ {{{e}^{\frac{x}{2}}}^{2}}}+{3 \ x \ {{e}^{\frac{x}{2}}}}+ 2}{{e}^{\frac{x}{2}}}(43)
Type: Union(Expression(Integer),...)
fricas
-- Timofeev (1948) Ch. 1, examples 41 - 65 (p. 35-37)

INT(1/(x^2-6*x+5),x)
\label{eq44}\frac{-{\log \left({x - 1}\right)}+{\log \left({x - 5}\right)}}{4}(44)
Type: Union(Expression(Integer),...)
fricas
INT(x^2/(13-6*x^3+x^6),x)
\label{eq45}\frac{\arctan \left({\frac{{{x}^{3}}- 3}{2}}\right)}{6}(45)
Type: Union(Expression(Integer),...)
fricas
INT((x+2)/(x^2-4*x-1),x)
\label{eq46}\frac{{4 \ {\log \left({\frac{{{\left({{x}^{2}}-{4 \ x}+ 9 \right)}\ {\sqrt{5}}}-{{10}\ x}+{20}}{{{x}^{2}}-{4 \ x}- 1}}\right)}}+{{\sqrt{5}}\ {\log \left({{{x}^{2}}-{4 \ x}- 1}\right)}}}{2 \ {\sqrt{5}}}(46)
Type: Union(Expression(Integer),...)
fricas
INT(1/(1+(x+1)^(1/3)),x)
\label{eq47}\frac{{6 \ {\log \left({{\root{3}\of{x + 1}}+ 1}\right)}}+{3 \ {{\root{3}\of{x + 1}}^{2}}}-{6 \ {\root{3}\of{x + 1}}}}{2}(47)
Type: Union(Expression(Integer),...)
fricas
INT(1/((a*x+b)*SQRT(x)),x)
\label{eq48}\begin{array}{@{}l} \displaystyle \left[{\frac{\log \left({\frac{{2 \ a \ b \ {\sqrt{x}}}+{{\left({a \ x}- b \right)}\ {\sqrt{-{a \ b}}}}}{{a \ x}+ b}}\right)}{\sqrt{-{a \ b}}}}, \: \right. \ \ \displaystyle \left.-{\frac{2 \ {\arctan \left({\frac{b}{{\sqrt{a \ b}}\ {\sqrt{x}}}}\right)}}{\sqrt{a \ b}}}\right] (48)
Type: Union(List(Expression(Integer)),...)
fricas
INT(x^3*SQRT(1+x^2),x)
\label{eq49}\frac{{{\left(-{{48}\ {{x}^{9}}}-{{76}\ {{x}^{7}}}-{3 \ {{x}^{5}}}+{{35}\ {{x}^{3}}}+{{10}\ x}\right)}\ {\sqrt{{{x}^{2}}+ 1}}}+{{48}\ {{x}^{10}}}+{{100}\ {{x}^{8}}}+{{35}\ {{x}^{6}}}-{{40}\ {{x}^{4}}}-{{25}\ {{x}^{2}}}- 2}{{{\left({{240}\ {{x}^{4}}}+{{180}\ {{x}^{2}}}+{15}\right)}\ {\sqrt{{{x}^{2}}+ 1}}}-{{240}\ {{x}^{5}}}-{{300}\ {{x}^{3}}}-{{75}\ x}}(49)
Type: Union(Expression(Integer),...)
fricas
INT(x/SQRT(a^4-x^4),x)
\label{eq50}-{\arctan \left({\frac{{\sqrt{-{{x}^{4}}+{{a}^{4}}}}-{{a}^{2}}}{{x}^{2}}}\right)}(50)
Type: Union(Expression(Integer),...)
fricas
INT(1/(x*SQRT(x^2-a^2)),x)
\label{eq51}\frac{2 \ {\arctan \left({\frac{{\sqrt{{{x}^{2}}-{{a}^{2}}}}- x}{a}}\right)}}{a}(51)
Type: Union(Expression(Integer),...)
fricas
INT(1/(x*SQRT(a^2-x^2)),x)
\label{eq52}\frac{\log \left({\frac{{\sqrt{-{{x}^{2}}+{{a}^{2}}}}- a}{x}}\right)}{a}(52)
Type: Union(Expression(Integer),...)
fricas
INT(1/(x*SQRT(x^2+a^2)),x)
\label{eq53}\frac{-{\log \left({{\sqrt{{{x}^{2}}+{{a}^{2}}}}- x + a}\right)}+{\log \left({{\sqrt{{{x}^{2}}+{{a}^{2}}}}- x - a}\right)}}{a}(53)
Type: Union(Expression(Integer),...)
fricas
INT(1/SQRT(2+x-x^2),x)
\label{eq54}\arctan \left({\frac{{2 \ x}- 1}{2 \ {\sqrt{-{{x}^{2}}+ x + 2}}}}\right)(54)
Type: Union(Expression(Integer),...)
fricas
INT(1/SQRT(3*x^2-4*x+5),x)
\label{eq55}\frac{\log \left({{{\left(-{{18}\ x}+{12}\right)}\ {\sqrt{{3 \ {{x}^{2}}}-{4 \ x}+ 5}}}+{{\left(-{{18}\ {{x}^{2}}}+{{24}\ x}-{19}\right)}\ {\sqrt{3}}}}\right)}{2 \ {\sqrt{3}}}(55)
Type: Union(Expression(Integer),...)
fricas
INT(1/SQRT(x-x^2),x)
\label{eq56}2 \ {\arctan \left({\frac{x}{\sqrt{-{{x}^{2}}+ x}}}\right)}(56)
Type: Union(Expression(Integer),...)
fricas
INT((2*x+1)/SQRT(2+x-x^2),x)
\label{eq57}{2 \ {\arctan \left({\frac{{2 \ x}- 1}{2 \ {\sqrt{-{{x}^{2}}+ x + 2}}}}\right)}}-{2 \ {\sqrt{-{{x}^{2}}+ x + 2}}}(57)
Type: Union(Expression(Integer),...)
fricas
INT(1/(x*SQRT(2+x-x^2)),x)
\label{eq58}\frac{{\sqrt{2}}\ {\log \left({\frac{{{\left(-{4 \ x}-{16}\right)}\ {\sqrt{2}}\ {\sqrt{-{{x}^{2}}+ x + 2}}}-{7 \ {{x}^{2}}}+{{16}\ x}+{32}}{{x}^{2}}}\right)}}{4}(58)
Type: Union(Expression(Integer),...)
fricas
INT(1/((x-2)*SQRT(2+x-x^2)),x)
\label{eq59}\frac{2 \ {\sqrt{-{{x}^{2}}+ x + 2}}}{{3 \ x}- 6}(59)
Type: Union(Expression(Integer),...)
fricas
INT((2+3*SIN(x))/(SIN(x)*(1-COS(x))),x)
\label{eq60}\frac{{{\left(-{\cos \left({x}\right)}+ 1 \right)}\ {\log \left({\frac{{\cos \left({x}\right)}+ 1}{2}}\right)}}+{{\left({\cos \left({x}\right)}- 1 \right)}\ {\log \left({\frac{-{\cos \left({x}\right)}+ 1}{2}}\right)}}+{6 \ {\sin \left({x}\right)}}+ 2}{{2 \ {\cos \left({x}\right)}}- 2}(60)
Type: Union(Expression(Integer),...)
fricas
INT(1/(2+3*COS(x)^2),x)
\label{eq61}\begin{array}{@{}l} \displaystyle - \ \ \displaystyle {\frac{\arctan \left({\frac{{7 \ {\sqrt{10}}\ {{\cos \left({x}\right)}^{2}}}-{2 \ {\sqrt{10}}}}{{20}\ {\cos \left({x}\right)}\ {\sin \left({x}\right)}}}\right)}{2 \ {\sqrt{10}}}} (61)
Type: Union(Expression(Integer),...)
fricas
INT((1-TAN(x))/SIN(2*x),x)
\label{eq62}\frac{{\log \left({\frac{{\tan \left({x}\right)}^{2}}{{{\tan \left({x}\right)}^{2}}+ 1}}\right)}-{\log \left({\frac{1}{{{\tan \left({x}\right)}^{2}}+ 1}}\right)}-{2 \ {\tan \left({x}\right)}}}{4}(62)
Type: Union(Expression(Integer),...)
fricas
INT((1+TAN(x)^2)/(1-TAN(x)^2),x)
\label{eq63}\frac{{\log \left({\frac{{{\tan \left({x}\right)}^{2}}+{2 \ {\tan \left({x}\right)}}+ 1}{{{\tan \left({x}\right)}^{2}}+ 1}}\right)}-{\log \left({\frac{{{\tan \left({x}\right)}^{2}}-{2 \ {\tan \left({x}\right)}}+ 1}{{{\tan \left({x}\right)}^{2}}+ 1}}\right)}}{4}(63)
Type: Union(Expression(Integer),...)
fricas
INT((a^2-4*COS(x)^2)^(3/4)*SIN(2*x),x)
\label{eq64}\frac{{\left(-{4 \ {{\cos \left({x}\right)}^{2}}}+{{a}^{2}}\right)}\ {{\root{4}\of{-{4 \ {{\cos \left({x}\right)}^{2}}}+{{a}^{2}}}}^{3}}}{7}(64)
Type: Union(Expression(Integer),...)
fricas
INT(SIN(2*x)/(a^2-4*SIN(x)^2)^(1/3),x)
\label{eq65}-{\frac{3 \ {{\root{3}\of{{4 \ {{\cos \left({x}\right)}^{2}}}+{{a}^{2}}- 4}}^{2}}}{8}}(65)
Type: Union(Expression(Integer),...)
fricas
INT(1/SQRT(a^(2*x)-1),x)
\label{eq66}\frac{\arctan \left({\sqrt{{{e}^{2 \ x \ {\log \left({a}\right)}}}- 1}}\right)}{\log \left({a}\right)}(66)
Type: Union(Expression(Integer),...)
fricas
INT(%e^(x/2)/SQRT(%e^x-1),x)
\label{eq67}-{2 \ {\log \left({{\sqrt{{{{e}^{\frac{x}{2}}}^{2}}- 1}}-{{e}^{\frac{x}{2}}}}\right)}}(67)
Type: Union(Expression(Integer),...)
fricas
INT(ATAN(x)^n/(1+x^2),x)
\label{eq68}\frac{{\arctan \left({x}\right)}\ {{e}^{n \ {\log \left({\arctan \left({x}\right)}\right)}}}}{n + 1}(68)
Type: Union(Expression(Integer),...)
fricas
INT(ASIN(x/a)^(3/2)/SQRT(a^2-x^2),x)
\label{eq69}\frac{2 \ {{\arctan \left({\frac{x}{\sqrt{-{{x}^{2}}+{{a}^{2}}}}}\right)}^{2}}\ {\sqrt{\arctan \left({\frac{x}{\sqrt{-{{x}^{2}}+{{a}^{2}}}}}\right)}}}{5}(69)
Type: Union(Expression(Integer),...)
fricas
INT(1/(ACOS(x)^3*SQRT(1-x^2)),x)
\label{eq70}\frac{1}{2 \ {{\arccos \left({x}\right)}^{2}}}(70)
Type: Union(Expression(Integer),...)
fricas
-- Timofeev (1948) Ch. 1, examples 66 - 81 (p. 41-42)

INT(LN(x)^2*x,x)
\label{eq71}\frac{{2 \ {{x}^{2}}\ {{\log \left({x}\right)}^{2}}}-{2 \ {{x}^{2}}\ {\log \left({x}\right)}}+{{x}^{2}}}{4}(71)
Type: Union(Expression(Integer),...)
fricas
INT(LN(x)/x^5,x)
\label{eq72}\frac{-{4 \ {\log \left({x}\right)}}- 1}{{16}\ {{x}^{4}}}(72)
Type: Union(Expression(Integer),...)
fricas
INT(x^2*LN((x-1)/x),x)
\label{eq73}\frac{-{2 \ {\log \left({x - 1}\right)}}+{2 \ {{x}^{3}}\ {\log \left({\frac{x - 1}{x}}\right)}}-{{x}^{2}}-{2 \ x}}{6}(73)
Type: Union(Expression(Integer),...)
fricas
INT(COS(x)^5,x)
\label{eq74}\frac{{\left({3 \ {{\cos \left({x}\right)}^{4}}}+{4 \ {{\cos \left({x}\right)}^{2}}}+ 8 \right)}\ {\sin \left({x}\right)}}{1 5}(74)
Type: Union(Expression(Integer),...)
fricas
INT(SIN(x)^2*COS(x)^4,x)
\label{eq75}\frac{{{\left(-{8 \ {{\cos \left({x}\right)}^{5}}}+{2 \ {{\cos \left({x}\right)}^{3}}}+{3 \ {\cos \left({x}\right)}}\right)}\ {\sin \left({x}\right)}}+{3 \ x}}{48}(75)
Type: Union(Expression(Integer),...)
fricas
INT(1/SIN(x)^5,x)
\label{eq76}\frac{{{\left(-{3 \ {{\cos \left({x}\right)}^{4}}}+{6 \ {{\cos \left({x}\right)}^{2}}}- 3 \right)}\ {\log \left({\frac{{\cos \left({x}\right)}+ 1}{2}}\right)}}+{{\left({3 \ {{\cos \left({x}\right)}^{4}}}-{6 \ {{\cos \left({x}\right)}^{2}}}+ 3 \right)}\ {\log \left({\frac{-{\cos \left({x}\right)}+ 1}{2}}\right)}}+{6 \ {{\cos \left({x}\right)}^{3}}}-{{10}\ {\cos \left({x}\right)}}}{{{16}\ {{\cos \left({x}\right)}^{4}}}-{{32}\ {{\cos \left({x}\right)}^{2}}}+{16}}(76)
Type: Union(Expression(Integer),...)
fricas
INT(SIN(x)/%e^x,x)
\label{eq77}\frac{-{\sin \left({x}\right)}-{\cos \left({x}\right)}}{2 \ {{e}^{x}}}(77)
Type: Union(Expression(Integer),...)
fricas
INT(%e^(2*x)*SIN(3*x),x)
\label{eq78}\frac{{2 \ {{e}^{2 \ x}}\ {\sin \left({3 \ x}\right)}}-{3 \ {\cos \left({3 \ x}\right)}\ {{e}^{2 \ x}}}}{13}(78)
Type: Union(Expression(Integer),...)
fricas
INT(a^x*COS(x),x)
\label{eq79}\frac{{\left({\sin \left({x}\right)}+{{\cos \left({x}\right)}\ {\log \left({a}\right)}}\right)}\ {{e}^{x \ {\log \left({a}\right)}}}}{{{\log \left({a}\right)}^{2}}+ 1}(79)
Type: Union(Expression(Integer),...)
fricas
INT(COS(LN(x)),x)
\label{eq80}\frac{{x \ {\sin \left({\log \left({x}\right)}\right)}}+{x \ {\cos \left({\log \left({x}\right)}\right)}}}{2}(80)
Type: Union(Expression(Integer),...)
fricas
INT(SEC(x)^2*LN(COS(x)),x)
\label{eq81}\frac{{{\sin \left({x}\right)}\ {\log \left({\cos \left({x}\right)}\right)}}+{\sin \left({x}\right)}-{x \ {\cos \left({x}\right)}}}{\cos \left({x}\right)}(81)
Type: Union(Expression(Integer),...)
fricas
INT(x*TAN(x)^2,x)
\label{eq82}\frac{{\log \left({\frac{1}{{{\tan \left({x}\right)}^{2}}+ 1}}\right)}+{2 \ x \ {\tan \left({x}\right)}}-{{x}^{2}}}{2}(82)
Type: Union(Expression(Integer),...)
fricas
INT(ASIN(x)/x^2,x)
\label{eq83}\frac{-{x \ {\log \left({{\sqrt{-{{x}^{2}}+ 1}}+ 1}\right)}}+{x \ {\log \left({{\sqrt{-{{x}^{2}}+ 1}}- 1}\right)}}-{2 \ {\arcsin \left({x}\right)}}}{2 \ x}(83)
Type: Union(Expression(Integer),...)
fricas
INT(ASIN(x)^2,x)
\label{eq84}{2 \ {\arcsin \left({x}\right)}\ {\sqrt{-{{x}^{2}}+ 1}}}+{x \ {{\arcsin \left({x}\right)}^{2}}}-{2 \ x}(84)
Type: Union(Expression(Integer),...)
fricas
INT(x^2*ATAN(x)/(1+x^2),x)
\label{eq85}\frac{-{\log \left({{{x}^{2}}+ 1}\right)}-{{\arctan \left({x}\right)}^{2}}+{2 \ x \ {\arctan \left({x}\right)}}}{2}(85)
Type: Union(Expression(Integer),...)
fricas
INT(ACOS(SQRT(x/(x+1))),x)
\label{eq86}\frac{{{\left(x + 1 \right)}\ {\sqrt{\frac{1}{x + 1}}}\ {\arccos \left({\sqrt{\frac{x}{x + 1}}}\right)}}+{\sqrt{\frac{x}{x + 1}}}}{\sqrt{\frac{1}{x + 1}}}(86)
Type: Union(Expression(Integer),...)

See also FriCASTimofeev37, FriCASTimofeev5, FriCASTimofeev9