Integrand size = 73, antiderivative size = 32 \[ \int \frac {e^{-x} \left (12-12 e^x-x+x^2+e^3 \left (13 x-3 x^2+x^3\right )+\left (1+e^3 x\right ) \log (3)+\left (-13 x+3 x^2-x^3-x \log (3)\right ) \log (x)\right )}{4 x} \, dx=\left (-3+e^{-x} \left (3+\frac {1}{4} \left (-x+x^2+\log (3)\right )\right )\right ) \left (-e^3+\log (x)\right ) \]
[Out]
Leaf count is larger than twice the leaf count of optimal. \(157\) vs. \(2(32)=64\).
Time = 1.35 (sec) , antiderivative size = 157, normalized size of antiderivative = 4.91, number of steps used = 21, number of rules used = 8, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.110, Rules used = {12, 6874, 2230, 2207, 2225, 2209, 2227, 2634} \[ \int \frac {e^{-x} \left (12-12 e^x-x+x^2+e^3 \left (13 x-3 x^2+x^3\right )+\left (1+e^3 x\right ) \log (3)+\left (-13 x+3 x^2-x^3-x \log (3)\right ) \log (x)\right )}{4 x} \, dx=-\frac {1}{4} e^{3-x} x^2+\frac {1}{4} e^{-x} x^2 \log (x)-\frac {1}{2} e^{3-x} x+\frac {e^{-x} x}{4}-\frac {1}{4} \left (1-3 e^3\right ) e^{-x} x-\frac {e^{3-x}}{2}-\frac {1}{4} \left (1-3 e^3\right ) e^{-x}-\frac {1}{4} e^{-x} x \log (x)-\frac {1}{4} e^{-x} \log (x)+\frac {1}{4} e^{-x} (13+\log (3)) \log (x)-3 \log (x)+\frac {1}{4} e^{-x} \left (1-e^3 (13+\log (3))\right ) \]
[In]
[Out]
Rule 12
Rule 2207
Rule 2209
Rule 2225
Rule 2227
Rule 2230
Rule 2634
Rule 6874
Rubi steps \begin{align*} \text {integral}& = \frac {1}{4} \int \frac {e^{-x} \left (12-12 e^x-x+x^2+e^3 \left (13 x-3 x^2+x^3\right )+\left (1+e^3 x\right ) \log (3)+\left (-13 x+3 x^2-x^3-x \log (3)\right ) \log (x)\right )}{x} \, dx \\ & = \frac {1}{4} \int \left (-\frac {12}{x}+\frac {e^{-x} \left (\left (1-3 e^3\right ) x^2+e^3 x^3+12 \left (1+\frac {\log (3)}{12}\right )-x \left (1-e^3 (13+\log (3))\right )+3 x^2 \log (x)-x^3 \log (x)-13 x \left (1+\frac {\log (3)}{13}\right ) \log (x)\right )}{x}\right ) \, dx \\ & = -3 \log (x)+\frac {1}{4} \int \frac {e^{-x} \left (\left (1-3 e^3\right ) x^2+e^3 x^3+12 \left (1+\frac {\log (3)}{12}\right )-x \left (1-e^3 (13+\log (3))\right )+3 x^2 \log (x)-x^3 \log (x)-13 x \left (1+\frac {\log (3)}{13}\right ) \log (x)\right )}{x} \, dx \\ & = -3 \log (x)+\frac {1}{4} \int \left (\frac {e^{-x} \left (12+\left (1-3 e^3\right ) x^2+e^3 x^3+\log (3)-x \left (1-e^3 (13+\log (3))\right )\right )}{x}-e^{-x} \left (13-3 x+x^2+\log (3)\right ) \log (x)\right ) \, dx \\ & = -3 \log (x)+\frac {1}{4} \int \frac {e^{-x} \left (12+\left (1-3 e^3\right ) x^2+e^3 x^3+\log (3)-x \left (1-e^3 (13+\log (3))\right )\right )}{x} \, dx-\frac {1}{4} \int e^{-x} \left (13-3 x+x^2+\log (3)\right ) \log (x) \, dx \\ & = -3 \log (x)-\frac {1}{4} e^{-x} \log (x)-\frac {1}{4} e^{-x} x \log (x)+\frac {1}{4} e^{-x} x^2 \log (x)+\frac {1}{4} e^{-x} (13+\log (3)) \log (x)+\frac {1}{4} \int \frac {e^{-x} \left (-12+x-x^2-\log (3)\right )}{x} \, dx+\frac {1}{4} \int \left (e^{-x} \left (1-3 e^3\right ) x+e^{3-x} x^2+\frac {e^{-x} (12+\log (3))}{x}+e^{-x} \left (-1+e^3 (13+\log (3))\right )\right ) \, dx \\ & = -3 \log (x)-\frac {1}{4} e^{-x} \log (x)-\frac {1}{4} e^{-x} x \log (x)+\frac {1}{4} e^{-x} x^2 \log (x)+\frac {1}{4} e^{-x} (13+\log (3)) \log (x)+\frac {1}{4} \int e^{3-x} x^2 \, dx+\frac {1}{4} \int \left (e^{-x}-e^{-x} x+\frac {e^{-x} (-12-\log (3))}{x}\right ) \, dx+\frac {1}{4} \left (1-3 e^3\right ) \int e^{-x} x \, dx+\frac {1}{4} (12+\log (3)) \int \frac {e^{-x}}{x} \, dx+\frac {1}{4} \left (-1+e^3 (13+\log (3))\right ) \int e^{-x} \, dx \\ & = -\frac {1}{4} e^{-x} \left (1-3 e^3\right ) x-\frac {1}{4} e^{3-x} x^2+\frac {1}{4} \text {Ei}(-x) (12+\log (3))+\frac {1}{4} e^{-x} \left (1-e^3 (13+\log (3))\right )-3 \log (x)-\frac {1}{4} e^{-x} \log (x)-\frac {1}{4} e^{-x} x \log (x)+\frac {1}{4} e^{-x} x^2 \log (x)+\frac {1}{4} e^{-x} (13+\log (3)) \log (x)+\frac {1}{4} \int e^{-x} \, dx-\frac {1}{4} \int e^{-x} x \, dx+\frac {1}{2} \int e^{3-x} x \, dx+\frac {1}{4} \left (1-3 e^3\right ) \int e^{-x} \, dx+\frac {1}{4} (-12-\log (3)) \int \frac {e^{-x}}{x} \, dx \\ & = -\frac {e^{-x}}{4}-\frac {1}{4} e^{-x} \left (1-3 e^3\right )-\frac {1}{2} e^{3-x} x+\frac {e^{-x} x}{4}-\frac {1}{4} e^{-x} \left (1-3 e^3\right ) x-\frac {1}{4} e^{3-x} x^2+\frac {1}{4} e^{-x} \left (1-e^3 (13+\log (3))\right )-3 \log (x)-\frac {1}{4} e^{-x} \log (x)-\frac {1}{4} e^{-x} x \log (x)+\frac {1}{4} e^{-x} x^2 \log (x)+\frac {1}{4} e^{-x} (13+\log (3)) \log (x)-\frac {1}{4} \int e^{-x} \, dx+\frac {1}{2} \int e^{3-x} \, dx \\ & = -\frac {e^{3-x}}{2}-\frac {1}{4} e^{-x} \left (1-3 e^3\right )-\frac {1}{2} e^{3-x} x+\frac {e^{-x} x}{4}-\frac {1}{4} e^{-x} \left (1-3 e^3\right ) x-\frac {1}{4} e^{3-x} x^2+\frac {1}{4} e^{-x} \left (1-e^3 (13+\log (3))\right )-3 \log (x)-\frac {1}{4} e^{-x} \log (x)-\frac {1}{4} e^{-x} x \log (x)+\frac {1}{4} e^{-x} x^2 \log (x)+\frac {1}{4} e^{-x} (13+\log (3)) \log (x) \\ \end{align*}
Time = 5.06 (sec) , antiderivative size = 43, normalized size of antiderivative = 1.34 \[ \int \frac {e^{-x} \left (12-12 e^x-x+x^2+e^3 \left (13 x-3 x^2+x^3\right )+\left (1+e^3 x\right ) \log (3)+\left (-13 x+3 x^2-x^3-x \log (3)\right ) \log (x)\right )}{4 x} \, dx=\frac {1}{4} e^{-x} \left (-e^3 \left (12-x+x^2+\log (3)\right )+\left (12-12 e^x-x+x^2+\log (3)\right ) \log (x)\right ) \]
[In]
[Out]
Time = 1.47 (sec) , antiderivative size = 52, normalized size of antiderivative = 1.62
method | result | size |
default | \(\frac {\left (x \,{\mathrm e}^{3}+x^{2} \ln \left (x \right )+\left (\ln \left (3\right )+12\right ) \ln \left (x \right )-x^{2} {\mathrm e}^{3}-x \ln \left (x \right )-12 \,{\mathrm e}^{3}-{\mathrm e}^{3} \ln \left (3\right )\right ) {\mathrm e}^{-x}}{4}-3 \ln \left (x \right )\) | \(52\) |
risch | \(\frac {\left (x^{2}+\ln \left (3\right )-x +12\right ) {\mathrm e}^{-x} \ln \left (x \right )}{4}-\frac {\left (x^{2} {\mathrm e}^{3}+12 \,{\mathrm e}^{x} \ln \left (x \right )+{\mathrm e}^{3} \ln \left (3\right )-x \,{\mathrm e}^{3}+12 \,{\mathrm e}^{3}\right ) {\mathrm e}^{-x}}{4}\) | \(53\) |
parallelrisch | \(-\frac {\left (x^{2} {\mathrm e}^{3}-x^{2} \ln \left (x \right )+{\mathrm e}^{3} \ln \left (3\right )-\ln \left (3\right ) \ln \left (x \right )-x \,{\mathrm e}^{3}+x \ln \left (x \right )+12 \,{\mathrm e}^{x} \ln \left (x \right )+12 \,{\mathrm e}^{3}-12 \ln \left (x \right )\right ) {\mathrm e}^{-x}}{4}\) | \(55\) |
parts | \(\left (\left (\frac {\ln \left (3\right )}{4}+3\right ) \ln \left (x \right )+\frac {x \,{\mathrm e}^{3}}{4}-\frac {x^{2} {\mathrm e}^{3}}{4}+\frac {x^{2} \ln \left (x \right )}{4}-\frac {x \ln \left (x \right )}{4}-3 \,{\mathrm e}^{3}-\frac {{\mathrm e}^{3} \ln \left (3\right )}{4}\right ) {\mathrm e}^{-x}-3 \ln \left (x \right )\) | \(55\) |
norman | \(\left (\left (\frac {\ln \left (3\right )}{4}+3\right ) \ln \left (x \right )-3 \,{\mathrm e}^{x} \ln \left (x \right )+\frac {x \,{\mathrm e}^{3}}{4}-\frac {x \ln \left (x \right )}{4}-\frac {x^{2} {\mathrm e}^{3}}{4}+\frac {x^{2} \ln \left (x \right )}{4}-3 \,{\mathrm e}^{3}-\frac {{\mathrm e}^{3} \ln \left (3\right )}{4}\right ) {\mathrm e}^{-x}\) | \(56\) |
[In]
[Out]
none
Time = 0.25 (sec) , antiderivative size = 41, normalized size of antiderivative = 1.28 \[ \int \frac {e^{-x} \left (12-12 e^x-x+x^2+e^3 \left (13 x-3 x^2+x^3\right )+\left (1+e^3 x\right ) \log (3)+\left (-13 x+3 x^2-x^3-x \log (3)\right ) \log (x)\right )}{4 x} \, dx=-\frac {1}{4} \, {\left ({\left (x^{2} - x + 12\right )} e^{3} + e^{3} \log \left (3\right ) - {\left (x^{2} - x - 12 \, e^{x} + \log \left (3\right ) + 12\right )} \log \left (x\right )\right )} e^{\left (-x\right )} \]
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 56 vs. \(2 (26) = 52\).
Time = 0.24 (sec) , antiderivative size = 56, normalized size of antiderivative = 1.75 \[ \int \frac {e^{-x} \left (12-12 e^x-x+x^2+e^3 \left (13 x-3 x^2+x^3\right )+\left (1+e^3 x\right ) \log (3)+\left (-13 x+3 x^2-x^3-x \log (3)\right ) \log (x)\right )}{4 x} \, dx=\frac {\left (x^{2} \log {\left (x \right )} - x^{2} e^{3} - x \log {\left (x \right )} + x e^{3} + \log {\left (3 \right )} \log {\left (x \right )} + 12 \log {\left (x \right )} - 12 e^{3} - e^{3} \log {\left (3 \right )}\right ) e^{- x}}{4} - 3 \log {\left (x \right )} \]
[In]
[Out]
\[ \int \frac {e^{-x} \left (12-12 e^x-x+x^2+e^3 \left (13 x-3 x^2+x^3\right )+\left (1+e^3 x\right ) \log (3)+\left (-13 x+3 x^2-x^3-x \log (3)\right ) \log (x)\right )}{4 x} \, dx=\int { \frac {{\left (x^{2} + {\left (x^{3} - 3 \, x^{2} + 13 \, x\right )} e^{3} + {\left (x e^{3} + 1\right )} \log \left (3\right ) - {\left (x^{3} - 3 \, x^{2} + x \log \left (3\right ) + 13 \, x\right )} \log \left (x\right ) - x - 12 \, e^{x} + 12\right )} e^{\left (-x\right )}}{4 \, x} \,d x } \]
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 81 vs. \(2 (26) = 52\).
Time = 0.26 (sec) , antiderivative size = 81, normalized size of antiderivative = 2.53 \[ \int \frac {e^{-x} \left (12-12 e^x-x+x^2+e^3 \left (13 x-3 x^2+x^3\right )+\left (1+e^3 x\right ) \log (3)+\left (-13 x+3 x^2-x^3-x \log (3)\right ) \log (x)\right )}{4 x} \, dx=\frac {1}{4} \, x^{2} e^{\left (-x\right )} \log \left (x\right ) - \frac {1}{4} \, x^{2} e^{\left (-x + 3\right )} - \frac {1}{4} \, x e^{\left (-x\right )} \log \left (x\right ) + \frac {1}{4} \, e^{\left (-x\right )} \log \left (3\right ) \log \left (x\right ) + \frac {1}{4} \, x e^{\left (-x + 3\right )} - \frac {1}{4} \, e^{\left (-x + 3\right )} \log \left (3\right ) + 3 \, e^{\left (-x\right )} \log \left (x\right ) - 3 \, e^{\left (-x + 3\right )} - 3 \, \log \left (x\right ) \]
[In]
[Out]
Time = 9.29 (sec) , antiderivative size = 59, normalized size of antiderivative = 1.84 \[ \int \frac {e^{-x} \left (12-12 e^x-x+x^2+e^3 \left (13 x-3 x^2+x^3\right )+\left (1+e^3 x\right ) \log (3)+\left (-13 x+3 x^2-x^3-x \log (3)\right ) \log (x)\right )}{4 x} \, dx=\frac {x\,{\mathrm {e}}^{-x}\,\left ({\mathrm {e}}^3-\ln \left (x\right )\right )}{4}-\frac {{\mathrm {e}}^{-x}\,\left (12\,{\mathrm {e}}^x\,\ln \left (x\right )-\ln \left (x\right )\,\left (\ln \left (3\right )+12\right )+{\mathrm {e}}^3\,\left (\ln \left (3\right )+12\right )\right )}{4}-\frac {x^2\,{\mathrm {e}}^{-x}\,\left ({\mathrm {e}}^3-\ln \left (x\right )\right )}{4} \]
[In]
[Out]