Integrand size = 11, antiderivative size = 29 \[ \int x^3 \tanh (a+2 \log (x)) \, dx=\frac {x^4}{4}-\frac {1}{2} e^{-2 a} \log \left (1+e^{2 a} x^4\right ) \]
[Out]
Time = 0.04 (sec) , antiderivative size = 29, normalized size of antiderivative = 1.00, number of steps used = 4, number of rules used = 3, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.273, Rules used = {5656, 455, 45} \[ \int x^3 \tanh (a+2 \log (x)) \, dx=\frac {x^4}{4}-\frac {1}{2} e^{-2 a} \log \left (e^{2 a} x^4+1\right ) \]
[In]
[Out]
Rule 45
Rule 455
Rule 5656
Rubi steps \begin{align*} \text {integral}& = \int \frac {x^3 \left (-1+e^{2 a} x^4\right )}{1+e^{2 a} x^4} \, dx \\ & = \frac {1}{4} \text {Subst}\left (\int \frac {-1+e^{2 a} x}{1+e^{2 a} x} \, dx,x,x^4\right ) \\ & = \frac {1}{4} \text {Subst}\left (\int \left (1-\frac {2}{1+e^{2 a} x}\right ) \, dx,x,x^4\right ) \\ & = \frac {x^4}{4}-\frac {1}{2} e^{-2 a} \log \left (1+e^{2 a} x^4\right ) \\ \end{align*}
Leaf count is larger than twice the leaf count of optimal. \(64\) vs. \(2(29)=58\).
Time = 0.02 (sec) , antiderivative size = 64, normalized size of antiderivative = 2.21 \[ \int x^3 \tanh (a+2 \log (x)) \, dx=\frac {x^4}{4}-\frac {1}{2} \cosh (2 a) \log \left (\cosh (a)+x^4 \cosh (a)-\sinh (a)+x^4 \sinh (a)\right )+\frac {1}{2} \log \left (\cosh (a)+x^4 \cosh (a)-\sinh (a)+x^4 \sinh (a)\right ) \sinh (2 a) \]
[In]
[Out]
Time = 0.20 (sec) , antiderivative size = 24, normalized size of antiderivative = 0.83
method | result | size |
risch | \(\frac {x^{4}}{4}-\frac {{\mathrm e}^{-2 a} \ln \left (1+{\mathrm e}^{2 a} x^{4}\right )}{2}\) | \(24\) |
[In]
[Out]
none
Time = 0.26 (sec) , antiderivative size = 28, normalized size of antiderivative = 0.97 \[ \int x^3 \tanh (a+2 \log (x)) \, dx=\frac {1}{4} \, {\left (x^{4} e^{\left (2 \, a\right )} - 2 \, \log \left (x^{4} e^{\left (2 \, a\right )} + 1\right )\right )} e^{\left (-2 \, a\right )} \]
[In]
[Out]
\[ \int x^3 \tanh (a+2 \log (x)) \, dx=\int x^{3} \tanh {\left (a + 2 \log {\left (x \right )} \right )}\, dx \]
[In]
[Out]
none
Time = 0.20 (sec) , antiderivative size = 23, normalized size of antiderivative = 0.79 \[ \int x^3 \tanh (a+2 \log (x)) \, dx=\frac {1}{4} \, x^{4} - \frac {1}{2} \, e^{\left (-2 \, a\right )} \log \left (x^{4} e^{\left (2 \, a\right )} + 1\right ) \]
[In]
[Out]
none
Time = 0.26 (sec) , antiderivative size = 23, normalized size of antiderivative = 0.79 \[ \int x^3 \tanh (a+2 \log (x)) \, dx=\frac {1}{4} \, x^{4} - \frac {1}{2} \, e^{\left (-2 \, a\right )} \log \left (x^{4} e^{\left (2 \, a\right )} + 1\right ) \]
[In]
[Out]
Time = 1.71 (sec) , antiderivative size = 21, normalized size of antiderivative = 0.72 \[ \int x^3 \tanh (a+2 \log (x)) \, dx=\frac {x^4}{4}-\frac {{\mathrm {e}}^{-2\,a}\,\ln \left (x^4+{\mathrm {e}}^{-2\,a}\right )}{2} \]
[In]
[Out]