Integrand size = 30, antiderivative size = 20 \[ \int \frac {-16 e x+24 x^2+(-4 e+8 x) \log (\log (2))}{3 \log (\log (2))} \, dx=\frac {1}{3} x (-e+x) \left (4+\frac {8 x}{\log (\log (2))}\right ) \]
[Out]
Time = 0.01 (sec) , antiderivative size = 37, normalized size of antiderivative = 1.85, number of steps used = 2, number of rules used = 1, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.033, Rules used = {12} \[ \int \frac {-16 e x+24 x^2+(-4 e+8 x) \log (\log (2))}{3 \log (\log (2))} \, dx=\frac {8 x^3}{3 \log (\log (2))}-\frac {8 e x^2}{3 \log (\log (2))}+\frac {1}{3} (e-2 x)^2 \]
[In]
[Out]
Rule 12
Rubi steps \begin{align*} \text {integral}& = \frac {\int \left (-16 e x+24 x^2+(-4 e+8 x) \log (\log (2))\right ) \, dx}{3 \log (\log (2))} \\ & = \frac {1}{3} (e-2 x)^2-\frac {8 e x^2}{3 \log (\log (2))}+\frac {8 x^3}{3 \log (\log (2))} \\ \end{align*}
Time = 0.01 (sec) , antiderivative size = 36, normalized size of antiderivative = 1.80 \[ \int \frac {-16 e x+24 x^2+(-4 e+8 x) \log (\log (2))}{3 \log (\log (2))} \, dx=\frac {-8 e x^2+8 x^3-4 e x \log (\log (2))+4 x^2 \log (\log (2))}{3 \log (\log (2))} \]
[In]
[Out]
Time = 0.07 (sec) , antiderivative size = 32, normalized size of antiderivative = 1.60
method | result | size |
gosper | \(-\frac {4 x \left (\ln \left (\ln \left (2\right )\right ) {\mathrm e}+2 x \,{\mathrm e}-x \ln \left (\ln \left (2\right )\right )-2 x^{2}\right )}{3 \ln \left (\ln \left (2\right )\right )}\) | \(32\) |
risch | \(-\frac {4 x \,{\mathrm e}}{3}-\frac {8 x^{2} {\mathrm e}}{3 \ln \left (\ln \left (2\right )\right )}+\frac {4 x^{2}}{3}+\frac {8 x^{3}}{3 \ln \left (\ln \left (2\right )\right )}\) | \(34\) |
default | \(\frac {-4 \ln \left (\ln \left (2\right )\right ) {\mathrm e} x -8 x^{2} {\mathrm e}+4 x^{2} \ln \left (\ln \left (2\right )\right )+8 x^{3}}{3 \ln \left (\ln \left (2\right )\right )}\) | \(37\) |
norman | \(-\frac {4 x \,{\mathrm e}}{3}+\frac {8 x^{3}}{3 \ln \left (\ln \left (2\right )\right )}-\frac {4 \left (2 \,{\mathrm e}-\ln \left (\ln \left (2\right )\right )\right ) x^{2}}{3 \ln \left (\ln \left (2\right )\right )}\) | \(37\) |
parallelrisch | \(\frac {-4 \ln \left (\ln \left (2\right )\right ) {\mathrm e} x -8 x^{2} {\mathrm e}+4 x^{2} \ln \left (\ln \left (2\right )\right )+8 x^{3}}{3 \ln \left (\ln \left (2\right )\right )}\) | \(37\) |
[In]
[Out]
none
Time = 0.25 (sec) , antiderivative size = 33, normalized size of antiderivative = 1.65 \[ \int \frac {-16 e x+24 x^2+(-4 e+8 x) \log (\log (2))}{3 \log (\log (2))} \, dx=\frac {4 \, {\left (2 \, x^{3} - 2 \, x^{2} e + {\left (x^{2} - x e\right )} \log \left (\log \left (2\right )\right )\right )}}{3 \, \log \left (\log \left (2\right )\right )} \]
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 41 vs. \(2 (19) = 38\).
Time = 0.03 (sec) , antiderivative size = 41, normalized size of antiderivative = 2.05 \[ \int \frac {-16 e x+24 x^2+(-4 e+8 x) \log (\log (2))}{3 \log (\log (2))} \, dx=\frac {8 x^{3}}{3 \log {\left (\log {\left (2 \right )} \right )}} + \frac {x^{2} \left (- 8 e + 4 \log {\left (\log {\left (2 \right )} \right )}\right )}{3 \log {\left (\log {\left (2 \right )} \right )}} - \frac {4 e x}{3} \]
[In]
[Out]
none
Time = 0.19 (sec) , antiderivative size = 33, normalized size of antiderivative = 1.65 \[ \int \frac {-16 e x+24 x^2+(-4 e+8 x) \log (\log (2))}{3 \log (\log (2))} \, dx=\frac {4 \, {\left (2 \, x^{3} - 2 \, x^{2} e + {\left (x^{2} - x e\right )} \log \left (\log \left (2\right )\right )\right )}}{3 \, \log \left (\log \left (2\right )\right )} \]
[In]
[Out]
none
Time = 0.25 (sec) , antiderivative size = 33, normalized size of antiderivative = 1.65 \[ \int \frac {-16 e x+24 x^2+(-4 e+8 x) \log (\log (2))}{3 \log (\log (2))} \, dx=\frac {4 \, {\left (2 \, x^{3} - 2 \, x^{2} e + {\left (x^{2} - x e\right )} \log \left (\log \left (2\right )\right )\right )}}{3 \, \log \left (\log \left (2\right )\right )} \]
[In]
[Out]
Time = 0.09 (sec) , antiderivative size = 21, normalized size of antiderivative = 1.05 \[ \int \frac {-16 e x+24 x^2+(-4 e+8 x) \log (\log (2))}{3 \log (\log (2))} \, dx=\frac {4\,x\,\left (2\,x+\ln \left (\ln \left (2\right )\right )\right )\,\left (x-\mathrm {e}\right )}{3\,\ln \left (\ln \left (2\right )\right )} \]
[In]
[Out]