Integrand size = 81, antiderivative size = 27 \[ \int \frac {e^{-9-\log ^2\left (\frac {1}{16} \left (4 x^2-\log (x)\right )\right )} \left (4 x^2-\log (x)\right )^6 \left (30-240 x^2+\left (-10+80 x^2\right ) \log \left (\frac {1}{16} \left (4 x^2-\log (x)\right )\right )\right )}{16777216 \left (-4 x^3+x \log (x)\right )} \, dx=5 e^{-\left (3-\log \left (\frac {1}{16} \left (4 x^2-\log (x)\right )\right )\right )^2} \]
[Out]
Leaf count is larger than twice the leaf count of optimal. \(68\) vs. \(2(27)=54\).
Time = 0.12 (sec) , antiderivative size = 68, normalized size of antiderivative = 2.52, number of steps used = 2, number of rules used = 2, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.025, Rules used = {12, 2326} \[ \int \frac {e^{-9-\log ^2\left (\frac {1}{16} \left (4 x^2-\log (x)\right )\right )} \left (4 x^2-\log (x)\right )^6 \left (30-240 x^2+\left (-10+80 x^2\right ) \log \left (\frac {1}{16} \left (4 x^2-\log (x)\right )\right )\right )}{16777216 \left (-4 x^3+x \log (x)\right )} \, dx=\frac {5 \left (1-8 x^2\right ) e^{-\log ^2\left (\frac {1}{16} \left (4 x^2-\log (x)\right )\right )-9} \left (4 x^2-\log (x)\right )^7}{16777216 \left (\frac {1}{x}-8 x\right ) \left (4 x^3-x \log (x)\right )} \]
[In]
[Out]
Rule 12
Rule 2326
Rubi steps \begin{align*} \text {integral}& = \frac {\int \frac {e^{-9-\log ^2\left (\frac {1}{16} \left (4 x^2-\log (x)\right )\right )} \left (4 x^2-\log (x)\right )^6 \left (30-240 x^2+\left (-10+80 x^2\right ) \log \left (\frac {1}{16} \left (4 x^2-\log (x)\right )\right )\right )}{-4 x^3+x \log (x)} \, dx}{16777216} \\ & = \frac {5 e^{-9-\log ^2\left (\frac {1}{16} \left (4 x^2-\log (x)\right )\right )} \left (1-8 x^2\right ) \left (4 x^2-\log (x)\right )^7}{16777216 \left (\frac {1}{x}-8 x\right ) \left (4 x^3-x \log (x)\right )} \\ \end{align*}
Time = 0.13 (sec) , antiderivative size = 37, normalized size of antiderivative = 1.37 \[ \int \frac {e^{-9-\log ^2\left (\frac {1}{16} \left (4 x^2-\log (x)\right )\right )} \left (4 x^2-\log (x)\right )^6 \left (30-240 x^2+\left (-10+80 x^2\right ) \log \left (\frac {1}{16} \left (4 x^2-\log (x)\right )\right )\right )}{16777216 \left (-4 x^3+x \log (x)\right )} \, dx=\frac {5 e^{-9-\log ^2\left (\frac {1}{16} \left (4 x^2-\log (x)\right )\right )} \left (-4 x^2+\log (x)\right )^6}{16777216} \]
[In]
[Out]
Time = 0.49 (sec) , antiderivative size = 33, normalized size of antiderivative = 1.22
method | result | size |
risch | \(5 \left (\frac {x^{2}}{4}-\frac {\ln \left (x \right )}{16}\right )^{6} {\mathrm e}^{-\ln \left (\frac {x^{2}}{4}-\frac {\ln \left (x \right )}{16}\right )^{2}-9}\) | \(33\) |
parallelrisch | \(5 \left (\frac {x^{2}}{4}+\ln \left (\frac {1}{x^{\frac {1}{16}}}\right )\right )^{6} {\mathrm e}^{-\ln \left (\frac {x^{2}}{4}+\ln \left (\frac {1}{x^{\frac {1}{16}}}\right )\right )^{2}-9}\) | \(34\) |
[In]
[Out]
none
Time = 0.25 (sec) , antiderivative size = 33, normalized size of antiderivative = 1.22 \[ \int \frac {e^{-9-\log ^2\left (\frac {1}{16} \left (4 x^2-\log (x)\right )\right )} \left (4 x^2-\log (x)\right )^6 \left (30-240 x^2+\left (-10+80 x^2\right ) \log \left (\frac {1}{16} \left (4 x^2-\log (x)\right )\right )\right )}{16777216 \left (-4 x^3+x \log (x)\right )} \, dx=5 \, e^{\left (-\log \left (\frac {1}{4} \, x^{2} - \frac {1}{16} \, \log \left (x\right )\right )^{2} + 6 \, \log \left (\frac {1}{4} \, x^{2} - \frac {1}{16} \, \log \left (x\right )\right ) - 9\right )} \]
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 80 vs. \(2 (17) = 34\).
Time = 4.88 (sec) , antiderivative size = 80, normalized size of antiderivative = 2.96 \[ \int \frac {e^{-9-\log ^2\left (\frac {1}{16} \left (4 x^2-\log (x)\right )\right )} \left (4 x^2-\log (x)\right )^6 \left (30-240 x^2+\left (-10+80 x^2\right ) \log \left (\frac {1}{16} \left (4 x^2-\log (x)\right )\right )\right )}{16777216 \left (-4 x^3+x \log (x)\right )} \, dx=\frac {\left (20480 x^{12} - 30720 x^{10} \log {\left (x \right )} + 19200 x^{8} \log {\left (x \right )}^{2} - 6400 x^{6} \log {\left (x \right )}^{3} + 1200 x^{4} \log {\left (x \right )}^{4} - 120 x^{2} \log {\left (x \right )}^{5} + 5 \log {\left (x \right )}^{6}\right ) e^{- \log {\left (\frac {x^{2}}{4} - \frac {\log {\left (x \right )}}{16} \right )}^{2} - 9}}{16777216} \]
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 94 vs. \(2 (20) = 40\).
Time = 0.48 (sec) , antiderivative size = 94, normalized size of antiderivative = 3.48 \[ \int \frac {e^{-9-\log ^2\left (\frac {1}{16} \left (4 x^2-\log (x)\right )\right )} \left (4 x^2-\log (x)\right )^6 \left (30-240 x^2+\left (-10+80 x^2\right ) \log \left (\frac {1}{16} \left (4 x^2-\log (x)\right )\right )\right )}{16777216 \left (-4 x^3+x \log (x)\right )} \, dx=\frac {5}{16777216} \, {\left (4096 \, x^{12} - 6144 \, x^{10} \log \left (x\right ) + 3840 \, x^{8} \log \left (x\right )^{2} - 1280 \, x^{6} \log \left (x\right )^{3} + 240 \, x^{4} \log \left (x\right )^{4} - 24 \, x^{2} \log \left (x\right )^{5} + \log \left (x\right )^{6}\right )} e^{\left (-16 \, \log \left (2\right )^{2} + 8 \, \log \left (2\right ) \log \left (4 \, x^{2} - \log \left (x\right )\right ) - \log \left (4 \, x^{2} - \log \left (x\right )\right )^{2} - 9\right )} \]
[In]
[Out]
none
Time = 0.40 (sec) , antiderivative size = 33, normalized size of antiderivative = 1.22 \[ \int \frac {e^{-9-\log ^2\left (\frac {1}{16} \left (4 x^2-\log (x)\right )\right )} \left (4 x^2-\log (x)\right )^6 \left (30-240 x^2+\left (-10+80 x^2\right ) \log \left (\frac {1}{16} \left (4 x^2-\log (x)\right )\right )\right )}{16777216 \left (-4 x^3+x \log (x)\right )} \, dx=5 \, e^{\left (-\log \left (\frac {1}{4} \, x^{2} - \frac {1}{16} \, \log \left (x\right )\right )^{2} + 6 \, \log \left (\frac {1}{4} \, x^{2} - \frac {1}{16} \, \log \left (x\right )\right ) - 9\right )} \]
[In]
[Out]
Time = 12.27 (sec) , antiderivative size = 181, normalized size of antiderivative = 6.70 \[ \int \frac {e^{-9-\log ^2\left (\frac {1}{16} \left (4 x^2-\log (x)\right )\right )} \left (4 x^2-\log (x)\right )^6 \left (30-240 x^2+\left (-10+80 x^2\right ) \log \left (\frac {1}{16} \left (4 x^2-\log (x)\right )\right )\right )}{16777216 \left (-4 x^3+x \log (x)\right )} \, dx=\frac {5\,x^{12}\,{\mathrm {e}}^{-{\ln \left (\frac {x^2}{4}-\frac {\ln \left (x\right )}{16}\right )}^2-9}}{4096}+\frac {5\,{\mathrm {e}}^{-{\ln \left (\frac {x^2}{4}-\frac {\ln \left (x\right )}{16}\right )}^2-9}\,{\ln \left (x\right )}^6}{16777216}-\frac {15\,x^2\,{\mathrm {e}}^{-{\ln \left (\frac {x^2}{4}-\frac {\ln \left (x\right )}{16}\right )}^2-9}\,{\ln \left (x\right )}^5}{2097152}+\frac {75\,x^4\,{\mathrm {e}}^{-{\ln \left (\frac {x^2}{4}-\frac {\ln \left (x\right )}{16}\right )}^2-9}\,{\ln \left (x\right )}^4}{1048576}-\frac {25\,x^6\,{\mathrm {e}}^{-{\ln \left (\frac {x^2}{4}-\frac {\ln \left (x\right )}{16}\right )}^2-9}\,{\ln \left (x\right )}^3}{65536}+\frac {75\,x^8\,{\mathrm {e}}^{-{\ln \left (\frac {x^2}{4}-\frac {\ln \left (x\right )}{16}\right )}^2-9}\,{\ln \left (x\right )}^2}{65536}-\frac {15\,x^{10}\,{\mathrm {e}}^{-{\ln \left (\frac {x^2}{4}-\frac {\ln \left (x\right )}{16}\right )}^2-9}\,\ln \left (x\right )}{8192} \]
[In]
[Out]