Integrand size = 15, antiderivative size = 11 \[ \int \frac {\sec ^4(x) \tan (x)}{4+\sec ^4(x)} \, dx=\frac {1}{4} \log \left (4+\sec ^4(x)\right ) \]
[Out]
Time = 0.06 (sec) , antiderivative size = 19, normalized size of antiderivative = 1.73, number of steps used = 5, number of rules used = 5, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.333, Rules used = {4424, 272, 36, 29, 31} \[ \int \frac {\sec ^4(x) \tan (x)}{4+\sec ^4(x)} \, dx=\frac {1}{4} \log \left (4 \cos ^4(x)+1\right )-\log (\cos (x)) \]
[In]
[Out]
Rule 29
Rule 31
Rule 36
Rule 272
Rule 4424
Rubi steps \begin{align*} \text {integral}& = -\text {Subst}\left (\int \frac {1}{x \left (1+4 x^4\right )} \, dx,x,\cos (x)\right ) \\ & = -\left (\frac {1}{4} \text {Subst}\left (\int \frac {1}{x (1+4 x)} \, dx,x,\cos ^4(x)\right )\right ) \\ & = -\left (\frac {1}{4} \text {Subst}\left (\int \frac {1}{x} \, dx,x,\cos ^4(x)\right )\right )+\text {Subst}\left (\int \frac {1}{1+4 x} \, dx,x,\cos ^4(x)\right ) \\ & = -\log (\cos (x))+\frac {1}{4} \log \left (1+4 \cos ^4(x)\right ) \\ \end{align*}
Time = 0.02 (sec) , antiderivative size = 19, normalized size of antiderivative = 1.73 \[ \int \frac {\sec ^4(x) \tan (x)}{4+\sec ^4(x)} \, dx=-\log (\cos (x))+\frac {1}{4} \log \left (1+4 \cos ^4(x)\right ) \]
[In]
[Out]
Time = 3.91 (sec) , antiderivative size = 10, normalized size of antiderivative = 0.91
method | result | size |
derivativedivides | \(\frac {\ln \left (\sec \left (x \right )^{4}+4\right )}{4}\) | \(10\) |
default | \(\frac {\ln \left (\sec \left (x \right )^{4}+4\right )}{4}\) | \(10\) |
risch | \(-\ln \left ({\mathrm e}^{2 i x}+1\right )+\frac {\ln \left ({\mathrm e}^{8 i x}+4 \,{\mathrm e}^{6 i x}+10 \,{\mathrm e}^{4 i x}+4 \,{\mathrm e}^{2 i x}+1\right )}{4}\) | \(43\) |
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 19 vs. \(2 (9) = 18\).
Time = 0.26 (sec) , antiderivative size = 19, normalized size of antiderivative = 1.73 \[ \int \frac {\sec ^4(x) \tan (x)}{4+\sec ^4(x)} \, dx=\frac {1}{4} \, \log \left (4 \, \cos \left (x\right )^{4} + 1\right ) - \log \left (-\cos \left (x\right )\right ) \]
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 29 vs. \(2 (8) = 16\).
Time = 0.25 (sec) , antiderivative size = 29, normalized size of antiderivative = 2.64 \[ \int \frac {\sec ^4(x) \tan (x)}{4+\sec ^4(x)} \, dx=\frac {\log {\left (\sec ^{2}{\left (x \right )} - 2 \sec {\left (x \right )} + 2 \right )}}{4} + \frac {\log {\left (\sec ^{2}{\left (x \right )} + 2 \sec {\left (x \right )} + 2 \right )}}{4} \]
[In]
[Out]
none
Time = 0.19 (sec) , antiderivative size = 9, normalized size of antiderivative = 0.82 \[ \int \frac {\sec ^4(x) \tan (x)}{4+\sec ^4(x)} \, dx=\frac {1}{4} \, \log \left (\sec \left (x\right )^{4} + 4\right ) \]
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 19 vs. \(2 (9) = 18\).
Time = 0.26 (sec) , antiderivative size = 19, normalized size of antiderivative = 1.73 \[ \int \frac {\sec ^4(x) \tan (x)}{4+\sec ^4(x)} \, dx=\frac {1}{4} \, \log \left (4 \, \cos \left (x\right )^{4} + 1\right ) - \frac {1}{4} \, \log \left (\cos \left (x\right )^{4}\right ) \]
[In]
[Out]
Time = 15.04 (sec) , antiderivative size = 15, normalized size of antiderivative = 1.36 \[ \int \frac {\sec ^4(x) \tan (x)}{4+\sec ^4(x)} \, dx=\frac {\ln \left ({\mathrm {tan}\left (x\right )}^4+2\,{\mathrm {tan}\left (x\right )}^2+5\right )}{4} \]
[In]
[Out]