Optimal. Leaf size=74 \[ \frac{\tan (x)}{3}-\frac{4}{9} \tanh ^{-1}(\sin (x))-\frac{1}{9} \sqrt{7} \log \left (\sqrt{7} \cos \left (\frac{x}{2}\right )-\sin \left (\frac{x}{2}\right )\right )+\frac{1}{9} \sqrt{7} \log \left (\sin \left (\frac{x}{2}\right )+\sqrt{7} \cos \left (\frac{x}{2}\right )\right ) \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.246008, antiderivative size = 74, normalized size of antiderivative = 1., number of steps used = 7, number of rules used = 7, integrand size = 15, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.467, Rules used = {4397, 2723, 3056, 3001, 3770, 2659, 206} \[ \frac{\tan (x)}{3}-\frac{4}{9} \tanh ^{-1}(\sin (x))-\frac{1}{9} \sqrt{7} \log \left (\sqrt{7} \cos \left (\frac{x}{2}\right )-\sin \left (\frac{x}{2}\right )\right )+\frac{1}{9} \sqrt{7} \log \left (\sin \left (\frac{x}{2}\right )+\sqrt{7} \cos \left (\frac{x}{2}\right )\right ) \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 4397
Rule 2723
Rule 3056
Rule 3001
Rule 3770
Rule 2659
Rule 206
Rubi steps
\begin{align*} \int \frac{\sec (x) \tan ^2(x)}{4+3 \sec (x)} \, dx &=\int \frac{\tan ^2(x)}{3+4 \cos (x)} \, dx\\ &=\int \frac{\left (1-\cos ^2(x)\right ) \sec ^2(x)}{3+4 \cos (x)} \, dx\\ &=\frac{\tan (x)}{3}+\frac{1}{3} \int \frac{(-4-3 \cos (x)) \sec (x)}{3+4 \cos (x)} \, dx\\ &=\frac{\tan (x)}{3}-\frac{4}{9} \int \sec (x) \, dx+\frac{7}{9} \int \frac{1}{3+4 \cos (x)} \, dx\\ &=-\frac{4}{9} \tanh ^{-1}(\sin (x))+\frac{\tan (x)}{3}+\frac{14}{9} \operatorname{Subst}\left (\int \frac{1}{7-x^2} \, dx,x,\tan \left (\frac{x}{2}\right )\right )\\ &=-\frac{4}{9} \tanh ^{-1}(\sin (x))-\frac{1}{9} \sqrt{7} \log \left (\sqrt{7} \cos \left (\frac{x}{2}\right )-\sin \left (\frac{x}{2}\right )\right )+\frac{1}{9} \sqrt{7} \log \left (\sqrt{7} \cos \left (\frac{x}{2}\right )+\sin \left (\frac{x}{2}\right )\right )+\frac{\tan (x)}{3}\\ \end{align*}
Mathematica [A] time = 0.0782563, size = 63, normalized size = 0.85 \[ \frac{1}{9} \left (3 \tan (x)+2 \sqrt{7} \tanh ^{-1}\left (\frac{\tan \left (\frac{x}{2}\right )}{\sqrt{7}}\right )+4 \log \left (\cos \left (\frac{x}{2}\right )-\sin \left (\frac{x}{2}\right )\right )-4 \log \left (\sin \left (\frac{x}{2}\right )+\cos \left (\frac{x}{2}\right )\right )\right ) \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.021, size = 55, normalized size = 0.7 \begin{align*} -{\frac{1}{3} \left ( 1+\tan \left ({\frac{x}{2}} \right ) \right ) ^{-1}}-{\frac{4}{9}\ln \left ( 1+\tan \left ({\frac{x}{2}} \right ) \right ) }-{\frac{1}{3} \left ( \tan \left ({\frac{x}{2}} \right ) -1 \right ) ^{-1}}+{\frac{4}{9}\ln \left ( \tan \left ({\frac{x}{2}} \right ) -1 \right ) }+{\frac{2\,\sqrt{7}}{9}{\it Artanh} \left ({\frac{\sqrt{7}}{7}\tan \left ({\frac{x}{2}} \right ) } \right ) } \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 1.43588, size = 123, normalized size = 1.66 \begin{align*} -\frac{1}{9} \, \sqrt{7} \log \left (-\frac{\sqrt{7} - \frac{\sin \left (x\right )}{\cos \left (x\right ) + 1}}{\sqrt{7} + \frac{\sin \left (x\right )}{\cos \left (x\right ) + 1}}\right ) - \frac{2 \, \sin \left (x\right )}{3 \,{\left (\frac{\sin \left (x\right )^{2}}{{\left (\cos \left (x\right ) + 1\right )}^{2}} - 1\right )}{\left (\cos \left (x\right ) + 1\right )}} - \frac{4}{9} \, \log \left (\frac{\sin \left (x\right )}{\cos \left (x\right ) + 1} + 1\right ) + \frac{4}{9} \, \log \left (\frac{\sin \left (x\right )}{\cos \left (x\right ) + 1} - 1\right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 2.45333, size = 274, normalized size = 3.7 \begin{align*} \frac{\sqrt{7} \cos \left (x\right ) \log \left (\frac{2 \, \cos \left (x\right )^{2} + 2 \,{\left (3 \, \sqrt{7} \cos \left (x\right ) + 4 \, \sqrt{7}\right )} \sin \left (x\right ) + 24 \, \cos \left (x\right ) + 23}{16 \, \cos \left (x\right )^{2} + 24 \, \cos \left (x\right ) + 9}\right ) - 4 \, \cos \left (x\right ) \log \left (\sin \left (x\right ) + 1\right ) + 4 \, \cos \left (x\right ) \log \left (-\sin \left (x\right ) + 1\right ) + 6 \, \sin \left (x\right )}{18 \, \cos \left (x\right )} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{\tan ^{2}{\left (x \right )} \sec{\left (x \right )}}{3 \sec{\left (x \right )} + 4}\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.22474, size = 97, normalized size = 1.31 \begin{align*} -\frac{1}{9} \, \sqrt{7} \log \left (\frac{{\left | -2 \, \sqrt{7} + 2 \, \tan \left (\frac{1}{2} \, x\right ) \right |}}{{\left | 2 \, \sqrt{7} + 2 \, \tan \left (\frac{1}{2} \, x\right ) \right |}}\right ) - \frac{2 \, \tan \left (\frac{1}{2} \, x\right )}{3 \,{\left (\tan \left (\frac{1}{2} \, x\right )^{2} - 1\right )}} - \frac{4}{9} \, \log \left ({\left | \tan \left (\frac{1}{2} \, x\right ) + 1 \right |}\right ) + \frac{4}{9} \, \log \left ({\left | \tan \left (\frac{1}{2} \, x\right ) - 1 \right |}\right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]