Integrand size = 54, antiderivative size = 27 \[ \int \frac {\left (-2-2 x^2+2 \log \left (16 x \log ^2(\log (5))\right )\right ) \log \left (\frac {x^2+\log \left (16 x \log ^2(\log (5))\right )}{x}\right )}{x^3+x \log \left (16 x \log ^2(\log (5))\right )} \, dx=1-e^{12}-\log ^2\left (x+\frac {\log \left (16 x \log ^2(\log (5))\right )}{x}\right ) \]
[Out]
Time = 0.47 (sec) , antiderivative size = 22, normalized size of antiderivative = 0.81, number of steps used = 2, number of rules used = 6, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.111, Rules used = {2641, 6873, 12, 6874, 6816, 6818} \[ \int \frac {\left (-2-2 x^2+2 \log \left (16 x \log ^2(\log (5))\right )\right ) \log \left (\frac {x^2+\log \left (16 x \log ^2(\log (5))\right )}{x}\right )}{x^3+x \log \left (16 x \log ^2(\log (5))\right )} \, dx=-\log ^2\left (\frac {x^2+\log \left (16 x \log ^2(\log (5))\right )}{x}\right ) \]
[In]
[Out]
Rule 12
Rule 2641
Rule 6816
Rule 6818
Rule 6873
Rule 6874
Rubi steps \begin{align*} \text {integral}& = \int \frac {\left (-2-2 x^2+2 \log \left (16 x \log ^2(\log (5))\right )\right ) \log \left (\frac {x^2+\log \left (16 x \log ^2(\log (5))\right )}{x}\right )}{x \left (x^2+\log \left (16 x \log ^2(\log (5))\right )\right )} \, dx \\ & = -\log ^2\left (\frac {x^2+\log \left (16 x \log ^2(\log (5))\right )}{x}\right ) \\ \end{align*}
Time = 0.03 (sec) , antiderivative size = 20, normalized size of antiderivative = 0.74 \[ \int \frac {\left (-2-2 x^2+2 \log \left (16 x \log ^2(\log (5))\right )\right ) \log \left (\frac {x^2+\log \left (16 x \log ^2(\log (5))\right )}{x}\right )}{x^3+x \log \left (16 x \log ^2(\log (5))\right )} \, dx=-\log ^2\left (x+\frac {\log \left (16 x \log ^2(\log (5))\right )}{x}\right ) \]
[In]
[Out]
Time = 0.10 (sec) , antiderivative size = 26, normalized size of antiderivative = 0.96
method | result | size |
default | \(-\ln \left (\frac {4 \ln \left (2\right )+2 \ln \left (\ln \left (\ln \left (5\right )\right )\right )+\ln \left (x \right )+x^{2}}{x}\right )^{2}\) | \(26\) |
[In]
[Out]
none
Time = 0.24 (sec) , antiderivative size = 22, normalized size of antiderivative = 0.81 \[ \int \frac {\left (-2-2 x^2+2 \log \left (16 x \log ^2(\log (5))\right )\right ) \log \left (\frac {x^2+\log \left (16 x \log ^2(\log (5))\right )}{x}\right )}{x^3+x \log \left (16 x \log ^2(\log (5))\right )} \, dx=-\log \left (\frac {x^{2} + \log \left (16 \, x \log \left (\log \left (5\right )\right )^{2}\right )}{x}\right )^{2} \]
[In]
[Out]
Time = 0.12 (sec) , antiderivative size = 20, normalized size of antiderivative = 0.74 \[ \int \frac {\left (-2-2 x^2+2 \log \left (16 x \log ^2(\log (5))\right )\right ) \log \left (\frac {x^2+\log \left (16 x \log ^2(\log (5))\right )}{x}\right )}{x^3+x \log \left (16 x \log ^2(\log (5))\right )} \, dx=- \log {\left (\frac {x^{2} + \log {\left (16 x \log {\left (\log {\left (5 \right )} \right )}^{2} \right )}}{x} \right )}^{2} \]
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 87 vs. \(2 (26) = 52\).
Time = 0.30 (sec) , antiderivative size = 87, normalized size of antiderivative = 3.22 \[ \int \frac {\left (-2-2 x^2+2 \log \left (16 x \log ^2(\log (5))\right )\right ) \log \left (\frac {x^2+\log \left (16 x \log ^2(\log (5))\right )}{x}\right )}{x^3+x \log \left (16 x \log ^2(\log (5))\right )} \, dx=\log \left (x^{2} + 4 \, \log \left (2\right ) + \log \left (x\right ) + 2 \, \log \left (\log \left (\log \left (5\right )\right )\right )\right )^{2} - 2 \, \log \left (x^{2} + 4 \, \log \left (2\right ) + \log \left (x\right ) + 2 \, \log \left (\log \left (\log \left (5\right )\right )\right )\right ) \log \left (x\right ) + \log \left (x\right )^{2} - 2 \, {\left (\log \left (x^{2} + 4 \, \log \left (2\right ) + \log \left (x\right ) + 2 \, \log \left (\log \left (\log \left (5\right )\right )\right )\right ) - \log \left (x\right )\right )} \log \left (\frac {x^{2} + \log \left (16 \, x \log \left (\log \left (5\right )\right )^{2}\right )}{x}\right ) \]
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 60 vs. \(2 (26) = 52\).
Time = 0.28 (sec) , antiderivative size = 60, normalized size of antiderivative = 2.22 \[ \int \frac {\left (-2-2 x^2+2 \log \left (16 x \log ^2(\log (5))\right )\right ) \log \left (\frac {x^2+\log \left (16 x \log ^2(\log (5))\right )}{x}\right )}{x^3+x \log \left (16 x \log ^2(\log (5))\right )} \, dx=-2 \, {\left (\log \left (x^{2} + \log \left (16 \, \log \left (\log \left (5\right )\right )^{2}\right ) + \log \left (x\right )\right ) - \log \left (x\right )\right )} \log \left (x^{2} + \log \left (16 \, x \log \left (\log \left (5\right )\right )^{2}\right )\right ) + \log \left (x^{2} + \log \left (16 \, \log \left (\log \left (5\right )\right )^{2}\right ) + \log \left (x\right )\right )^{2} - \log \left (x\right )^{2} \]
[In]
[Out]
Time = 13.06 (sec) , antiderivative size = 22, normalized size of antiderivative = 0.81 \[ \int \frac {\left (-2-2 x^2+2 \log \left (16 x \log ^2(\log (5))\right )\right ) \log \left (\frac {x^2+\log \left (16 x \log ^2(\log (5))\right )}{x}\right )}{x^3+x \log \left (16 x \log ^2(\log (5))\right )} \, dx=-{\ln \left (\frac {\ln \left (16\,x\,{\ln \left (\ln \left (5\right )\right )}^2\right )+x^2}{x}\right )}^2 \]
[In]
[Out]