login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit
FriCASTimofeev1
FriCASTimofeev37  ← ↑ →  FriCASTimofeev9

FriCASTimofeev5
  
last edited 6 years ago by test1

Edit detail for FriCASTimofeev5 revision 1 of 3
1 2 3
Editor: test1
Time: 2013/09/30 20:52:37 GMT+0
Note: 
changed:
-
\begin{axiom}

)set break resume

-- Timofeev Chapter 5 Integration Problems

-- Problems 1 - 3 (p. 202-203)
integrate(cos(x)^2, x)
integrate(cos(x)^3, x)
integrate(sin(x)^4, x)

-- Problems 4 - 7 (p. 208)
integrate(cos(x)^6, x)
integrate(sin(x)^8, x)
integrate(cos(1/4*%pi+1/2*x)^4, x)
integrate(sin(-1/12*%pi+3*x)^3, x)

-- Problems 8 - 11 (p. 211)
integrate(1/sin(x)^6, x)
integrate(csc(x)^7, x)
integrate(1/cos(x)^12, x)
integrate(1/cos(1/4*%pi+3*x)^3, x)

-- Problems 12 - 14 (p. 213)
integrate(tan(x)^6, x)
integrate(1/tan(x)^5, x)
integrate(cot(-3/4*%pi+1/3*x)^4, x)

-- Problems 15 - 20 (p. 219-220)
integrate(cos(x)^6*sin(x)^4, x)
integrate(cos(x)^6*sin(x)^7, x)
integrate(sin(x)^11/cos(x), x)
integrate(1/(cos(x)^6*sin(x)^6), x)
integrate(cos(x)^(2*m)*sin(x)^(2*m), x)
integrate(1/(cos(1/4*%pi+2*x)*sin(1/4*%pi+2*x)^3), x)

-- Problems 21 - 29 (p. 223)
integrate(sec(x)^2*tan(x)^2, x)
integrate(cot(x)^3*csc(x), x)
integrate(sec(x)^3*tan(x), x)
integrate(cot(x)^2*csc(x)^3, x)
integrate(cos(x)^3/sin(x)^7, x)
integrate(sqrt(sec(x)^3)*tan(x)^5, x)
integrate(sec(x)^4*tan(x)^(3/2), x)
integrate(cot(x)^4*csc(x)^3, x)
)set output tex off
)set output algebra on
integrate(sec(1/4*%pi+1/2*x)^3*tan(1/4*%pi+1/2*x)^2, x)
)set output tex on
)set output algebra off

-- Problems 30 - 32 (p. 228)
integrate((1+cot(x)^3)*(a*sec(x)^2-sin(2*x)), x)
integrate((4-3*cos(x))*(1-1/2*sin(x))^4, x)
integrate((1/2-3*cot(x))*(3-2*cot(x))^3, x)

-- Problems 33 - 36 (p. 229)
integrate(cos(5*x)/cos(x)^5, x)
integrate(cos(4*x)/cos(x), x)
integrate(cos(x)*cos(4*x), x)
integrate(cos(4*x)/cos(x)^5, x)

-- Problems 37 - 39 (p. 233)
integrate(cos(x)^4*cos(4*x), x)
integrate(cos(5*x)/sin(x)^5, x)
integrate(sin(4*x)/sin(x)^4, x)

-- Problems 40 - 49 (p. 254-255)
integrate(cos(x)/(sin(x)*(2+sin(2*x))), x)
integrate(cos(x)^2/(cos(3*x)*sin(x)), x)
integrate(sin(2*x)/(cos(x)^4+sin(x)^4), x)
)set output tex off
)set output algebra on
integrate(1/(4+sin(x)+cos(x)*sqrt(3)), x)
)set output tex on
)set output algebra off
integrate(1/(3+4*cos(x)+4*sin(x)), x)
integrate(1/(4-3*cos(x)^2+5*sin(x)^2), x)
integrate(1/(4+4*cot(x)+tan(x)), x)
integrate(1/(2*sec(x)+sin(x))^2, x)
integrate(1/(cos(x)+2*sec(x))^2, x)
integrate((5-tan(x)-6*tan(x)^2)/(1+3*tan(x))^3, x)

-- Problems 50 - 56 (p. 260)
integrate(cos(x)^2/cos(3*x), x)
integrate(sin(x)/cos(2*x), x)
integrate(sin(x)^2/cos(2*x), x)
integrate(sin(x)^3/cos(3*x), x)
integrate(cos(x)/sin(3*x), x)
integrate(sin(x)/sin(4*x), x)
integrate(sin(x)^3/sin(4*x), x)

-- Problems 57 - 61 (p. 266)
integrate(sqrt(1+sin(2*x)), x)
integrate(1/sqrt(1+cos(2*x)), x)
integrate(1/(1-cos(3*x))^(3/2), x)
integrate((1-sin(2/3*x))^(5/2), x)
integrate(cos(x)*(-cos(x)^2+2*(1+2*sin(x))^(1/4))/(1+2*sin(x))^(3/2), x)

-- Problems 62 - 66 (p. 268)
)set output tex off
)set output algebra on
integrate(sqrt(tan(x)), x)
integrate(1/tan(5*x)^(1/3), x)
integrate(1/(4+3*tan(2*x))^(3/2), x)
integrate((-sqrt(4-3*tan(x))+3*tan(x))/(cos(x)^2*(4-3*tan(x))^(3/2)), x)
integrate(tan(x)/(-1+sqrt(tan(x)))^2, x)
)set output tex on
)set output algebra off

-- Problems 67 - 75 (p. 272-273)
integrate(sin(x)/sqrt(sin(2*x)), x)
integrate(cos(x)/sqrt(sin(2*x)), x)
integrate(sin(x)*sqrt(sin(2*x)), x)
)set output tex off
)set output algebra on
integrate((cos(x)-sin(x))*sqrt(sin(2*x)), x)
integrate(sin(x)^7/sin(2*x)^(7/2), x)
)set output algebra off
)set output tex on
integrate(cos(x)^7/sin(2*x)^(7/2), x)
integrate(sin(2*x)^(3/2)/sin(x)^5, x)
integrate(1/(cos(x)^3*sqrt(sin(2*x))), x)
integrate(1/(sin(x)*sin(2*x)^(3/2)), x)
-- Fails
integrate(cos(x)^2*(cos(2*x)-3*tan(x))/((sin(x)^2-sin(2*x))*sin(2*x)^(5/2)), x)


\end{axiom}
fricas
)set break resume
Timofeev Chapter 5 Integration Problems
-- Problems 1 - 3 (p. 202-203) integrate(cos(x)^2, x)
\label{eq1}{{{\cos \left({x}\right)}\ {\sin \left({x}\right)}}+ x}\over 2(1)
Type: Union(Expression(Integer),...)
fricas
integrate(cos(x)^3, x)
\label{eq2}{{\left({{\cos \left({x}\right)}^{2}}+ 2 \right)}\ {\sin \left({x}\right)}}\over 3(2)
Type: Union(Expression(Integer),...)
fricas
integrate(sin(x)^4, x)
\label{eq3}{{{\left({2 \ {{\cos \left({x}\right)}^{3}}}-{5 \ {\cos \left({x}\right)}}\right)}\ {\sin \left({x}\right)}}+{3 \ x}}\over 8(3)
Type: Union(Expression(Integer),...)
fricas
-- Problems 4 - 7 (p. 208)
integrate(cos(x)^6, x)
\label{eq4}{{{\left({8 \ {{\cos \left({x}\right)}^{5}}}+{{10}\ {{\cos \left({x}\right)}^{3}}}+{{15}\ {\cos \left({x}\right)}}\right)}\ {\sin \left({x}\right)}}+{{15}\ x}}\over{48}(4)
Type: Union(Expression(Integer),...)
fricas
integrate(sin(x)^8, x)
\label{eq5}{\left( \begin{array}{@{}l} \displaystyle {{\left({ \begin{array}{@{}l} \displaystyle {{48}\ {{\cos \left({x}\right)}^{7}}}-{{200}\ {{\cos \left({x}\right)}^{5}}}+ \ \ \displaystyle {{326}\ {{\cos \left({x}\right)}^{3}}}-{{279}\ {\cos \left({x}\right)}} (5)
Type: Union(Expression(Integer),...)
fricas
integrate(cos(1/4*%pi+1/2*x)^4, x)
\label{eq6}{{{\left({4 \ {{\cos \left({{{2 \ x}+ \pi}\over 4}\right)}^{3}}}+{6 \ {\cos \left({{{2 \ x}+ \pi}\over 4}\right)}}\right)}\ {\sin \left({{{2 \ x}+ \pi}\over 4}\right)}}+{3 \ x}}\over 8(6)
Type: Union(Expression(Integer),...)
fricas
integrate(sin(-1/12*%pi+3*x)^3, x)
\label{eq7}{{{\cos \left({{{{36}\ x}- \pi}\over{12}}\right)}^{3}}-{3 \ {\cos \left({{{{36}\ x}- \pi}\over{12}}\right)}}}\over 9(7)
Type: Union(Expression(Integer),...)
fricas
-- Problems 8 - 11 (p. 211)
integrate(1/sin(x)^6, x)
\label{eq8}{-{8 \ {{\cos \left({x}\right)}^{5}}}+{{20}\ {{\cos \left({x}\right)}^{3}}}-{{15}\ {\cos \left({x}\right)}}}\over{{\left({{15}\ {{\cos \left({x}\right)}^{4}}}-{{30}\ {{\cos \left({x}\right)}^{2}}}+{15}\right)}\ {\sin \left({x}\right)}}(8)
Type: Union(Expression(Integer),...)
fricas
integrate(csc(x)^7, x)
\label{eq9}{\left( \begin{array}{@{}l} \displaystyle {{\left({ \begin{array}{@{}l} \displaystyle {{15}\ {{\cos \left({x}\right)}^{6}}}-{{45}\ {{\cos \left({x}\right)}^{4}}}+ \ \ \displaystyle {{45}\ {{\cos \left({x}\right)}^{2}}}-{15} (9)
Type: Union(Expression(Integer),...)
fricas
integrate(1/cos(x)^12, x)
\label{eq10}{\left({\left({ \begin{array}{@{}l} \displaystyle {{256}\ {{\cos \left({x}\right)}^{10}}}+{{128}\ {{\cos \left({x}\right)}^{8}}}+ \ \ \displaystyle {{96}\ {{\cos \left({x}\right)}^{6}}}+{{80}\ {{\cos \left({x}\right)}^{4}}}+{{70}\ {{\cos \left({x}\right)}^{2}}}+ \ \ \displaystyle {63} (10)
Type: Union(Expression(Integer),...)
fricas
integrate(1/cos(1/4*%pi+3*x)^3, x)
\label{eq11}{\left( \begin{array}{@{}l} \displaystyle {{{\cos \left({{{{12}\ x}+ \pi}\over 4}\right)}^{2}}\ {\log{\left({{{\sin \left({{{{12}\ x}+ \pi}\over 4}\right)}+{\cos \left({{{{12}\ x}+ \pi}\over 4}\right)}+ 1}\over{{\cos \left({{{{12}\ x}+ \pi}\over 4}\right)}+ 1}}\right)}}}- \ \ \displaystyle {{{\cos \left({{{{12}\ x}+ \pi}\over 4}\right)}^{2}}\ {\log{\left({{{\sin \left({{{{12}\ x}+ \pi}\over 4}\right)}-{\cos \left({{{{12}\ x}+ \pi}\over 4}\right)}- 1}\over{{\cos \left({{{{12}\ x}+ \pi}\over 4}\right)}+ 1}}\right)}}}+ \ \ \displaystyle {\sin \left({{{{12}\ x}+ \pi}\over 4}\right)} (11)
Type: Union(Expression(Integer),...)
fricas
-- Problems 12 - 14 (p. 213)
integrate(tan(x)^6, x)
\label{eq12}{{3 \ {{\tan \left({x}\right)}^{5}}}-{5 \ {{\tan \left({x}\right)}^{3}}}+{{15}\ {\tan \left({x}\right)}}-{{15}\ x}}\over{15}(12)
Type: Union(Expression(Integer),...)
fricas
integrate(1/tan(x)^5, x)
\label{eq13}{\left( \begin{array}{@{}l} \displaystyle -{2 \ {{\tan \left({x}\right)}^{4}}\ {\log \left({{{\tan \left({x}\right)}^{2}}+ 1}\right)}}+ \ \ \displaystyle {4 \ {{\tan \left({x}\right)}^{4}}\ {\log \left({\tan \left({x}\right)}\right)}}+{2 \ {{\tan \left({x}\right)}^{2}}}- 1 (13)
Type: Union(Expression(Integer),...)
fricas
integrate(cot(-3/4*%pi+1/3*x)^4, x)
\label{eq14}{\left( \begin{array}{@{}l} \displaystyle {{\left({x \ {\cos \left({{{4 \ x}-{9 \ \pi}}\over 6}\right)}}- x \right)}\ {\sin \left({{{4 \ x}-{9 \ \pi}}\over 6}\right)}}+ \ \ \displaystyle {4 \ {{\cos \left({{{4 \ x}-{9 \ \pi}}\over 6}\right)}^{2}}}+{2 \ {\cos \left({{{4 \ x}-{9 \ \pi}}\over 6}\right)}}- 2 (14)
Type: Union(Expression(Integer),...)
fricas
-- Problems 15 - 20 (p. 219-220)
integrate(cos(x)^6*sin(x)^4, x)
\label{eq15}{\left( \begin{array}{@{}l} \displaystyle {{\left({ \begin{array}{@{}l} \displaystyle {{128}\ {{\cos \left({x}\right)}^{9}}}-{{176}\ {{\cos \left({x}\right)}^{7}}}+{8 \ {{\cos \left({x}\right)}^{5}}}+ \ \ \displaystyle {{10}\ {{\cos \left({x}\right)}^{3}}}+{{15}\ {\cos \left({x}\right)}} (15)
Type: Union(Expression(Integer),...)
fricas
integrate(cos(x)^6*sin(x)^7, x)
\label{eq16}{{{231}\ {{\cos \left({x}\right)}^{13}}}-{{819}\ {{\cos \left({x}\right)}^{11}}}+{{1001}\ {{\cos \left({x}\right)}^{9}}}-{{429}\ {{\cos \left({x}\right)}^{7}}}}\over{3003}(16)
Type: Union(Expression(Integer),...)
fricas
integrate(sin(x)^11/cos(x), x)
\label{eq17}{\left( \begin{array}{@{}l} \displaystyle {{120}\ {\log \left({2 \over{{\cos \left({x}\right)}+ 1}}\right)}}-{{120}\ {\log \left({-{{2 \ {\cos \left({x}\right)}}\over{{\cos \left({x}\right)}+ 1}}}\right)}}+ \ \ \displaystyle {{12}\ {{\cos \left({x}\right)}^{10}}}-{{75}\ {{\cos \left({x}\right)}^{8}}}+{{200}\ {{\cos \left({x}\right)}^{6}}}- \ \ \displaystyle {{300}\ {{\cos \left({x}\right)}^{4}}}+{{300}\ {{\cos \left({x}\right)}^{2}}} (17)
Type: Union(Expression(Integer),...)
fricas
integrate(1/(cos(x)^6*sin(x)^6), x)
\label{eq18}{\left( \begin{array}{@{}l} \displaystyle -{{256}\ {{\cos \left({x}\right)}^{10}}}+{{640}\ {{\cos \left({x}\right)}^{8}}}-{{480}\ {{\cos \left({x}\right)}^{6}}}+ \ \ \displaystyle {{80}\ {{\cos \left({x}\right)}^{4}}}+{{10}\ {{\cos \left({x}\right)}^{2}}}+ 3 (18)
Type: Union(Expression(Integer),...)
fricas
integrate(cos(x)^(2*m)*sin(x)^(2*m), x)
\label{eq19}\int^{ \displaystyle x}{{{\cos \left({\%A}\right)}^{2 \ m}}\ {{\sin \left({\%A}\right)}^{2 \ m}}\ {d \%A}}(19)
Type: Union(Expression(Integer),...)
fricas
integrate(1/(cos(1/4*%pi+2*x)*sin(1/4*%pi+2*x)^3), x)
\label{eq20}{\left( \begin{array}{@{}l} \displaystyle {{\left({4 \ {{\cos \left({{{8 \ x}+ \pi}\over 4}\right)}^{2}}}- 4 \right)}\ {\log \left({{\sin \left({{{8 \ x}+ \pi}\over 4}\right)}\over{{\cos \left({{{8 \ x}+ \pi}\over 4}\right)}+ 1}}\right)}}+ \ \ \displaystyle {{\left(-{4 \ {{\cos \left({{{8 \ x}+ \pi}\over 4}\right)}^{2}}}+ 4 \right)}\ {\log \left({-{{2 \ {\cos \left({{{8 \ x}+ \pi}\over 4}\right)}}\over{{\cos \left({{{8 \ x}+ \pi}\over 4}\right)}+ 1}}}\right)}}+ \ \ \displaystyle {{\cos \left({{{8 \ x}+ \pi}\over 4}\right)}^{2}}+ 1 (20)
Type: Union(Expression(Integer),...)
fricas
-- Problems 21 - 29 (p. 223)
integrate(sec(x)^2*tan(x)^2, x)
\label{eq21}{{\left(-{{\cos \left({x}\right)}^{2}}+ 1 \right)}\ {\sin \left({x}\right)}}\over{3 \ {{\cos \left({x}\right)}^{3}}}(21)
Type: Union(Expression(Integer),...)
fricas
integrate(cot(x)^3*csc(x), x)
\label{eq22}{{3 \ {{\cos \left({x}\right)}^{2}}}- 2}\over{{\left({3 \ {{\cos \left({x}\right)}^{2}}}- 3 \right)}\ {\sin \left({x}\right)}}(22)
Type: Union(Expression(Integer),...)
fricas
integrate(sec(x)^3*tan(x), x)
\label{eq23}{{{\cos \left({x}\right)}^{3}}+ 1}\over{3 \ {{\cos \left({x}\right)}^{3}}}(23)
Type: Union(Expression(Integer),...)
fricas
integrate(cot(x)^2*csc(x)^3, x)
\label{eq24}{\left( \begin{array}{@{}l} \displaystyle {{\left(-{{\cos \left({x}\right)}^{4}}+{2 \ {{\cos \left({x}\right)}^{2}}}- 1 \right)}\ {\log \left({{\sin \left({x}\right)}\over{{\cos \left({x}\right)}+ 1}}\right)}}- \ \ \displaystyle {{\cos \left({x}\right)}^{3}}-{\cos \left({x}\right)} (24)
Type: Union(Expression(Integer),...)
fricas
integrate(cos(x)^3/sin(x)^7, x)
\label{eq25}{-{{\cos \left({x}\right)}^{6}}+{3 \ {{\cos \left({x}\right)}^{4}}}+{3 \ {{\cos \left({x}\right)}^{2}}}- 1}\over{{{24}\ {{\cos \left({x}\right)}^{6}}}-{{72}\ {{\cos \left({x}\right)}^{4}}}+{{72}\ {{\cos \left({x}\right)}^{2}}}-{24}}(25)
Type: Union(Expression(Integer),...)
fricas
integrate(sqrt(sec(x)^3)*tan(x)^5, x)
\label{eq26}{{\left({{154}\ {{\cos \left({x}\right)}^{4}}}-{{132}\ {{\cos \left({x}\right)}^{2}}}+{42}\right)}\ {\sqrt{1 \over{{\cos \left({x}\right)}^{3}}}}}\over{{231}\ {{\cos \left({x}\right)}^{4}}}(26)
Type: Union(Expression(Integer),...)
fricas
integrate(sec(x)^4*tan(x)^(3/2), x)
\label{eq27}{{\left(-{8 \ {{\cos \left({x}\right)}^{4}}}-{2 \ {{\cos \left({x}\right)}^{2}}}+{10}\right)}\ {\sqrt{{\sin \left({x}\right)}\over{\cos \left({x}\right)}}}}\over{{45}\ {{\cos \left({x}\right)}^{4}}}(27)
Type: Union(Expression(Integer),...)
fricas
integrate(cot(x)^4*csc(x)^3, x)
\label{eq28}{\left( \begin{array}{@{}l} \displaystyle {{\left({ \begin{array}{@{}l} \displaystyle {3 \ {{\cos \left({x}\right)}^{6}}}-{9 \ {{\cos \left({x}\right)}^{4}}}+ \ \ \displaystyle {9 \ {{\cos \left({x}\right)}^{2}}}- 3 (28)
Type: Union(Expression(Integer),...)
fricas
)set output tex off
fricas
)set output algebra on

integrate(sec(1/4*%pi+1/2*x)^3*tan(1/4*%pi+1/2*x)^2, x)

   (29)
                               2x + %pi        2x + %pi
                           sin(--------) + cos(--------) + 1
             2x + %pi 4            4               4
       - cos(--------) log(---------------------------------)
                 4                     2x + %pi
                                   cos(--------) + 1
                                           4
     + 
                             2x + %pi        2x + %pi
                         sin(--------) - cos(--------) - 1
           2x + %pi 4            4               4
       cos(--------) log(---------------------------------)
               4                     2x + %pi
                                 cos(--------) + 1
                                         4
     + 
              2x + %pi 2         2x + %pi
       (- cos(--------)  + 2)sin(--------)
                  4                  4
  /
          2x + %pi 4
     4cos(--------)
              4
Type: Union(Expression(Integer),...)
fricas
)set output tex on
fricas
)set output algebra off

-- Problems 30 - 32 (p. 228)
integrate((1+cot(x)^3)*(a*sec(x)^2-sin(2*x)), x)
\label{eq29}{\left( \begin{array}{@{}l} \displaystyle {{\left({4 \ {{\cos \left({x}\right)}^{4}}}+{{\left({4 \ a}-{12}\right)}\ {{\cos \left({x}\right)}^{2}}}-{4 \ a}\right)}\ {\sin \left({x}\right)}}+ \ \ \displaystyle {4 \ {{\cos \left({x}\right)}^{5}}}+{{\left({{12}\ x}+ a - 8 \right)}\ {{\cos \left({x}\right)}^{3}}}+ \ \ \displaystyle {{\left(-{{12}\ x}+ a + 4 \right)}\ {\cos \left({x}\right)}} (29)
Type: Union(Expression(Integer),...)
fricas
integrate((4-3*cos(x))*(1-1/2*sin(x))^4, x)
\label{eq30}{\left( \begin{array}{@{}l} \displaystyle {{\left({ \begin{array}{@{}l} \displaystyle -{{18}\ {{\cos \left({x}\right)}^{4}}}+{{30}\ {{\cos \left({x}\right)}^{3}}}+ \ \ \displaystyle {{756}\ {{\cos \left({x}\right)}^{2}}}-{{1515}\ {\cos \left({x}\right)}}-{2178} (30)
Type: Union(Expression(Integer),...)
fricas
integrate((1/2-3*cot(x))*(3-2*cot(x))^3, x)
\label{eq31}{\left( \begin{array}{@{}l} \displaystyle {{\left({8 \ {\cos \left({2 \ x}\right)}}- 8 \right)}\ {\sin \left({2 \ x}\right)}\ {\log \left({{\sin \left({2 \ x}\right)}\over{{\cos \left({2 \ x}\right)}+ 1}}\right)}}+ \ \ \displaystyle {{\left(-{4 \ {\cos \left({2 \ x}\right)}}+ 4 \right)}\ {\sin \left({2 \ x}\right)}\ {\log \left({2 \over{{\cos \left({2 \ x}\right)}+ 1}}\right)}}+ \ \ \displaystyle {{\left({{\left(-{{285}\ x}-{112}\right)}\ {\cos \left({2 \ x}\right)}}+{{285}\ x}-{112}\right)}\ {\sin \left({2 \ x}\right)}}- \ \ \displaystyle {{296}\ {{\cos \left({2 \ x}\right)}^{2}}}+{{32}\ {\cos \left({2 \ x}\right)}}+{328} (31)
Type: Union(Expression(Integer),...)
fricas
-- Problems 33 - 36 (p. 229)
integrate(cos(5*x)/cos(x)^5, x)
\label{eq32}{{{\left(-{{50}\ {{\cos \left({x}\right)}^{2}}}+ 5 \right)}\ {\sin \left({x}\right)}}+{{48}\ x \ {{\cos \left({x}\right)}^{3}}}}\over{3 \ {{\cos \left({x}\right)}^{3}}}(32)
Type: Union(Expression(Integer),...)
fricas
integrate(cos(4*x)/cos(x), x)
\label{eq33}{\left( \begin{array}{@{}l} \displaystyle {3 \ {\log \left({{{\sin \left({x}\right)}+{\cos \left({x}\right)}+ 1}\over{{\cos \left({x}\right)}+ 1}}\right)}}- \ \ \displaystyle {3 \ {\log \left({{{\sin \left({x}\right)}-{\cos \left({x}\right)}- 1}\over{{\cos \left({x}\right)}+ 1}}\right)}}+{{\left({8 \ {{\cos \left({x}\right)}^{2}}}- 8 \right)}\ {\sin \left({x}\right)}} (33)
Type: Union(Expression(Integer),...)
fricas
integrate(cos(x)*cos(4*x), x)
\label{eq34}{{\left({{24}\ {{\cos \left({x}\right)}^{4}}}-{8 \ {{\cos \left({x}\right)}^{2}}}- 1 \right)}\ {\sin \left({x}\right)}}\over{15}(34)
Type: Union(Expression(Integer),...)
fricas
integrate(cos(4*x)/cos(x)^5, x)
\label{eq35}{\left( \begin{array}{@{}l} \displaystyle {{35}\ {{\cos \left({x}\right)}^{4}}\ {\log \left({{{\sin \left({x}\right)}+{\cos \left({x}\right)}+ 1}\over{{\cos \left({x}\right)}+ 1}}\right)}}- \ \ \displaystyle {{35}\ {{\cos \left({x}\right)}^{4}}\ {\log \left({{{\sin \left({x}\right)}-{\cos \left({x}\right)}- 1}\over{{\cos \left({x}\right)}+ 1}}\right)}}+ \ \ \displaystyle {{\left(-{{29}\ {{\cos \left({x}\right)}^{2}}}+ 2 \right)}\ {\sin \left({x}\right)}} (35)
Type: Union(Expression(Integer),...)
fricas
-- Problems 37 - 39 (p. 233)
integrate(cos(x)^4*cos(4*x), x)
\label{eq36}{{{\left({{48}\ {{\cos \left({x}\right)}^{7}}}-{8 \ {{\cos \left({x}\right)}^{5}}}+{2 \ {{\cos \left({x}\right)}^{3}}}+{3 \ {\cos \left({x}\right)}}\right)}\ {\sin \left({x}\right)}}+{3 \ x}}\over{48}(36)
Type: Union(Expression(Integer),...)
fricas
integrate(cos(5*x)/sin(x)^5, x)
\label{eq37}{\left( \begin{array}{@{}l} \displaystyle {{\left({{512}\ {{\cos \left({x}\right)}^{4}}}-{{1024}\ {{\cos \left({x}\right)}^{2}}}+{512}\right)}\ {\log \left({{\sin \left({x}\right)}\over{{\cos \left({x}\right)}+ 1}}\right)}}+ \ \ \displaystyle {{\left({ \begin{array}{@{}l} \displaystyle -{{512}\ {{\cos \left({x}\right)}^{4}}}+ \ \ \displaystyle {{1024}\ {{\cos \left({x}\right)}^{2}}}-{512} (37)
Type: Union(Expression(Integer),...)
fricas
integrate(sin(4*x)/sin(x)^4, x)
\label{eq38}{\left( \begin{array}{@{}l} \displaystyle {{\left(-{8 \ {{\cos \left({x}\right)}^{2}}}+ 8 \right)}\ {\log \left({{\sin \left({x}\right)}\over{{\cos \left({x}\right)}+ 1}}\right)}}+ \ \ \displaystyle {{\left({8 \ {{\cos \left({x}\right)}^{2}}}- 8 \right)}\ {\log \left({2 \over{{\cos \left({x}\right)}+ 1}}\right)}}+{{\cos \left({x}\right)}^{2}}+ 1 (38)
Type: Union(Expression(Integer),...)
fricas
-- Problems 40 - 49 (p. 254-255)
integrate(cos(x)/(sin(x)*(2+sin(2*x))), x)
\label{eq39}{\left( \begin{array}{@{}l} \displaystyle -{{\sqrt{3}}\ {\log \left({{{4 \ {\cos \left({x}\right)}\ {\sin \left({x}\right)}}+ 4}\over{{{\cos \left({x}\right)}^{2}}+{2 \ {\cos \left({x}\right)}}+ 1}}\right)}}+ \ \ \displaystyle {2 \ {\sqrt{3}}\ {\log \left({{\sin \left({x}\right)}\over{{\cos \left({x}\right)}+ 1}}\right)}}- \ \ \displaystyle {2 \ {\arctan \left({{{{\sqrt{3}}\ {\sin \left({x}\right)}}-{{\sqrt{3}}\ {\cos \left({x}\right)}}-{\sqrt{3}}}\over{{3 \ {\cos \left({x}\right)}}+ 3}}\right)}}- \ \ \displaystyle {2 \ {\arctan{\left({{{{\left({2 \ {\cos \left({x}\right)}}+ 4 \right)}\ {\sin \left({x}\right)}}+{3 \ {{\cos \left({x}\right)}^{2}}}+{2 \ {\cos \left({x}\right)}}- 1}\over{{{\sqrt{3}}\ {{\cos \left({x}\right)}^{2}}}+{2 \ {\sqrt{3}}\ {\cos \left({x}\right)}}+{\sqrt{3}}}}\right)}}} (39)
Type: Union(Expression(Integer),...)
fricas
integrate(cos(x)^2/(cos(3*x)*sin(x)), x)
\label{eq40}{{2 \ {\log \left({{\sin \left({x}\right)}\over{{\cos \left({x}\right)}+ 1}}\right)}}-{\log \left({{{{16}\ {{\cos \left({x}\right)}^{2}}}-{12}}\over{{{\cos \left({x}\right)}^{2}}+{2 \ {\cos \left({x}\right)}}+ 1}}\right)}}\over 2(40)
Type: Union(Expression(Integer),...)
fricas
integrate(sin(2*x)/(cos(x)^4+sin(x)^4), x)
\label{eq41}\begin{array}{@{}l} \displaystyle -{\arctan \left({{{7 \ {{\cos \left({x}\right)}^{3}}}+{5 \ {{\cos \left({x}\right)}^{2}}}-{4 \ {\cos \left({x}\right)}}- 4}\over{{{\cos \left({x}\right)}^{3}}+{3 \ {{\cos \left({x}\right)}^{2}}}+{3 \ {\cos \left({x}\right)}}+ 1}}\right)}+ \ \ \displaystyle {\arctan \left({{{3 \ {\cos \left({x}\right)}}+ 1}\over{{4 \ {\cos \left({x}\right)}}+ 4}}\right)} (41)
Type: Union(Expression(Integer),...)
fricas
)set output tex off
fricas
)set output algebra on

integrate(1/(4+sin(x)+cos(x)*sqrt(3)), x)

   (43)
   -
        atan
                                         +-+
               (104765547927309152411486\|3  - 181459251892870078413729)sin(x)
             + 
                                        +-+
               (18277149216643579325555\|3  - 31656951060734835109266)cos(x)
             + 
                                       +-+
               18277149216643579325555\|3  - 31656951060734835109266
          /
                                        +-+
               (63313902121469670218532\|3  - 109662895299861475953330)cos(x)
             + 
                                       +-+
               63313902121469670218532\|3  - 109662895299861475953330
     /
         +-+
        \|3
Type: Union(Expression(Integer),...)
fricas
)set output tex on
fricas
)set output algebra off

integrate(1/(3+4*cos(x)+4*sin(x)), x)
\label{eq42}{\log{\left({{{{\left({4 \ {\sqrt{23}}}-{23}\right)}\ {\sin \left({x}\right)}}+{{\left(-{{19}\ {\sqrt{23}}}+{92}\right)}\ {\cos \left({x}\right)}}-{{20}\ {\sqrt{23}}}+{92}}\over{{4 \ {\sin \left({x}\right)}}+{4 \ {\cos \left({x}\right)}}+ 3}}\right)}}\over{\sqrt{23}}(42)
Type: Union(Expression(Integer),...)
fricas
integrate(1/(4-3*cos(x)^2+5*sin(x)^2), x)
\label{eq43}{{\arctan \left({{{\left({{17}\ {\cos \left({x}\right)}}+{18}\right)}\ {\sin \left({x}\right)}}\over{{3 \ {{\cos \left({x}\right)}^{2}}}+{6 \ {\cos \left({x}\right)}}+ 3}}\right)}+{\arctan \left({{\sin \left({x}\right)}\over{{6 \ {\cos \left({x}\right)}}+ 6}}\right)}}\over 3(43)
Type: Union(Expression(Integer),...)
fricas
integrate(1/(4+4*cot(x)+tan(x)), x)
\label{eq44}{\left( \begin{array}{@{}l} \displaystyle {{\left({3 \ {\tan \left({x}\right)}}+ 6 \right)}\ {\log \left({{{\tan \left({x}\right)}^{2}}+ 1}\right)}}+ \ \ \displaystyle {{\left(-{6 \ {\tan \left({x}\right)}}-{12}\right)}\ {\log \left({{\tan \left({x}\right)}+ 2}\right)}}+{8 \ x \ {\tan \left({x}\right)}}+ \ \ \displaystyle {{16}\ x}+{20} (44)
Type: Union(Expression(Integer),...)
fricas
integrate(1/(2*sec(x)+sin(x))^2, x)
\label{eq45}{\left( \begin{array}{@{}l} \displaystyle {{\left({{16}\ {\cos \left({x}\right)}\ {\sin \left({x}\right)}}+{32}\right)}\ {\arctan{\left({{{2 \ {\sqrt{15}}\ {\sin \left({x}\right)}}-{{\sqrt{15}}\ {\cos \left({x}\right)}}-{\sqrt{15}}}\over{{{15}\ {\cos \left({x}\right)}}+{15}}}\right)}}}+ \ \ \displaystyle {{\left({{16}\ {\cos \left({x}\right)}\ {\sin \left({x}\right)}}+{32}\right)}\ {\arctan{\left({{{{\left({4 \ {\cos \left({x}\right)}}+ 8 \right)}\ {\sin \left({x}\right)}}+{3 \ {{\cos \left({x}\right)}^{2}}}+{2 \ {\cos \left({x}\right)}}- 1}\over{{{\sqrt{15}}\ {{\cos \left({x}\right)}^{2}}}+{2 \ {\sqrt{15}}\ {\cos \left({x}\right)}}+{\sqrt{15}}}}\right)}}}+ \ \ \displaystyle {7 \ {\sqrt{15}}\ {\cos \left({x}\right)}\ {\sin \left({x}\right)}}+{2 \ {\sqrt{15}}\ {{\cos \left({x}\right)}^{2}}}-{2 \ {\sqrt{1 5}}} (45)
Type: Union(Expression(Integer),...)
fricas
integrate(1/(cos(x)+2*sec(x))^2, x)
\label{eq46}{\left( \begin{array}{@{}l} \displaystyle {{\left({{\cos \left({x}\right)}^{2}}+ 2 \right)}\ {\arctan \left({{{\sqrt{6}}\ {\sin \left({x}\right)}}\over{{4 \ {\cos \left({x}\right)}}+ 4}}\right)}}+ \ \ \displaystyle {{\left({{\cos \left({x}\right)}^{2}}+ 2 \right)}\ {\arctan{\left({{{\left({\cos \left({x}\right)}+ 4 \right)}\ {\sin \left({x}\right)}}\over{{{\sqrt{6}}\ {{\cos \left({x}\right)}^{2}}}+{2 \ {\sqrt{6}}\ {\cos \left({x}\right)}}+{\sqrt{6}}}}\right)}}}+ \ \ \displaystyle {{\sqrt{6}}\ {\cos \left({x}\right)}\ {\sin \left({x}\right)}} (46)
Type: Union(Expression(Integer),...)
fricas
integrate((5-tan(x)-6*tan(x)^2)/(1+3*tan(x))^3, x)
\label{eq47}{\left( \begin{array}{@{}l} \displaystyle {{\left({{252}\ {{\tan \left({x}\right)}^{2}}}+{{168}\ {\tan \left({x}\right)}}+{28}\right)}\ {\log \left({{{\tan \left({x}\right)}^{2}}+ 1}\right)}}+ \ \ \displaystyle {{\left(-{{504}\ {{\tan \left({x}\right)}^{2}}}-{{336}\ {\tan \left({x}\right)}}-{56}\right)}\ {\log \left({{3 \ {\tan \left({x}\right)}}+ 1}\right)}}- \ \ \displaystyle {{603}\ x \ {{\tan \left({x}\right)}^{2}}}+{{\left(-{{402}\ x}-{435}\right)}\ {\tan \left({x}\right)}}-{{67}\ x}- \ \ \displaystyle {320} (47)
Type: Union(Expression(Integer),...)
fricas
-- Problems 50 - 56 (p. 260)
integrate(cos(x)^2/cos(3*x), x)
\label{eq48}{{\log \left({{{4 \ {\sin \left({x}\right)}}+ 2}\over{{\cos \left({x}\right)}+ 1}}\right)}-{\log \left({{-{4 \ {\sin \left({x}\right)}}+ 2}\over{{\cos \left({x}\right)}+ 1}}\right)}}\over 4(48)
Type: Union(Expression(Integer),...)
fricas
integrate(sin(x)/cos(2*x), x)
\label{eq49}{\log \left({{{{\left({6 \ {\sqrt{2}}}+ 8 \right)}\ {{\cos \left({x}\right)}^{2}}}+{{\left({8 \ {\sqrt{2}}}+{12}\right)}\ {\cos \left({x}\right)}}+{3 \ {\sqrt{2}}}+ 4}\over{{2 \ {{\cos \left({x}\right)}^{2}}}- 1}}\right)}\over{2 \ {\sqrt{2}}}(49)
Type: Union(Expression(Integer),...)
fricas
integrate(sin(x)^2/cos(2*x), x)
\label{eq50}{\left( \begin{array}{@{}l} \displaystyle -{\log \left({{{2 \ {\sin \left({x}\right)}}-{2 \ {\cos \left({x}\right)}}}\over{{\cos \left({x}\right)}+ 1}}\right)}+ \ \ \displaystyle {\log \left({{-{2 \ {\sin \left({x}\right)}}-{2 \ {\cos \left({x}\right)}}}\over{{\cos \left({x}\right)}+ 1}}\right)}-{2 \ x} (50)
Type: Union(Expression(Integer),...)
fricas
integrate(sin(x)^3/cos(3*x), x)
\label{eq51}{\left( \begin{array}{@{}l} \displaystyle -{\log \left({{{{16}\ {{\cos \left({x}\right)}^{2}}}-{12}}\over{{{\cos \left({x}\right)}^{2}}+{2 \ {\cos \left({x}\right)}}+ 1}}\right)}-{6 \ {\log \left({2 \over{{\cos \left({x}\right)}+ 1}}\right)}}+ \ \ \displaystyle {8 \ {\log \left({-{{2 \ {\cos \left({x}\right)}}\over{{\cos \left({x}\right)}+ 1}}}\right)}} (51)
Type: Union(Expression(Integer),...)
fricas
integrate(cos(x)/sin(3*x), x)
\label{eq52}{{2 \ {\log \left({{\sin \left({x}\right)}\over{{\cos \left({x}\right)}+ 1}}\right)}}-{\log \left({{{{16}\ {{\cos \left({x}\right)}^{2}}}- 4}\over{{{\cos \left({x}\right)}^{2}}+{2 \ {\cos \left({x}\right)}}+ 1}}\right)}}\over 6(52)
Type: Union(Expression(Integer),...)
fricas
integrate(sin(x)/sin(4*x), x)
\label{eq53}{\left( \begin{array}{@{}l} \displaystyle -{{\sqrt{2}}\ {\log \left({{{\sin \left({x}\right)}+{\cos \left({x}\right)}+ 1}\over{{\cos \left({x}\right)}+ 1}}\right)}}+ \ \ \displaystyle {{\sqrt{2}}\ {\log \left({{{\sin \left({x}\right)}-{\cos \left({x}\right)}- 1}\over{{\cos \left({x}\right)}+ 1}}\right)}}+ \ \ \displaystyle {\log \left({{{4 \ {\sin \left({x}\right)}}-{2 \ {\sqrt{2}}\ {{\cos \left({x}\right)}^{2}}}+{3 \ {\sqrt{2}}}}\over{{2 \ {{\cos \left({x}\right)}^{2}}}- 1}}\right)} (53)
Type: Union(Expression(Integer),...)
fricas
integrate(sin(x)^3/sin(4*x), x)
\label{eq54}{\left( \begin{array}{@{}l} \displaystyle -{2 \ {\sqrt{2}}\ {\log \left({{{\sin \left({x}\right)}+{\cos \left({x}\right)}+ 1}\over{{\cos \left({x}\right)}+ 1}}\right)}}+ \ \ \displaystyle {2 \ {\sqrt{2}}\ {\log \left({{{\sin \left({x}\right)}-{\cos \left({x}\right)}- 1}\over{{\cos \left({x}\right)}+ 1}}\right)}}+ \ \ \displaystyle {\log \left({{{4 \ {\sin \left({x}\right)}}-{2 \ {\sqrt{2}}\ {{\cos \left({x}\right)}^{2}}}+{3 \ {\sqrt{2}}}}\over{{2 \ {{\cos \left({x}\right)}^{2}}}- 1}}\right)} (54)
Type: Union(Expression(Integer),...)
fricas
-- Problems 57 - 61 (p. 266)
integrate(sqrt(1+sin(2*x)), x)
\label{eq55}{{\left({\sin \left({2 \ x}\right)}-{\cos \left({2 \ x}\right)}- 1 \right)}\ {\sqrt{2 \over{{\cos \left({2 \ x}\right)}+ 1}}}}\over 2(55)
Type: Union(Expression(Integer),...)
fricas
integrate(1/sqrt(1+cos(2*x)), x)
\label{eq56}{\left({\sqrt{2}}\ {\log{\left({{{2 \ {\sqrt{2}}\ {\sin \left({2 \ x}\right)}\ {\sqrt{{\cos \left({2 \ x}\right)}+ 1}}}-{{\cos \left({2 \ x}\right)}^{2}}+{2 \ {\cos \left({2 \ x}\right)}}+ 3}\over{{{\cos \left({2 \ x}\right)}^{2}}+{2 \ {\cos \left({2 \ x}\right)}}+ 1}}\right)}}\right)}\over 4(56)
Type: Union(Expression(Integer),...)
fricas
integrate(1/(1-cos(3*x))^(3/2), x)
\label{eq57}{\left( \begin{array}{@{}l} \displaystyle { \begin{array}{@{}l} \displaystyle {\left({{\sqrt{2}}\ {\cos \left({3 \ x}\right)}}-{\sqrt{2}}\right)}\ {\sin \left({3 \ x}\right)}\ \cdot \ \ \displaystyle {\log{\left({{{{\left({4 \ {\cos \left({3 \ x}\right)}}+ 4 \right)}\ {\sqrt{-{\cos \left({3 \ x}\right)}+ 1}}}+{{\left(-{{\sqrt{2}}\ {\cos \left({3 \ x}\right)}}-{3 \ {\sqrt{2}}}\right)}\ {\sin \left({3 \ x}\right)}}}\over{{\left({\cos \left({3 \ x}\right)}- 1 \right)}\ {\sin \left({3 \ x}\right)}}}\right)}} (57)
Type: Union(Expression(Integer),...)
fricas
integrate((1-sin(2/3*x))^(5/2), x)
\label{eq58}{\left({\left({ \begin{array}{@{}l} \displaystyle {{\left({ \begin{array}{@{}l} \displaystyle {3 \ {{\cos \left({{2 \ x}\over 3}\right)}^{2}}}+ \ \ \displaystyle {{14}\ {\cos{\left({{2 \ x}\over 3}\right)}}}- \ \ \displaystyle {32} (58)
Type: Union(Expression(Integer),...)
fricas
integrate(cos(x)*(-cos(x)^2+2*(1+2*sin(x))^(1/4))/(1+2*sin(x))^(3/2), x)
\label{eq59}{\left( \begin{array}{@{}l} \displaystyle -{{12}\ {{\root{4}\of{{2 \ {\sin \left({x}\right)}}+ 1}}^{3}}}+ \ \ \displaystyle {{\left(-{2 \ {\sin \left({x}\right)}}-{{\cos \left({x}\right)}^{2}}+ 2 \right)}\ {{\root{4}\of{{2 \ {\sin \left({x}\right)}}+ 1}}^{2}}} (59)
Type: Union(Expression(Integer),...)
fricas
-- Problems 62 - 66 (p. 268)
fricas
)set output tex off
fricas
)set output algebra on

integrate(sqrt(tan(x)), x)

   (62)
       -
              +-+
            4\|2
         *
            atan
                                               1
               -----------------------------------------------------------------
                +------------------------------------------+
                |              +------+
                |    +-+       |sin(x)
                |- 2\|2 cos(x) |------  + 2sin(x) + 2cos(x)         +------+
                |             \|cos(x)                          +-+ |sin(x)
                |------------------------------------------  + \|2  |------  - 1
               \|                  cos(x)                          \|cos(x)
     + 
       -
              +-+
            4\|2
         *
                                              1
          atan(---------------------------------------------------------------)
                +----------------------------------------+
                |            +------+
                |  +-+       |sin(x)
                |2\|2 cos(x) |------  + 2sin(x) + 2cos(x)         +------+
                |           \|cos(x)                          +-+ |sin(x)
                |----------------------------------------  + \|2  |------  + 1
               \|                 cos(x)                         \|cos(x)
     + 
                             +------+
                   +-+       |sin(x)
                 2\|2 cos(x) |------  + 2sin(x) + 2cos(x)
          +-+               \|cos(x)
       - \|2 log(----------------------------------------)
                                  cos(x)
     + 
                             +------+
                   +-+       |sin(x)
               - 2\|2 cos(x) |------  + 2sin(x) + 2cos(x)
        +-+                 \|cos(x)
       \|2 log(------------------------------------------)
                                 cos(x)
  /
     4
Type: Union(Expression(Integer),...)
fricas
integrate(1/tan(5*x)^(1/3), x)

   (63)
            3+-------+2              3+-------+2          3+-------+
       2log(\|tan(5x)   + 1) - log(- \|tan(5x)   + tan(5x)\|tan(5x)  + 1)
     + 
                  3+-------+2
         +-+     2\|tan(5x)   - 1
       2\|3 atan(----------------)
                        +-+
                       \|3
  /
     20
Type: Union(Expression(Integer),...)
fricas
integrate(1/(4+3*tan(2*x))^(3/2), x)

   (64)
       -
                   +-------------------+
               +-+ |3sin(2x) + 4cos(2x)
            36\|5  |-------------------
                  \|      cos(2x)
         *
            atan
                     +-+
                 125\|5
              /
                      +--+
                     \|10
                  *
                     ROOT
                                                   +-------------------+
                                   +-+ +--+        |3sin(2x) + 4cos(2x)
                            - 9375\|5 \|10 cos(2x) |-------------------
                                                  \|      cos(2x)
                          + 
                            46875sin(2x) + 140625cos(2x)
                       /
                          cos(2x)
                 + 
                            +-------------------+
                       +--+ |3sin(2x) + 4cos(2x)        +-+
                   125\|10  |-------------------  - 375\|5
                           \|      cos(2x)
     + 
       -
                   +-------------------+
               +-+ |3sin(2x) + 4cos(2x)
            36\|5  |-------------------
                  \|      cos(2x)
         *
            atan
                     +-+
                 125\|5
              /
                      +--+
                     \|10
                  *
                     ROOT
                                                 +-------------------+
                                 +-+ +--+        |3sin(2x) + 4cos(2x)
                            9375\|5 \|10 cos(2x) |-------------------
                                                \|      cos(2x)
                          + 
                            46875sin(2x) + 140625cos(2x)
                       /
                          cos(2x)
                 + 
                            +-------------------+
                       +--+ |3sin(2x) + 4cos(2x)        +-+
                   125\|10  |-------------------  + 375\|5
                           \|      cos(2x)
     + 
                +-------------------+
            +-+ |3sin(2x) + 4cos(2x)
         13\|5  |-------------------
               \|      cos(2x)
      *
         log
                                     +-------------------+
                     +-+ +--+        |3sin(2x) + 4cos(2x)
                9375\|5 \|10 cos(2x) |-------------------  + 46875sin(2x)
                                    \|      cos(2x)
              + 
                140625cos(2x)
           /
              cos(2x)
     + 
       -
                   +-------------------+
               +-+ |3sin(2x) + 4cos(2x)
            13\|5  |-------------------
                  \|      cos(2x)
         *
            log
                                          +-------------------+
                          +-+ +--+        |3sin(2x) + 4cos(2x)
                   - 9375\|5 \|10 cos(2x) |-------------------  + 46875sin(2x)
                                         \|      cos(2x)
                 + 
                   140625cos(2x)
              /
                 cos(2x)
     + 
            +--+
       - 60\|10
  /
              +-------------------+
         +--+ |3sin(2x) + 4cos(2x)
     500\|10  |-------------------
             \|      cos(2x)
Type: Union(Expression(Integer),...)
fricas
integrate((-sqrt(4-3*tan(x))+3*tan(x))/(cos(x)^2*(4-3*tan(x))^(3/2)), x)

   (65)
                             +-------------------+
                             |- 3sin(x) + 4cos(x)
       (12sin(x) - 32cos(x)) |-------------------
                            \|       cos(x)
     + 
                                      2
       (- 3sin(x) + 4cos(x))log(cos(x) )
     + 
                                                        2
                              - 24cos(x)sin(x) + 7cos(x)  + 9
       (3sin(x) - 4cos(x))log(-------------------------------)
                                             4
  /
     18sin(x) - 24cos(x)
Type: Union(Expression(Integer),...)
fricas
integrate(tan(x)/(-1+sqrt(tan(x)))^2, x)

   (66)
                 +------+
             (- \|tan(x)  + 1)
          *
              +------------------------------------------------------+
              |        2                               2
             \|- 3%%BN1  + (- 2%%BN0 - 2)%%BN1 - 3%%BN0  - 2%%BN0 - 1
         + 
               +------+                           +------+
           (- \|tan(x)  + 1)%%BN1 + (- %%BN0 - 1)\|tan(x)  + %%BN0 + 1
      *
         log
                ((32%%BN0 + 4)%%BN1 + 4%%BN0 + 2)
             *
                 +------------------------------------------------------+
                 |        2                               2
                \|- 3%%BN1  + (- 2%%BN0 - 2)%%BN1 - 3%%BN0  - 2%%BN0 - 1
            + 
                                  2             2
              (- 32%%BN0 - 4)%%BN1  + (- 32%%BN0  - 32%%BN0 - 2)%%BN1
            + 
                +------+         2
              6\|tan(x)  - 4%%BN0  - 2%%BN0 - 3
     + 
               +------+
             (\|tan(x)  - 1)
          *
              +------------------------------------------------------+
              |        2                               2
             \|- 3%%BN1  + (- 2%%BN0 - 2)%%BN1 - 3%%BN0  - 2%%BN0 - 1
         + 
               +------+                           +------+
           (- \|tan(x)  + 1)%%BN1 + (- %%BN0 - 1)\|tan(x)  + %%BN0 + 1
      *
         log
                ((- 32%%BN0 - 4)%%BN1 - 4%%BN0 - 2)
             *
                 +------------------------------------------------------+
                 |        2                               2
                \|- 3%%BN1  + (- 2%%BN0 - 2)%%BN1 - 3%%BN0  - 2%%BN0 - 1
            + 
                                  2             2
              (- 32%%BN0 - 4)%%BN1  + (- 32%%BN0  - 32%%BN0 - 2)%%BN1
            + 
                +------+         2
              6\|tan(x)  - 4%%BN0  - 2%%BN0 - 3
     + 
            +------+
         (2\|tan(x)  - 2)%%BN1
      *
         log
                                2           2                         +------+
              (64%%BN0 + 8)%%BN1  + (64%%BN0  + 64%%BN0 + 4)%%BN1 + 6\|tan(x)
            + 
                     3          2
              64%%BN0  + 64%%BN0  + 32%%BN0 - 1
     + 
                 +------+
         (2%%BN0\|tan(x)  - 2%%BN0)
      *
               +------+          3          2
         log(6\|tan(x)  - 64%%BN0  - 56%%BN0  - 28%%BN0 + 7)
     + 
          +------+          +------+
       (2\|tan(x)  - 2)log(\|tan(x)  - 1) - 2
  /
       +------+
     2\|tan(x)  - 2
Type: Union(Expression(Integer),...)
fricas
)set output tex on
fricas
)set output algebra off

-- Problems 67 - 75 (p. 272-273)
integrate(sin(x)/sqrt(sin(2*x)), x)
\label{eq60}{\left( \begin{array}{@{}l} \displaystyle - \ \ \displaystyle {\log{{\left({{{\left({2 \ {\sin \left({x}\right)}}+{2 \ {\cos \left({x}\right)}}\right)}\ {\sqrt{2 \ {\cos \left({x}\right)}\ {\sin \left({x}\right)}}}}+{4 \ {\cos \left({x}\right)}\ {\sin \left({x}\right)}}+ 1}\right)}}}+ \ \ \displaystyle {\log{\left({{{\left(-{2 \ {\sin \left({x}\right)}}-{2 \ {\cos \left({x}\right)}}\right)}\ {\sqrt{2 \ {\cos \left({x}\right)}\ {\sin \left({x}\right)}}}}+{4 \ {\cos \left({x}\right)}\ {\sin \left({x}\right)}}+ 1}\right)}}- \ \ \displaystyle {2 \ {\arctan \left({{{2 \ {\sqrt{2 \ {\cos \left({x}\right)}\ {\sin \left({x}\right)}}}}+{\sin \left({x}\right)}+{\cos \left({x}\right)}}\over{{\sin \left({x}\right)}-{\cos \left({x}\right)}}}\right)}}- \ \ \displaystyle {2 \ {\arctan \left({{{2 \ {\sqrt{2 \ {\cos \left({x}\right)}\ {\sin \left({x}\right)}}}}-{\sin \left({x}\right)}-{\cos \left({x}\right)}}\over{{\sin \left({x}\right)}-{\cos \left({x}\right)}}}\right)}} (60)
Type: Union(Expression(Integer),...)
fricas
integrate(cos(x)/sqrt(sin(2*x)), x)
\label{eq61}{\left( \begin{array}{@{}l} \displaystyle {\log{\left({{{\left({2 \ {\sin \left({x}\right)}}+{2 \ {\cos \left({x}\right)}}\right)}\ {\sqrt{2 \ {\cos \left({x}\right)}\ {\sin \left({x}\right)}}}}+{4 \ {\cos \left({x}\right)}\ {\sin \left({x}\right)}}+ 1}\right)}}- \ \ \displaystyle {\log{\left({{{\left(-{2 \ {\sin \left({x}\right)}}-{2 \ {\cos \left({x}\right)}}\right)}\ {\sqrt{2 \ {\cos \left({x}\right)}\ {\sin \left({x}\right)}}}}+{4 \ {\cos \left({x}\right)}\ {\sin \left({x}\right)}}+ 1}\right)}}- \ \ \displaystyle {2 \ {\arctan \left({{{2 \ {\sqrt{2 \ {\cos \left({x}\right)}\ {\sin \left({x}\right)}}}}+{\sin \left({x}\right)}+{\cos \left({x}\right)}}\over{{\sin \left({x}\right)}-{\cos \left({x}\right)}}}\right)}}- \ \ \displaystyle {2 \ {\arctan \left({{{2 \ {\sqrt{2 \ {\cos \left({x}\right)}\ {\sin \left({x}\right)}}}}-{\sin \left({x}\right)}-{\cos \left({x}\right)}}\over{{\sin \left({x}\right)}-{\cos \left({x}\right)}}}\right)}} (61)
Type: Union(Expression(Integer),...)
fricas
integrate(sin(x)*sqrt(sin(2*x)), x)
\label{eq62}{\left( \begin{array}{@{}l} \displaystyle {\log{\left({{{\left({2 \ {\sin \left({x}\right)}}+{2 \ {\cos \left({x}\right)}}\right)}\ {\sqrt{2 \ {\cos \left({x}\right)}\ {\sin \left({x}\right)}}}}+{4 \ {\cos \left({x}\right)}\ {\sin \left({x}\right)}}+ 1}\right)}}- \ \ \displaystyle {\log{\left({{{\left(-{2 \ {\sin \left({x}\right)}}-{2 \ {\cos \left({x}\right)}}\right)}\ {\sqrt{2 \ {\cos \left({x}\right)}\ {\sin \left({x}\right)}}}}+{4 \ {\cos \left({x}\right)}\ {\sin \left({x}\right)}}+ 1}\right)}}- \ \ \displaystyle {2 \ {\arctan \left({{{2 \ {\sqrt{2 \ {\cos \left({x}\right)}\ {\sin \left({x}\right)}}}}+{\sin \left({x}\right)}+{\cos \left({x}\right)}}\over{{\sin \left({x}\right)}-{\cos \left({x}\right)}}}\right)}}- \ \ \displaystyle {2 \ {\arctan \left({{{2 \ {\sqrt{2 \ {\cos \left({x}\right)}\ {\sin \left({x}\right)}}}}-{\sin \left({x}\right)}-{\cos \left({x}\right)}}\over{{\sin \left({x}\right)}-{\cos \left({x}\right)}}}\right)}}- \ \ \displaystyle {8 \ {\cos \left({x}\right)}\ {\sqrt{2 \ {\cos \left({x}\right)}\ {\sin \left({x}\right)}}}} (62)
Type: Union(Expression(Integer),...)
fricas
)set output tex off
fricas
)set output algebra on

integrate((cos(x)-sin(x))*sqrt(sin(2*x)), x)

   (70)
       -
          log
                         2                      3             +-------------+
               ((16cos(x)  + 4)sin(x) - 16cos(x)  + 20cos(x))\|2cos(x)sin(x)
             + 
                                        4           2
               16cos(x)sin(x) - 32cos(x)  + 32cos(x)  + 1
     + 
       log
                        2                      3             +-------------+
            ((- 16cos(x)  - 4)sin(x) + 16cos(x)  - 20cos(x))\|2cos(x)sin(x)
          + 
                                     4           2
            16cos(x)sin(x) - 32cos(x)  + 32cos(x)  + 1
     + 
                           +-------------+
       (8sin(x) + 8cos(x))\|2cos(x)sin(x)
  /
     16
Type: Union(Expression(Integer),...)
fricas
integrate(sin(x)^7/sin(2*x)^(7/2), x)

   (71)
              3                        +-------------+
       5cos(x) log((2sin(x) + 2cos(x))\|2cos(x)sin(x)  + 4cos(x)sin(x) + 1)
     + 
                3                          +-------------+
       - 5cos(x) log((- 2sin(x) - 2cos(x))\|2cos(x)sin(x)  + 4cos(x)sin(x) + 1)
     + 
                         +-------------+
                 3     2\|2cos(x)sin(x)  + sin(x) + cos(x)
       - 10cos(x) atan(-----------------------------------)
                                 sin(x) - cos(x)
     + 
                         +-------------+
                 3     2\|2cos(x)sin(x)  - sin(x) - cos(x)
       - 10cos(x) atan(-----------------------------------)
                                 sin(x) - cos(x)
     + 
                  2      +-------------+
       (- 48cos(x)  + 8)\|2cos(x)sin(x)
  /
              3
     320cos(x)
Type: Union(Expression(Integer),...)
fricas
)set output algebra off
fricas
)set output tex on

integrate(cos(x)^7/sin(2*x)^(7/2), x)
\label{eq63}{\left( \begin{array}{@{}l} \displaystyle { \begin{array}{@{}l} \displaystyle {\left(-{5 \ {{\cos \left({x}\right)}^{2}}}+ 5 \right)}\ {\sin \left({x}\right)}\ \cdot \ \ \displaystyle {\log{\left({{{\left({2 \ {\sin \left({x}\right)}}+{2 \ {\cos \left({x}\right)}}\right)}\ {\sqrt{2 \ {\cos \left({x}\right)}\ {\sin \left({x}\right)}}}}+{4 \ {\cos \left({x}\right)}\ {\sin \left({x}\right)}}+ 1}\right)}} (63)
Type: Union(Expression(Integer),...)
fricas
integrate(sin(2*x)^(3/2)/sin(x)^5, x)
\label{eq64}{4 \ {{\cos \left({x}\right)}^{2}}\ {\sqrt{2 \ {\cos \left({x}\right)}\ {\sin \left({x}\right)}}}}\over{{\left({5 \ {{\cos \left({x}\right)}^{2}}}- 5 \right)}\ {\sin \left({x}\right)}}(64)
Type: Union(Expression(Integer),...)
fricas
integrate(1/(cos(x)^3*sqrt(sin(2*x))), x)
\label{eq65}{{\left({4 \ {{\cos \left({x}\right)}^{2}}}+ 1 \right)}\ {\sqrt{2 \ {\cos \left({x}\right)}\ {\sin \left({x}\right)}}}}\over{5 \ {{\cos \left({x}\right)}^{3}}}(65)
Type: Union(Expression(Integer),...)
fricas
integrate(1/(sin(x)*sin(2*x)^(3/2)), x)
\label{eq66}{{\left({4 \ {{\cos \left({x}\right)}^{2}}}- 3 \right)}\ {\sqrt{2 \ {\cos \left({x}\right)}\ {\sin \left({x}\right)}}}}\over{{6 \ {{\cos \left({x}\right)}^{3}}}-{6 \ {\cos \left({x}\right)}}}(66)
Type: Union(Expression(Integer),...)
fricas
-- Fails
integrate(cos(x)^2*(cos(2*x)-3*tan(x))/((sin(x)^2-sin(2*x))*sin(2*x)^(5/2)), x)

   >> Error detected within library code:
   Imaginary part is nonzero. Cannot retract.

   Continuing to read the file...