Integrand size = 64, antiderivative size = 24 \[ \int \frac {e^x (3-5 x)+e^x (-1+2 x) \log (x)+(-3+2 x+(1-x) \log (x)) \log ^2(\log (3))}{4 e^x-4 e^x \log (x)+e^x \log ^2(x)} \, dx=1+\frac {x \left (-1+x+e^{-x} \log ^2(\log (3))\right )}{-2+\log (x)} \]
[Out]
Time = 0.53 (sec) , antiderivative size = 45, normalized size of antiderivative = 1.88, number of steps used = 21, number of rules used = 8, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.125, Rules used = {6873, 6874, 2357, 2367, 2336, 2209, 2346, 2326} \[ \int \frac {e^x (3-5 x)+e^x (-1+2 x) \log (x)+(-3+2 x+(1-x) \log (x)) \log ^2(\log (3))}{4 e^x-4 e^x \log (x)+e^x \log ^2(x)} \, dx=\frac {(1-x) x}{2-\log (x)}-\frac {e^{-x} \log ^2(\log (3)) (2 x-x \log (x))}{(2-\log (x))^2} \]
[In]
[Out]
Rule 2209
Rule 2326
Rule 2336
Rule 2346
Rule 2357
Rule 2367
Rule 6873
Rule 6874
Rubi steps \begin{align*} \text {integral}& = \int \frac {e^{-x} \left (e^x (3-5 x)+e^x (-1+2 x) \log (x)+(-3+2 x+(1-x) \log (x)) \log ^2(\log (3))\right )}{(2-\log (x))^2} \, dx \\ & = \int \left (\frac {3-5 x-\log (x)+2 x \log (x)}{(-2+\log (x))^2}-\frac {e^{-x} (3-2 x-\log (x)+x \log (x)) \log ^2(\log (3))}{(-2+\log (x))^2}\right ) \, dx \\ & = -\left (\log ^2(\log (3)) \int \frac {e^{-x} (3-2 x-\log (x)+x \log (x))}{(-2+\log (x))^2} \, dx\right )+\int \frac {3-5 x-\log (x)+2 x \log (x)}{(-2+\log (x))^2} \, dx \\ & = -\frac {e^{-x} (2 x-x \log (x)) \log ^2(\log (3))}{(2-\log (x))^2}+\int \left (\frac {1-x}{(-2+\log (x))^2}+\frac {-1+2 x}{-2+\log (x)}\right ) \, dx \\ & = -\frac {e^{-x} (2 x-x \log (x)) \log ^2(\log (3))}{(2-\log (x))^2}+\int \frac {1-x}{(-2+\log (x))^2} \, dx+\int \frac {-1+2 x}{-2+\log (x)} \, dx \\ & = \frac {(1-x) x}{2-\log (x)}-\frac {e^{-x} (2 x-x \log (x)) \log ^2(\log (3))}{(2-\log (x))^2}+2 \int \frac {1-x}{-2+\log (x)} \, dx+\int \left (-\frac {1}{-2+\log (x)}+\frac {2 x}{-2+\log (x)}\right ) \, dx-\int \frac {1}{-2+\log (x)} \, dx \\ & = \frac {(1-x) x}{2-\log (x)}-\frac {e^{-x} (2 x-x \log (x)) \log ^2(\log (3))}{(2-\log (x))^2}+2 \int \left (\frac {1}{-2+\log (x)}-\frac {x}{-2+\log (x)}\right ) \, dx+2 \int \frac {x}{-2+\log (x)} \, dx-\int \frac {1}{-2+\log (x)} \, dx-\text {Subst}\left (\int \frac {e^x}{-2+x} \, dx,x,\log (x)\right ) \\ & = -e^2 \text {Ei}(-2+\log (x))+\frac {(1-x) x}{2-\log (x)}-\frac {e^{-x} (2 x-x \log (x)) \log ^2(\log (3))}{(2-\log (x))^2}+2 \int \frac {1}{-2+\log (x)} \, dx-2 \int \frac {x}{-2+\log (x)} \, dx+2 \text {Subst}\left (\int \frac {e^{2 x}}{-2+x} \, dx,x,\log (x)\right )-\text {Subst}\left (\int \frac {e^x}{-2+x} \, dx,x,\log (x)\right ) \\ & = 2 e^4 \text {Ei}(-2 (2-\log (x)))-2 e^2 \text {Ei}(-2+\log (x))+\frac {(1-x) x}{2-\log (x)}-\frac {e^{-x} (2 x-x \log (x)) \log ^2(\log (3))}{(2-\log (x))^2}+2 \text {Subst}\left (\int \frac {e^x}{-2+x} \, dx,x,\log (x)\right )-2 \text {Subst}\left (\int \frac {e^{2 x}}{-2+x} \, dx,x,\log (x)\right ) \\ & = \frac {(1-x) x}{2-\log (x)}-\frac {e^{-x} (2 x-x \log (x)) \log ^2(\log (3))}{(2-\log (x))^2} \\ \end{align*}
Time = 3.93 (sec) , antiderivative size = 22, normalized size of antiderivative = 0.92 \[ \int \frac {e^x (3-5 x)+e^x (-1+2 x) \log (x)+(-3+2 x+(1-x) \log (x)) \log ^2(\log (3))}{4 e^x-4 e^x \log (x)+e^x \log ^2(x)} \, dx=\frac {x \left (-1+x+e^{-x} \log ^2(\log (3))\right )}{-2+\log (x)} \]
[In]
[Out]
Time = 0.58 (sec) , antiderivative size = 27, normalized size of antiderivative = 1.12
method | result | size |
risch | \(\frac {x \left (\ln \left (\ln \left (3\right )\right )^{2}+{\mathrm e}^{x} x -{\mathrm e}^{x}\right ) {\mathrm e}^{-x}}{\ln \left (x \right )-2}\) | \(27\) |
norman | \(\frac {\left (x \ln \left (\ln \left (3\right )\right )^{2}+{\mathrm e}^{x} x^{2}-{\mathrm e}^{x} x \right ) {\mathrm e}^{-x}}{\ln \left (x \right )-2}\) | \(31\) |
parallelrisch | \(\frac {\left (x \ln \left (\ln \left (3\right )\right )^{2}+{\mathrm e}^{x} x^{2}-{\mathrm e}^{x} x \right ) {\mathrm e}^{-x}}{\ln \left (x \right )-2}\) | \(31\) |
default | \(-\frac {x}{\ln \left (x \right )-2}+\frac {x^{2}}{\ln \left (x \right )-2}+\frac {\ln \left (\ln \left (3\right )\right )^{2} x \,{\mathrm e}^{-x}}{\ln \left (x \right )-2}\) | \(38\) |
parts | \(-\frac {x}{\ln \left (x \right )-2}+\frac {x^{2}}{\ln \left (x \right )-2}+\frac {\ln \left (\ln \left (3\right )\right )^{2} x \,{\mathrm e}^{-x}}{\ln \left (x \right )-2}\) | \(38\) |
[In]
[Out]
none
Time = 0.26 (sec) , antiderivative size = 31, normalized size of antiderivative = 1.29 \[ \int \frac {e^x (3-5 x)+e^x (-1+2 x) \log (x)+(-3+2 x+(1-x) \log (x)) \log ^2(\log (3))}{4 e^x-4 e^x \log (x)+e^x \log ^2(x)} \, dx=\frac {x \log \left (\log \left (3\right )\right )^{2} + {\left (x^{2} - x\right )} e^{x}}{e^{x} \log \left (x\right ) - 2 \, e^{x}} \]
[In]
[Out]
Time = 0.15 (sec) , antiderivative size = 26, normalized size of antiderivative = 1.08 \[ \int \frac {e^x (3-5 x)+e^x (-1+2 x) \log (x)+(-3+2 x+(1-x) \log (x)) \log ^2(\log (3))}{4 e^x-4 e^x \log (x)+e^x \log ^2(x)} \, dx=\frac {x e^{- x} \log {\left (\log {\left (3 \right )} \right )}^{2}}{\log {\left (x \right )} - 2} + \frac {x^{2} - x}{\log {\left (x \right )} - 2} \]
[In]
[Out]
none
Time = 0.30 (sec) , antiderivative size = 25, normalized size of antiderivative = 1.04 \[ \int \frac {e^x (3-5 x)+e^x (-1+2 x) \log (x)+(-3+2 x+(1-x) \log (x)) \log ^2(\log (3))}{4 e^x-4 e^x \log (x)+e^x \log ^2(x)} \, dx=\frac {x e^{\left (-x\right )} \log \left (\log \left (3\right )\right )^{2} + x^{2} - x}{\log \left (x\right ) - 2} \]
[In]
[Out]
none
Time = 0.31 (sec) , antiderivative size = 25, normalized size of antiderivative = 1.04 \[ \int \frac {e^x (3-5 x)+e^x (-1+2 x) \log (x)+(-3+2 x+(1-x) \log (x)) \log ^2(\log (3))}{4 e^x-4 e^x \log (x)+e^x \log ^2(x)} \, dx=\frac {x e^{\left (-x\right )} \log \left (\log \left (3\right )\right )^{2} + x^{2} - x}{\log \left (x\right ) - 2} \]
[In]
[Out]
Time = 11.94 (sec) , antiderivative size = 26, normalized size of antiderivative = 1.08 \[ \int \frac {e^x (3-5 x)+e^x (-1+2 x) \log (x)+(-3+2 x+(1-x) \log (x)) \log ^2(\log (3))}{4 e^x-4 e^x \log (x)+e^x \log ^2(x)} \, dx=\frac {x\,{\mathrm {e}}^{-x}\,\left ({\ln \left (\ln \left (3\right )\right )}^2-{\mathrm {e}}^x+x\,{\mathrm {e}}^x\right )}{\ln \left (x\right )-2} \]
[In]
[Out]