Optimal. Leaf size=108 \[ -\frac{437 \sin (x)}{512 \left (1-2 \sin ^2(x)\right )}+\frac{203 \sin (x)}{768 \left (1-2 \sin ^2(x)\right )^2}-\frac{17 \sin (x)}{192 \left (1-2 \sin ^2(x)\right )^3}+\frac{\sin (x)}{32 \left (1-2 \sin ^2(x)\right )^4}-\frac{523}{256} \tanh ^{-1}(\sin (x))+\frac{1483 \tanh ^{-1}\left (\sqrt{2} \sin (x)\right )}{512 \sqrt{2}}-\frac{1}{128} \tan (x) \sec ^3(x)-\frac{43}{256} \tan (x) \sec (x) \]
[Out]
_______________________________________________________________________________________
Rubi [B] time = 2.33316, antiderivative size = 786, normalized size of antiderivative = 7.28, number of steps used = 45, number of rules used = 7, integrand size = 9, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.778 \[ \frac{451 \left (\tan \left (\frac{x}{2}\right )+1\right )}{512 \left (-\tan ^2\left (\frac{x}{2}\right )-2 \tan \left (\frac{x}{2}\right )+1\right )}-\frac{15 \tan \left (\frac{x}{2}\right )+89}{64 \left (-\tan ^2\left (\frac{x}{2}\right )-2 \tan \left (\frac{x}{2}\right )+1\right )}+\frac{89-15 \tan \left (\frac{x}{2}\right )}{64 \left (-\tan ^2\left (\frac{x}{2}\right )+2 \tan \left (\frac{x}{2}\right )+1\right )}-\frac{451 \left (1-\tan \left (\frac{x}{2}\right )\right )}{512 \left (-\tan ^2\left (\frac{x}{2}\right )+2 \tan \left (\frac{x}{2}\right )+1\right )}-\frac{1-43 \tan \left (\frac{x}{2}\right )}{32 \left (-\tan ^2\left (\frac{x}{2}\right )-2 \tan \left (\frac{x}{2}\right )+1\right )^2}-\frac{65 \left (\tan \left (\frac{x}{2}\right )+1\right )}{384 \left (-\tan ^2\left (\frac{x}{2}\right )-2 \tan \left (\frac{x}{2}\right )+1\right )^2}+\frac{65 \left (1-\tan \left (\frac{x}{2}\right )\right )}{384 \left (-\tan ^2\left (\frac{x}{2}\right )+2 \tan \left (\frac{x}{2}\right )+1\right )^2}+\frac{43 \tan \left (\frac{x}{2}\right )+1}{32 \left (-\tan ^2\left (\frac{x}{2}\right )+2 \tan \left (\frac{x}{2}\right )+1\right )^2}+\frac{119 \left (\tan \left (\frac{x}{2}\right )+1\right )}{48 \left (-\tan ^2\left (\frac{x}{2}\right )-2 \tan \left (\frac{x}{2}\right )+1\right )^3}-\frac{11 \left (3 \tan \left (\frac{x}{2}\right )+1\right )}{12 \left (-\tan ^2\left (\frac{x}{2}\right )-2 \tan \left (\frac{x}{2}\right )+1\right )^3}+\frac{11 \left (1-3 \tan \left (\frac{x}{2}\right )\right )}{12 \left (-\tan ^2\left (\frac{x}{2}\right )+2 \tan \left (\frac{x}{2}\right )+1\right )^3}-\frac{119 \left (1-\tan \left (\frac{x}{2}\right )\right )}{48 \left (-\tan ^2\left (\frac{x}{2}\right )+2 \tan \left (\frac{x}{2}\right )+1\right )^3}-\frac{7-17 \tan \left (\frac{x}{2}\right )}{4 \left (-\tan ^2\left (\frac{x}{2}\right )-2 \tan \left (\frac{x}{2}\right )+1\right )^4}+\frac{17 \tan \left (\frac{x}{2}\right )+7}{4 \left (-\tan ^2\left (\frac{x}{2}\right )+2 \tan \left (\frac{x}{2}\right )+1\right )^4}+\frac{45}{256 \left (1-\tan \left (\frac{x}{2}\right )\right )}-\frac{45}{256 \left (\tan \left (\frac{x}{2}\right )+1\right )}-\frac{47}{256 \left (1-\tan \left (\frac{x}{2}\right )\right )^2}+\frac{47}{256 \left (\tan \left (\frac{x}{2}\right )+1\right )^2}+\frac{1}{64 \left (1-\tan \left (\frac{x}{2}\right )\right )^3}-\frac{1}{64 \left (\tan \left (\frac{x}{2}\right )+1\right )^3}-\frac{1}{128 \left (1-\tan \left (\frac{x}{2}\right )\right )^4}+\frac{1}{128 \left (\tan \left (\frac{x}{2}\right )+1\right )^4}-\frac{523}{256} \tanh ^{-1}(\sin (x))-\frac{1483 \log \left (-\sqrt{2} \sin (x)-\sin (x)+\sqrt{2} \cos (x)+\cos (x)+\sqrt{2}+2\right )}{2048 \sqrt{2}}-\frac{1483 \log \left (-\sqrt{2} \sin (x)+\sin (x)-\sqrt{2} \cos (x)+\cos (x)-\sqrt{2}+2\right )}{2048 \sqrt{2}}+\frac{1483 \log \left (\sqrt{2} \sin (x)-\sin (x)-\sqrt{2} \cos (x)+\cos (x)-\sqrt{2}+2\right )}{2048 \sqrt{2}}+\frac{1483 \log \left (\sqrt{2} \sin (x)+\sin (x)+\sqrt{2} \cos (x)+\cos (x)+\sqrt{2}+2\right )}{2048 \sqrt{2}} \]
Antiderivative was successfully verified.
[In] Int[(Cos[x] + Cos[3*x])^(-5),x]
[Out]
_______________________________________________________________________________________
Rubi in Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \[ \text{Timed out} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] rubi_integrate(1/(cos(x)+cos(3*x))**5,x)
[Out]
_______________________________________________________________________________________
Mathematica [C] time = 6.58471, size = 478, normalized size = 4.43 \[ \frac{1483 \log \left (2 \sin (x)+\sqrt{2}\right )}{1024 \sqrt{2}}+\frac{83 \sin (x)}{512 (\cos (x)-\sin (x))^2}+\frac{\sin (x)}{128 (\cos (x)-\sin (x))^4}-\frac{437}{1024 (\cos (x)-\sin (x))}+\frac{437}{1024 (\sin (x)+\cos (x))}-\frac{43}{512 \left (\cos \left (\frac{x}{2}\right )-\sin \left (\frac{x}{2}\right )\right )^2}+\frac{43}{512 \left (\sin \left (\frac{x}{2}\right )+\cos \left (\frac{x}{2}\right )\right )^2}+\frac{83 \sin (x)}{512 (\sin (x)+\cos (x))^2}-\frac{17}{768 (\cos (x)-\sin (x))^3}+\frac{17}{768 (\sin (x)+\cos (x))^3}-\frac{1}{512 \left (\cos \left (\frac{x}{2}\right )-\sin \left (\frac{x}{2}\right )\right )^4}+\frac{1}{512 \left (\sin \left (\frac{x}{2}\right )+\cos \left (\frac{x}{2}\right )\right )^4}+\frac{\sin (x)}{128 (\sin (x)+\cos (x))^4}+\frac{523}{256} \log \left (\cos \left (\frac{x}{2}\right )-\sin \left (\frac{x}{2}\right )\right )-\frac{523}{256} \log \left (\sin \left (\frac{x}{2}\right )+\cos \left (\frac{x}{2}\right )\right )-\frac{1483 \log \left (-\sqrt{2} \sin (x)-\sqrt{2} \cos (x)+2\right )}{2048 \sqrt{2}}+\frac{\left (\frac{1483}{4096}-\frac{1483 i}{4096}\right ) \left (\sqrt{2}+(-1-i)\right ) \log \left (-\sqrt{2} \sin (x)+\sqrt{2} \cos (x)+2\right )}{\sqrt{2}+(-1+i)}-\frac{1483 i \tan ^{-1}\left (\frac{-\sqrt{2} \sin \left (\frac{x}{2}\right )-\sin \left (\frac{x}{2}\right )+\cos \left (\frac{x}{2}\right )}{-\sin \left (\frac{x}{2}\right )+\sqrt{2} \cos \left (\frac{x}{2}\right )-\cos \left (\frac{x}{2}\right )}\right )}{1024 \sqrt{2}}+\frac{\left (\frac{1483}{2048}+\frac{1483 i}{2048}\right ) \left (\sqrt{2}+(-1-i)\right ) \tan ^{-1}\left (\frac{-\sqrt{2} \sin \left (\frac{x}{2}\right )+\sin \left (\frac{x}{2}\right )+\cos \left (\frac{x}{2}\right )}{-\sin \left (\frac{x}{2}\right )+\sqrt{2} \cos \left (\frac{x}{2}\right )+\cos \left (\frac{x}{2}\right )}\right )}{\sqrt{2}+(-1+i)} \]
Antiderivative was successfully verified.
[In] Integrate[(Cos[x] + Cos[3*x])^(-5),x]
[Out]
_______________________________________________________________________________________
Maple [A] time = 0.096, size = 95, normalized size = 0.9 \[{\frac{1}{512\, \left ( 1+\sin \left ( x \right ) \right ) ^{2}}}+{\frac{43}{512+512\,\sin \left ( x \right ) }}-{\frac{523\,\ln \left ( 1+\sin \left ( x \right ) \right ) }{512}}-{\frac{1}{512\, \left ( -1+\sin \left ( x \right ) \right ) ^{2}}}+{\frac{43}{-512+512\,\sin \left ( x \right ) }}+{\frac{523\,\ln \left ( -1+\sin \left ( x \right ) \right ) }{512}}-4\,{\frac{1}{ \left ( 2\, \left ( \sin \left ( x \right ) \right ) ^{2}-1 \right ) ^{4}} \left ( -{\frac{437\, \left ( \sin \left ( x \right ) \right ) ^{7}}{256}}+{\frac{3527\, \left ( \sin \left ( x \right ) \right ) ^{5}}{1536}}-{\frac{3257\, \left ( \sin \left ( x \right ) \right ) ^{3}}{3072}}+{\frac{331\,\sin \left ( x \right ) }{2048}} \right ) }+{\frac{1483\,{\it Artanh} \left ( \sin \left ( x \right ) \sqrt{2} \right ) \sqrt{2}}{1024}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] int(1/(cos(x)+cos(3*x))^5,x)
[Out]
_______________________________________________________________________________________
Maxima [F] time = 0., size = 0, normalized size = 0. \[ \text{Timed out} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate((cos(3*x) + cos(x))^(-5),x, algorithm="maxima")
[Out]
_______________________________________________________________________________________
Fricas [A] time = 0.299649, size = 370, normalized size = 3.43 \[ \frac{4449 \,{\left (16 \, \cos \left (x\right )^{12} - 32 \, \cos \left (x\right )^{10} + 24 \, \cos \left (x\right )^{8} - 8 \, \cos \left (x\right )^{6} + \cos \left (x\right )^{4}\right )} \log \left (-\frac{2 \, \sqrt{2} \cos \left (x\right )^{2} - 3 \, \sqrt{2} - 4 \, \sin \left (x\right )}{2 \, \cos \left (x\right )^{2} - 1}\right ) - 3138 \,{\left (16 \, \sqrt{2} \cos \left (x\right )^{12} - 32 \, \sqrt{2} \cos \left (x\right )^{10} + 24 \, \sqrt{2} \cos \left (x\right )^{8} - 8 \, \sqrt{2} \cos \left (x\right )^{6} + \sqrt{2} \cos \left (x\right )^{4}\right )} \log \left (\sin \left (x\right ) + 1\right ) + 3138 \,{\left (16 \, \sqrt{2} \cos \left (x\right )^{12} - 32 \, \sqrt{2} \cos \left (x\right )^{10} + 24 \, \sqrt{2} \cos \left (x\right )^{8} - 8 \, \sqrt{2} \cos \left (x\right )^{6} + \sqrt{2} \cos \left (x\right )^{4}\right )} \log \left (-\sin \left (x\right ) + 1\right ) - 2 \,{\left (14616 \, \sqrt{2} \cos \left (x\right )^{10} - 25420 \, \sqrt{2} \cos \left (x\right )^{8} + 15570 \, \sqrt{2} \cos \left (x\right )^{6} - 3677 \, \sqrt{2} \cos \left (x\right )^{4} + 162 \, \sqrt{2} \cos \left (x\right )^{2} + 12 \, \sqrt{2}\right )} \sin \left (x\right )}{3072 \,{\left (16 \, \sqrt{2} \cos \left (x\right )^{12} - 32 \, \sqrt{2} \cos \left (x\right )^{10} + 24 \, \sqrt{2} \cos \left (x\right )^{8} - 8 \, \sqrt{2} \cos \left (x\right )^{6} + \sqrt{2} \cos \left (x\right )^{4}\right )}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate((cos(3*x) + cos(x))^(-5),x, algorithm="fricas")
[Out]
_______________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \[ \text{Timed out} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate(1/(cos(x)+cos(3*x))**5,x)
[Out]
_______________________________________________________________________________________
GIAC/XCAS [A] time = 0.213761, size = 140, normalized size = 1.3 \[ -\frac{1483}{2048} \, \sqrt{2}{\rm ln}\left (\frac{{\left | -2 \, \sqrt{2} + 4 \, \sin \left (x\right ) \right |}}{{\left | 2 \, \sqrt{2} + 4 \, \sin \left (x\right ) \right |}}\right ) + \frac{43 \, \sin \left (x\right )^{3} - 45 \, \sin \left (x\right )}{256 \,{\left (\sin \left (x\right )^{2} - 1\right )}^{2}} + \frac{10488 \, \sin \left (x\right )^{7} - 14108 \, \sin \left (x\right )^{5} + 6514 \, \sin \left (x\right )^{3} - 993 \, \sin \left (x\right )}{1536 \,{\left (2 \, \sin \left (x\right )^{2} - 1\right )}^{4}} - \frac{523}{512} \,{\rm ln}\left (\sin \left (x\right ) + 1\right ) + \frac{523}{512} \,{\rm ln}\left (-\sin \left (x\right ) + 1\right ) \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate((cos(3*x) + cos(x))^(-5),x, algorithm="giac")
[Out]