Integrand size = 88, antiderivative size = 28 \[ \int \frac {\left (-4 x^2+x \log ^2(2)\right ) \log (x)+e^{5+\log ^2\left (\frac {3}{\log (x)}\right )} \left (16 x \log (x)+\left (-32 x+8 \log ^2(2)\right ) \log \left (\frac {1}{4} \left (4 x-\log ^2(2)\right )\right ) \log \left (\frac {3}{\log (x)}\right )\right )}{\left (-4 x^2+x \log ^2(2)\right ) \log (x)} \, dx=x-4 e^{5+\log ^2\left (\frac {3}{\log (x)}\right )} \log \left (x-\frac {\log ^2(2)}{4}\right ) \]
[Out]
Leaf count is larger than twice the leaf count of optimal. \(84\) vs. \(2(28)=56\).
Time = 1.38 (sec) , antiderivative size = 84, normalized size of antiderivative = 3.00, number of steps used = 4, number of rules used = 3, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.034, Rules used = {1607, 6874, 2326} \[ \int \frac {\left (-4 x^2+x \log ^2(2)\right ) \log (x)+e^{5+\log ^2\left (\frac {3}{\log (x)}\right )} \left (16 x \log (x)+\left (-32 x+8 \log ^2(2)\right ) \log \left (\frac {1}{4} \left (4 x-\log ^2(2)\right )\right ) \log \left (\frac {3}{\log (x)}\right )\right )}{\left (-4 x^2+x \log ^2(2)\right ) \log (x)} \, dx=x-\frac {4 e^{\log ^2\left (\frac {3}{\log (x)}\right )+5} \left (4 x \log \left (x-\frac {\log ^2(2)}{4}\right ) \log \left (\frac {3}{\log (x)}\right )-\log ^2(2) \log \left (x-\frac {\log ^2(2)}{4}\right ) \log \left (\frac {3}{\log (x)}\right )\right )}{\left (4 x-\log ^2(2)\right ) \log \left (\frac {3}{\log (x)}\right )} \]
[In]
[Out]
Rule 1607
Rule 2326
Rule 6874
Rubi steps \begin{align*} \text {integral}& = \int \frac {\left (-4 x^2+x \log ^2(2)\right ) \log (x)+e^{5+\log ^2\left (\frac {3}{\log (x)}\right )} \left (16 x \log (x)+\left (-32 x+8 \log ^2(2)\right ) \log \left (\frac {1}{4} \left (4 x-\log ^2(2)\right )\right ) \log \left (\frac {3}{\log (x)}\right )\right )}{x \left (-4 x+\log ^2(2)\right ) \log (x)} \, dx \\ & = \int \left (1-\frac {8 e^{5+\log ^2\left (\frac {3}{\log (x)}\right )} \left (2 x \log (x)-4 x \log \left (x-\frac {\log ^2(2)}{4}\right ) \log \left (\frac {3}{\log (x)}\right )+\log ^2(2) \log \left (x-\frac {\log ^2(2)}{4}\right ) \log \left (\frac {3}{\log (x)}\right )\right )}{x \left (4 x-\log ^2(2)\right ) \log (x)}\right ) \, dx \\ & = x-8 \int \frac {e^{5+\log ^2\left (\frac {3}{\log (x)}\right )} \left (2 x \log (x)-4 x \log \left (x-\frac {\log ^2(2)}{4}\right ) \log \left (\frac {3}{\log (x)}\right )+\log ^2(2) \log \left (x-\frac {\log ^2(2)}{4}\right ) \log \left (\frac {3}{\log (x)}\right )\right )}{x \left (4 x-\log ^2(2)\right ) \log (x)} \, dx \\ & = x-\frac {4 e^{5+\log ^2\left (\frac {3}{\log (x)}\right )} \left (4 x \log \left (x-\frac {\log ^2(2)}{4}\right ) \log \left (\frac {3}{\log (x)}\right )-\log ^2(2) \log \left (x-\frac {\log ^2(2)}{4}\right ) \log \left (\frac {3}{\log (x)}\right )\right )}{\left (4 x-\log ^2(2)\right ) \log \left (\frac {3}{\log (x)}\right )} \\ \end{align*}
Time = 0.15 (sec) , antiderivative size = 28, normalized size of antiderivative = 1.00 \[ \int \frac {\left (-4 x^2+x \log ^2(2)\right ) \log (x)+e^{5+\log ^2\left (\frac {3}{\log (x)}\right )} \left (16 x \log (x)+\left (-32 x+8 \log ^2(2)\right ) \log \left (\frac {1}{4} \left (4 x-\log ^2(2)\right )\right ) \log \left (\frac {3}{\log (x)}\right )\right )}{\left (-4 x^2+x \log ^2(2)\right ) \log (x)} \, dx=x-4 e^{5+\log ^2\left (\frac {3}{\log (x)}\right )} \log \left (x-\frac {\log ^2(2)}{4}\right ) \]
[In]
[Out]
Time = 34.67 (sec) , antiderivative size = 32, normalized size of antiderivative = 1.14
method | result | size |
parallelrisch | \(\frac {\ln \left (2\right )^{2}}{2}-4 \ln \left (-\frac {\ln \left (2\right )^{2}}{4}+x \right ) {\mathrm e}^{\ln \left (\frac {3}{\ln \left (x \right )}\right )^{2}+5}+x\) | \(32\) |
risch | \(-4 \ln \left (-\frac {\ln \left (2\right )^{2}}{4}+x \right ) \ln \left (x \right )^{-2 \ln \left (3\right )} {\mathrm e}^{\ln \left (3\right )^{2}+5+\ln \left (\ln \left (x \right )\right )^{2}}+x\) | \(33\) |
[In]
[Out]
none
Time = 0.27 (sec) , antiderivative size = 25, normalized size of antiderivative = 0.89 \[ \int \frac {\left (-4 x^2+x \log ^2(2)\right ) \log (x)+e^{5+\log ^2\left (\frac {3}{\log (x)}\right )} \left (16 x \log (x)+\left (-32 x+8 \log ^2(2)\right ) \log \left (\frac {1}{4} \left (4 x-\log ^2(2)\right )\right ) \log \left (\frac {3}{\log (x)}\right )\right )}{\left (-4 x^2+x \log ^2(2)\right ) \log (x)} \, dx=-4 \, e^{\left (\log \left (\frac {3}{\log \left (x\right )}\right )^{2} + 5\right )} \log \left (-\frac {1}{4} \, \log \left (2\right )^{2} + x\right ) + x \]
[In]
[Out]
Timed out. \[ \int \frac {\left (-4 x^2+x \log ^2(2)\right ) \log (x)+e^{5+\log ^2\left (\frac {3}{\log (x)}\right )} \left (16 x \log (x)+\left (-32 x+8 \log ^2(2)\right ) \log \left (\frac {1}{4} \left (4 x-\log ^2(2)\right )\right ) \log \left (\frac {3}{\log (x)}\right )\right )}{\left (-4 x^2+x \log ^2(2)\right ) \log (x)} \, dx=\text {Timed out} \]
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 57 vs. \(2 (25) = 50\).
Time = 0.39 (sec) , antiderivative size = 57, normalized size of antiderivative = 2.04 \[ \int \frac {\left (-4 x^2+x \log ^2(2)\right ) \log (x)+e^{5+\log ^2\left (\frac {3}{\log (x)}\right )} \left (16 x \log (x)+\left (-32 x+8 \log ^2(2)\right ) \log \left (\frac {1}{4} \left (4 x-\log ^2(2)\right )\right ) \log \left (\frac {3}{\log (x)}\right )\right )}{\left (-4 x^2+x \log ^2(2)\right ) \log (x)} \, dx=8 \, e^{\left (\log \left (3\right )^{2} - 2 \, \log \left (3\right ) \log \left (\log \left (x\right )\right ) + \log \left (\log \left (x\right )\right )^{2} + 5\right )} \log \left (2\right ) - 4 \, e^{\left (\log \left (3\right )^{2} - 2 \, \log \left (3\right ) \log \left (\log \left (x\right )\right ) + \log \left (\log \left (x\right )\right )^{2} + 5\right )} \log \left (-\log \left (2\right )^{2} + 4 \, x\right ) + x \]
[In]
[Out]
\[ \int \frac {\left (-4 x^2+x \log ^2(2)\right ) \log (x)+e^{5+\log ^2\left (\frac {3}{\log (x)}\right )} \left (16 x \log (x)+\left (-32 x+8 \log ^2(2)\right ) \log \left (\frac {1}{4} \left (4 x-\log ^2(2)\right )\right ) \log \left (\frac {3}{\log (x)}\right )\right )}{\left (-4 x^2+x \log ^2(2)\right ) \log (x)} \, dx=\int { \frac {8 \, {\left ({\left (\log \left (2\right )^{2} - 4 \, x\right )} \log \left (-\frac {1}{4} \, \log \left (2\right )^{2} + x\right ) \log \left (\frac {3}{\log \left (x\right )}\right ) + 2 \, x \log \left (x\right )\right )} e^{\left (\log \left (\frac {3}{\log \left (x\right )}\right )^{2} + 5\right )} + {\left (x \log \left (2\right )^{2} - 4 \, x^{2}\right )} \log \left (x\right )}{{\left (x \log \left (2\right )^{2} - 4 \, x^{2}\right )} \log \left (x\right )} \,d x } \]
[In]
[Out]
Time = 13.65 (sec) , antiderivative size = 37, normalized size of antiderivative = 1.32 \[ \int \frac {\left (-4 x^2+x \log ^2(2)\right ) \log (x)+e^{5+\log ^2\left (\frac {3}{\log (x)}\right )} \left (16 x \log (x)+\left (-32 x+8 \log ^2(2)\right ) \log \left (\frac {1}{4} \left (4 x-\log ^2(2)\right )\right ) \log \left (\frac {3}{\log (x)}\right )\right )}{\left (-4 x^2+x \log ^2(2)\right ) \log (x)} \, dx=x-4\,{\mathrm {e}}^{{\ln \left (3\right )}^2}\,{\mathrm {e}}^5\,{\mathrm {e}}^{{\ln \left (\frac {1}{\ln \left (x\right )}\right )}^2}\,\ln \left (x-\frac {{\ln \left (2\right )}^2}{4}\right )\,{\left (\frac {1}{\ln \left (x\right )}\right )}^{2\,\ln \left (3\right )} \]
[In]
[Out]