Integrand size = 28, antiderivative size = 20 \[ \int \left (-3 x^2+e^{1-4 x+\log ^2(\log (3))} \left (2 x-4 x^2\right )\right ) \, dx=\left (e^{1-4 x+\log ^2(\log (3))}-x\right ) x^2 \]
[Out]
Time = 0.08 (sec) , antiderivative size = 22, normalized size of antiderivative = 1.10, number of steps used = 9, number of rules used = 4, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.143, Rules used = {1607, 2227, 2207, 2225} \[ \int \left (-3 x^2+e^{1-4 x+\log ^2(\log (3))} \left (2 x-4 x^2\right )\right ) \, dx=x^2 e^{-4 x+1+\log ^2(\log (3))}-x^3 \]
[In]
[Out]
Rule 1607
Rule 2207
Rule 2225
Rule 2227
Rubi steps \begin{align*} \text {integral}& = -x^3+\int e^{1-4 x+\log ^2(\log (3))} \left (2 x-4 x^2\right ) \, dx \\ & = -x^3+\int e^{1-4 x+\log ^2(\log (3))} (2-4 x) x \, dx \\ & = -x^3+\int \left (2 e^{1-4 x+\log ^2(\log (3))} x-4 e^{1-4 x+\log ^2(\log (3))} x^2\right ) \, dx \\ & = -x^3+2 \int e^{1-4 x+\log ^2(\log (3))} x \, dx-4 \int e^{1-4 x+\log ^2(\log (3))} x^2 \, dx \\ & = -\frac {1}{2} e^{1-4 x+\log ^2(\log (3))} x+e^{1-4 x+\log ^2(\log (3))} x^2-x^3+\frac {1}{2} \int e^{1-4 x+\log ^2(\log (3))} \, dx-2 \int e^{1-4 x+\log ^2(\log (3))} x \, dx \\ & = -\frac {1}{8} e^{1-4 x+\log ^2(\log (3))}+e^{1-4 x+\log ^2(\log (3))} x^2-x^3-\frac {1}{2} \int e^{1-4 x+\log ^2(\log (3))} \, dx \\ & = e^{1-4 x+\log ^2(\log (3))} x^2-x^3 \\ \end{align*}
Time = 0.28 (sec) , antiderivative size = 20, normalized size of antiderivative = 1.00 \[ \int \left (-3 x^2+e^{1-4 x+\log ^2(\log (3))} \left (2 x-4 x^2\right )\right ) \, dx=\left (e^{1-4 x+\log ^2(\log (3))}-x\right ) x^2 \]
[In]
[Out]
Time = 0.19 (sec) , antiderivative size = 22, normalized size of antiderivative = 1.10
method | result | size |
norman | \({\mathrm e}^{\ln \left (\ln \left (3\right )\right )^{2}-4 x +1} x^{2}-x^{3}\) | \(22\) |
risch | \({\mathrm e}^{\ln \left (\ln \left (3\right )\right )^{2}-4 x +1} x^{2}-x^{3}\) | \(22\) |
parallelrisch | \({\mathrm e}^{\ln \left (\ln \left (3\right )\right )^{2}-4 x +1} x^{2}-x^{3}\) | \(22\) |
default | \(-\frac {{\mathrm e}^{\ln \left (\ln \left (3\right )\right )^{2}-4 x +1} \ln \left (\ln \left (3\right )\right )^{4}}{16}+\frac {{\mathrm e}^{\ln \left (\ln \left (3\right )\right )^{2}-4 x +1} \ln \left (\ln \left (3\right )\right )^{2} x}{2}+\frac {{\mathrm e}^{\ln \left (\ln \left (3\right )\right )^{2}-4 x +1} \left (\ln \left (\ln \left (3\right )\right )^{2}-4 x +1\right )^{2}}{16}-\frac {{\mathrm e}^{\ln \left (\ln \left (3\right )\right )^{2}-4 x +1} \left (\ln \left (\ln \left (3\right )\right )^{2}-4 x +1\right )}{8}+\frac {{\mathrm e}^{\ln \left (\ln \left (3\right )\right )^{2}-4 x +1}}{16}-x^{3}\) | \(105\) |
parts | \(-\frac {{\mathrm e}^{\ln \left (\ln \left (3\right )\right )^{2}-4 x +1} \ln \left (\ln \left (3\right )\right )^{4}}{16}+\frac {{\mathrm e}^{\ln \left (\ln \left (3\right )\right )^{2}-4 x +1} \ln \left (\ln \left (3\right )\right )^{2} x}{2}+\frac {{\mathrm e}^{\ln \left (\ln \left (3\right )\right )^{2}-4 x +1} \left (\ln \left (\ln \left (3\right )\right )^{2}-4 x +1\right )^{2}}{16}-\frac {{\mathrm e}^{\ln \left (\ln \left (3\right )\right )^{2}-4 x +1} \left (\ln \left (\ln \left (3\right )\right )^{2}-4 x +1\right )}{8}+\frac {{\mathrm e}^{\ln \left (\ln \left (3\right )\right )^{2}-4 x +1}}{16}-x^{3}\) | \(105\) |
derivativedivides | \(-x^{3}-\frac {\ln \left (\ln \left (3\right )\right )^{2} \left ({\mathrm e}^{\ln \left (\ln \left (3\right )\right )^{2}-4 x +1} \left (\ln \left (\ln \left (3\right )\right )^{2}-4 x +1\right )-{\mathrm e}^{\ln \left (\ln \left (3\right )\right )^{2}-4 x +1}\right )}{8}+\frac {{\mathrm e}^{\ln \left (\ln \left (3\right )\right )^{2}-4 x +1} \left (\ln \left (\ln \left (3\right )\right )^{2}-4 x +1\right )^{2}}{16}-\frac {{\mathrm e}^{\ln \left (\ln \left (3\right )\right )^{2}-4 x +1} \left (\ln \left (\ln \left (3\right )\right )^{2}-4 x +1\right )}{8}+\frac {{\mathrm e}^{\ln \left (\ln \left (3\right )\right )^{2}-4 x +1}}{16}+\frac {{\mathrm e}^{\ln \left (\ln \left (3\right )\right )^{2}-4 x +1} \ln \left (\ln \left (3\right )\right )^{4}}{16}\) | \(129\) |
[In]
[Out]
none
Time = 0.23 (sec) , antiderivative size = 21, normalized size of antiderivative = 1.05 \[ \int \left (-3 x^2+e^{1-4 x+\log ^2(\log (3))} \left (2 x-4 x^2\right )\right ) \, dx=-x^{3} + x^{2} e^{\left (\log \left (\log \left (3\right )\right )^{2} - 4 \, x + 1\right )} \]
[In]
[Out]
Time = 0.06 (sec) , antiderivative size = 19, normalized size of antiderivative = 0.95 \[ \int \left (-3 x^2+e^{1-4 x+\log ^2(\log (3))} \left (2 x-4 x^2\right )\right ) \, dx=- x^{3} + x^{2} e^{- 4 x + \log {\left (\log {\left (3 \right )} \right )}^{2} + 1} \]
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 71 vs. \(2 (20) = 40\).
Time = 0.29 (sec) , antiderivative size = 71, normalized size of antiderivative = 3.55 \[ \int \left (-3 x^2+e^{1-4 x+\log ^2(\log (3))} \left (2 x-4 x^2\right )\right ) \, dx=-x^{3} + \frac {1}{8} \, {\left (8 \, x^{2} e^{\left (\log \left (\log \left (3\right )\right )^{2} + 1\right )} + 4 \, x e^{\left (\log \left (\log \left (3\right )\right )^{2} + 1\right )} + e^{\left (\log \left (\log \left (3\right )\right )^{2} + 1\right )}\right )} e^{\left (-4 \, x\right )} - \frac {1}{8} \, {\left (4 \, x e^{\left (\log \left (\log \left (3\right )\right )^{2} + 1\right )} + e^{\left (\log \left (\log \left (3\right )\right )^{2} + 1\right )}\right )} e^{\left (-4 \, x\right )} \]
[In]
[Out]
none
Time = 0.27 (sec) , antiderivative size = 21, normalized size of antiderivative = 1.05 \[ \int \left (-3 x^2+e^{1-4 x+\log ^2(\log (3))} \left (2 x-4 x^2\right )\right ) \, dx=-x^{3} + x^{2} e^{\left (\log \left (\log \left (3\right )\right )^{2} - 4 \, x + 1\right )} \]
[In]
[Out]
Time = 0.08 (sec) , antiderivative size = 22, normalized size of antiderivative = 1.10 \[ \int \left (-3 x^2+e^{1-4 x+\log ^2(\log (3))} \left (2 x-4 x^2\right )\right ) \, dx=x^2\,{\mathrm {e}}^{-4\,x}\,\mathrm {e}\,{\mathrm {e}}^{{\ln \left (\ln \left (3\right )\right )}^2}-x^3 \]
[In]
[Out]