Optimal. Leaf size=42 \[ -\frac {67 x}{250}-\frac {29}{50 (3 \tan (x)+1)}-\frac {7}{10 (3 \tan (x)+1)^2}-\frac {28}{125} \log (3 \sin (x)+\cos (x)) \]
________________________________________________________________________________________
Rubi [A] time = 0.10, antiderivative size = 42, normalized size of antiderivative = 1.00, number of steps used = 4, number of rules used = 4, integrand size = 21, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.190, Rules used = {3628, 3529, 3531, 3530} \[ -\frac {67 x}{250}-\frac {29}{50 (3 \tan (x)+1)}-\frac {7}{10 (3 \tan (x)+1)^2}-\frac {28}{125} \log (3 \sin (x)+\cos (x)) \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 3529
Rule 3530
Rule 3531
Rule 3628
Rubi steps
\begin {align*} \int \frac {5-\tan (x)-6 \tan ^2(x)}{(1+3 \tan (x))^3} \, dx &=-\frac {7}{10 (1+3 \tan (x))^2}+\frac {1}{10} \int \frac {8-34 \tan (x)}{(1+3 \tan (x))^2} \, dx\\ &=-\frac {7}{10 (1+3 \tan (x))^2}-\frac {29}{50 (1+3 \tan (x))}+\frac {1}{100} \int \frac {-94-58 \tan (x)}{1+3 \tan (x)} \, dx\\ &=-\frac {67 x}{250}-\frac {7}{10 (1+3 \tan (x))^2}-\frac {29}{50 (1+3 \tan (x))}-\frac {28}{125} \int \frac {3-\tan (x)}{1+3 \tan (x)} \, dx\\ &=-\frac {67 x}{250}-\frac {28}{125} \log (\cos (x)+3 \sin (x))-\frac {7}{10 (1+3 \tan (x))^2}-\frac {29}{50 (1+3 \tan (x))}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 0.22, size = 70, normalized size = 1.67 \[ -\frac {670 x+560 \log (3 \sin (x)+\cos (x))-4 \cos (2 x) (134 x+112 \log (3 \sin (x)+\cos (x))-405)+6 \sin (2 x) (67 x+56 \log (3 \sin (x)+\cos (x))-90)-1305}{500 (3 \sin (x)+\cos (x))^2} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
IntegrateAlgebraic [F] time = 0.00, size = 0, normalized size = 0.00 \[ \int \frac {5-\tan (x)-6 \tan ^2(x)}{(1+3 \tan (x))^3} \, dx \]
Verification is Not applicable to the result.
[In]
[Out]
________________________________________________________________________________________
fricas [B] time = 1.09, size = 77, normalized size = 1.83 \[ -\frac {9 \, {\left (134 \, x - 1\right )} \tan \relax (x)^{2} + 56 \, {\left (9 \, \tan \relax (x)^{2} + 6 \, \tan \relax (x) + 1\right )} \log \left (\frac {9 \, \tan \relax (x)^{2} + 6 \, \tan \relax (x) + 1}{\tan \relax (x)^{2} + 1}\right ) + 12 \, {\left (67 \, x + 72\right )} \tan \relax (x) + 134 \, x + 639}{500 \, {\left (9 \, \tan \relax (x)^{2} + 6 \, \tan \relax (x) + 1\right )}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [A] time = 0.64, size = 39, normalized size = 0.93 \[ -\frac {67}{250} \, x - \frac {87 \, \tan \relax (x) + 64}{50 \, {\left (3 \, \tan \relax (x) + 1\right )}^{2}} + \frac {14}{125} \, \log \left (\tan \relax (x)^{2} + 1\right ) - \frac {28}{125} \, \log \left ({\left | 3 \, \tan \relax (x) + 1 \right |}\right ) \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.10, size = 45, normalized size = 1.07
method | result | size |
derivativedivides | \(\frac {14 \ln \left (1+\tan ^{2}\relax (x )\right )}{125}-\frac {67 \arctan \left (\tan \relax (x )\right )}{250}-\frac {7}{10 \left (1+3 \tan \relax (x )\right )^{2}}-\frac {29}{50 \left (1+3 \tan \relax (x )\right )}-\frac {28 \ln \left (1+3 \tan \relax (x )\right )}{125}\) | \(45\) |
default | \(\frac {14 \ln \left (1+\tan ^{2}\relax (x )\right )}{125}-\frac {67 \arctan \left (\tan \relax (x )\right )}{250}-\frac {7}{10 \left (1+3 \tan \relax (x )\right )^{2}}-\frac {29}{50 \left (1+3 \tan \relax (x )\right )}-\frac {28 \ln \left (1+3 \tan \relax (x )\right )}{125}\) | \(45\) |
risch | \(-\frac {67 x}{250}+\frac {28 i x}{125}+\frac {\left (-\frac {36}{24125}-\frac {621 i}{48250}\right ) \left (965 \,{\mathrm e}^{2 i x}-324+768 i\right )}{\left (5 \,{\mathrm e}^{2 i x}-4+3 i\right )^{2}}-\frac {28 \ln \left ({\mathrm e}^{2 i x}-\frac {4}{5}+\frac {3 i}{5}\right )}{125}\) | \(49\) |
norman | \(\frac {\frac {297 \tan \relax (x )}{50}+\frac {288 \left (\tan ^{2}\relax (x )\right )}{25}-\frac {67 x}{250}-\frac {201 x \tan \relax (x )}{125}-\frac {603 x \left (\tan ^{2}\relax (x )\right )}{250}}{\left (1+3 \tan \relax (x )\right )^{2}}-\frac {28 \ln \left (1+3 \tan \relax (x )\right )}{125}+\frac {14 \ln \left (1+\tan ^{2}\relax (x )\right )}{125}\) | \(55\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [A] time = 1.00, size = 44, normalized size = 1.05 \[ -\frac {67}{250} \, x - \frac {87 \, \tan \relax (x) + 64}{50 \, {\left (9 \, \tan \relax (x)^{2} + 6 \, \tan \relax (x) + 1\right )}} + \frac {14}{125} \, \log \left (\tan \relax (x)^{2} + 1\right ) - \frac {28}{125} \, \log \left (3 \, \tan \relax (x) + 1\right ) \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 0.28, size = 48, normalized size = 1.14 \[ -\frac {28\,\ln \left (\mathrm {tan}\relax (x)+\frac {1}{3}\right )}{125}-\frac {\frac {29\,\mathrm {tan}\relax (x)}{150}+\frac {32}{225}}{{\mathrm {tan}\relax (x)}^2+\frac {2\,\mathrm {tan}\relax (x)}{3}+\frac {1}{9}}+\ln \left (\mathrm {tan}\relax (x)-\mathrm {i}\right )\,\left (\frac {14}{125}+\frac {67}{500}{}\mathrm {i}\right )+\ln \left (\mathrm {tan}\relax (x)+1{}\mathrm {i}\right )\,\left (\frac {14}{125}-\frac {67}{500}{}\mathrm {i}\right ) \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [B] time = 0.56, size = 252, normalized size = 6.00 \[ - \frac {603 x \tan ^{2}{\relax (x )}}{2250 \tan ^{2}{\relax (x )} + 1500 \tan {\relax (x )} + 250} - \frac {402 x \tan {\relax (x )}}{2250 \tan ^{2}{\relax (x )} + 1500 \tan {\relax (x )} + 250} - \frac {67 x}{2250 \tan ^{2}{\relax (x )} + 1500 \tan {\relax (x )} + 250} - \frac {504 \log {\left (\tan {\relax (x )} + \frac {1}{3} \right )} \tan ^{2}{\relax (x )}}{2250 \tan ^{2}{\relax (x )} + 1500 \tan {\relax (x )} + 250} - \frac {336 \log {\left (\tan {\relax (x )} + \frac {1}{3} \right )} \tan {\relax (x )}}{2250 \tan ^{2}{\relax (x )} + 1500 \tan {\relax (x )} + 250} - \frac {56 \log {\left (\tan {\relax (x )} + \frac {1}{3} \right )}}{2250 \tan ^{2}{\relax (x )} + 1500 \tan {\relax (x )} + 250} + \frac {252 \log {\left (\tan ^{2}{\relax (x )} + 1 \right )} \tan ^{2}{\relax (x )}}{2250 \tan ^{2}{\relax (x )} + 1500 \tan {\relax (x )} + 250} + \frac {168 \log {\left (\tan ^{2}{\relax (x )} + 1 \right )} \tan {\relax (x )}}{2250 \tan ^{2}{\relax (x )} + 1500 \tan {\relax (x )} + 250} + \frac {28 \log {\left (\tan ^{2}{\relax (x )} + 1 \right )}}{2250 \tan ^{2}{\relax (x )} + 1500 \tan {\relax (x )} + 250} - \frac {435 \tan {\relax (x )}}{2250 \tan ^{2}{\relax (x )} + 1500 \tan {\relax (x )} + 250} - \frac {320}{2250 \tan ^{2}{\relax (x )} + 1500 \tan {\relax (x )} + 250} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________