Integrand size = 79, antiderivative size = 19 \[ \int \frac {-64 x+32 e^{2 x} x+\left (-64 x+e^{2 x} \left (32 x+64 x^2\right )\right ) \log (x)+\left (-128 x+64 e^{2 x} x\right ) \log (x) \log \left (\left (2 x-e^{2 x} x\right ) \log (x)\right )}{\left (-2+e^{2 x}\right ) \log (x)} \, dx=32 x^2 \log \left (\left (2-e^{2 x}\right ) x \log (x)\right ) \]
[Out]
Time = 0.77 (sec) , antiderivative size = 19, normalized size of antiderivative = 1.00, number of steps used = 32, number of rules used = 14, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.177, Rules used = {6874, 2215, 2221, 2611, 2320, 6724, 6820, 14, 45, 2346, 2209, 30, 2635, 12} \[ \int \frac {-64 x+32 e^{2 x} x+\left (-64 x+e^{2 x} \left (32 x+64 x^2\right )\right ) \log (x)+\left (-128 x+64 e^{2 x} x\right ) \log (x) \log \left (\left (2 x-e^{2 x} x\right ) \log (x)\right )}{\left (-2+e^{2 x}\right ) \log (x)} \, dx=32 x^2 \log \left (\left (2-e^{2 x}\right ) x \log (x)\right ) \]
[In]
[Out]
Rule 12
Rule 14
Rule 30
Rule 45
Rule 2209
Rule 2215
Rule 2221
Rule 2320
Rule 2346
Rule 2611
Rule 2635
Rule 6724
Rule 6820
Rule 6874
Rubi steps \begin{align*} \text {integral}& = \int \left (\frac {128 x^2}{-2+e^{2 x}}+\frac {32 x \left (1+\log (x)+2 x \log (x)+2 \log (x) \log \left (-\left (\left (-2+e^{2 x}\right ) x \log (x)\right )\right )\right )}{\log (x)}\right ) \, dx \\ & = 32 \int \frac {x \left (1+\log (x)+2 x \log (x)+2 \log (x) \log \left (-\left (\left (-2+e^{2 x}\right ) x \log (x)\right )\right )\right )}{\log (x)} \, dx+128 \int \frac {x^2}{-2+e^{2 x}} \, dx \\ & = -\frac {64 x^3}{3}+32 \int \left (\frac {x (1+\log (x)+2 x \log (x))}{\log (x)}+2 x \log \left (-\left (\left (-2+e^{2 x}\right ) x \log (x)\right )\right )\right ) \, dx+64 \int \frac {e^{2 x} x^2}{-2+e^{2 x}} \, dx \\ & = -\frac {64 x^3}{3}+32 x^2 \log \left (1-\frac {e^{2 x}}{2}\right )+32 \int \frac {x (1+\log (x)+2 x \log (x))}{\log (x)} \, dx-64 \int x \log \left (1-\frac {e^{2 x}}{2}\right ) \, dx+64 \int x \log \left (-\left (\left (-2+e^{2 x}\right ) x \log (x)\right )\right ) \, dx \\ & = -\frac {64 x^3}{3}+32 x^2 \log \left (1-\frac {e^{2 x}}{2}\right )+32 x^2 \log \left (\left (2-e^{2 x}\right ) x \log (x)\right )+32 x \operatorname {PolyLog}\left (2,\frac {e^{2 x}}{2}\right )+32 \int x \left (1+2 x+\frac {1}{\log (x)}\right ) \, dx-32 \int \operatorname {PolyLog}\left (2,\frac {e^{2 x}}{2}\right ) \, dx-64 \int \frac {x \left (-2+e^{2 x}+\left (-2+e^{2 x} (1+2 x)\right ) \log (x)\right )}{2 \left (-2+e^{2 x}\right ) \log (x)} \, dx \\ & = -\frac {64 x^3}{3}+32 x^2 \log \left (1-\frac {e^{2 x}}{2}\right )+32 x^2 \log \left (\left (2-e^{2 x}\right ) x \log (x)\right )+32 x \operatorname {PolyLog}\left (2,\frac {e^{2 x}}{2}\right )-16 \text {Subst}\left (\int \frac {\operatorname {PolyLog}\left (2,\frac {x}{2}\right )}{x} \, dx,x,e^{2 x}\right )+32 \int \left (x (1+2 x)+\frac {x}{\log (x)}\right ) \, dx-32 \int \frac {x \left (-2+e^{2 x}+\left (-2+e^{2 x} (1+2 x)\right ) \log (x)\right )}{\left (-2+e^{2 x}\right ) \log (x)} \, dx \\ & = -\frac {64 x^3}{3}+32 x^2 \log \left (1-\frac {e^{2 x}}{2}\right )+32 x^2 \log \left (\left (2-e^{2 x}\right ) x \log (x)\right )+32 x \operatorname {PolyLog}\left (2,\frac {e^{2 x}}{2}\right )-16 \operatorname {PolyLog}\left (3,\frac {e^{2 x}}{2}\right )+32 \int x (1+2 x) \, dx+32 \int \frac {x}{\log (x)} \, dx-32 \int \left (\frac {4 x^2}{-2+e^{2 x}}+\frac {x (1+\log (x)+2 x \log (x))}{\log (x)}\right ) \, dx \\ & = -\frac {64 x^3}{3}+32 x^2 \log \left (1-\frac {e^{2 x}}{2}\right )+32 x^2 \log \left (\left (2-e^{2 x}\right ) x \log (x)\right )+32 x \operatorname {PolyLog}\left (2,\frac {e^{2 x}}{2}\right )-16 \operatorname {PolyLog}\left (3,\frac {e^{2 x}}{2}\right )+32 \int \left (x+2 x^2\right ) \, dx-32 \int \frac {x (1+\log (x)+2 x \log (x))}{\log (x)} \, dx+32 \text {Subst}\left (\int \frac {e^{2 x}}{x} \, dx,x,\log (x)\right )-128 \int \frac {x^2}{-2+e^{2 x}} \, dx \\ & = 16 x^2+\frac {64 x^3}{3}+32 \operatorname {ExpIntegralEi}(2 \log (x))+32 x^2 \log \left (1-\frac {e^{2 x}}{2}\right )+32 x^2 \log \left (\left (2-e^{2 x}\right ) x \log (x)\right )+32 x \operatorname {PolyLog}\left (2,\frac {e^{2 x}}{2}\right )-16 \operatorname {PolyLog}\left (3,\frac {e^{2 x}}{2}\right )-32 \int x \left (1+2 x+\frac {1}{\log (x)}\right ) \, dx-64 \int \frac {e^{2 x} x^2}{-2+e^{2 x}} \, dx \\ & = 16 x^2+\frac {64 x^3}{3}+32 \operatorname {ExpIntegralEi}(2 \log (x))+32 x^2 \log \left (\left (2-e^{2 x}\right ) x \log (x)\right )+32 x \operatorname {PolyLog}\left (2,\frac {e^{2 x}}{2}\right )-16 \operatorname {PolyLog}\left (3,\frac {e^{2 x}}{2}\right )-32 \int \left (x (1+2 x)+\frac {x}{\log (x)}\right ) \, dx+64 \int x \log \left (1-\frac {e^{2 x}}{2}\right ) \, dx \\ & = 16 x^2+\frac {64 x^3}{3}+32 \operatorname {ExpIntegralEi}(2 \log (x))+32 x^2 \log \left (\left (2-e^{2 x}\right ) x \log (x)\right )-16 \operatorname {PolyLog}\left (3,\frac {e^{2 x}}{2}\right )-32 \int x (1+2 x) \, dx-32 \int \frac {x}{\log (x)} \, dx+32 \int \operatorname {PolyLog}\left (2,\frac {e^{2 x}}{2}\right ) \, dx \\ & = 16 x^2+\frac {64 x^3}{3}+32 \operatorname {ExpIntegralEi}(2 \log (x))+32 x^2 \log \left (\left (2-e^{2 x}\right ) x \log (x)\right )-16 \operatorname {PolyLog}\left (3,\frac {e^{2 x}}{2}\right )+16 \text {Subst}\left (\int \frac {\operatorname {PolyLog}\left (2,\frac {x}{2}\right )}{x} \, dx,x,e^{2 x}\right )-32 \int \left (x+2 x^2\right ) \, dx-32 \text {Subst}\left (\int \frac {e^{2 x}}{x} \, dx,x,\log (x)\right ) \\ & = 32 x^2 \log \left (\left (2-e^{2 x}\right ) x \log (x)\right ) \\ \end{align*}
Time = 0.32 (sec) , antiderivative size = 18, normalized size of antiderivative = 0.95 \[ \int \frac {-64 x+32 e^{2 x} x+\left (-64 x+e^{2 x} \left (32 x+64 x^2\right )\right ) \log (x)+\left (-128 x+64 e^{2 x} x\right ) \log (x) \log \left (\left (2 x-e^{2 x} x\right ) \log (x)\right )}{\left (-2+e^{2 x}\right ) \log (x)} \, dx=32 x^2 \log \left (-\left (\left (-2+e^{2 x}\right ) x \log (x)\right )\right ) \]
[In]
[Out]
Time = 2.15 (sec) , antiderivative size = 21, normalized size of antiderivative = 1.11
method | result | size |
parallelrisch | \(32 \ln \left (\left (-x \,{\mathrm e}^{2 x}+2 x \right ) \ln \left (x \right )\right ) x^{2}\) | \(21\) |
risch | \(32 x^{2} \ln \left ({\mathrm e}^{2 x}-2\right )+32 x^{2} \ln \left (\ln \left (x \right )\right )+16 i \pi \,x^{2} \operatorname {csgn}\left (i \ln \left (x \right ) \left ({\mathrm e}^{2 x}-2\right )\right ) {\operatorname {csgn}\left (i x \ln \left (x \right ) \left ({\mathrm e}^{2 x}-2\right )\right )}^{2}+16 i \pi \,x^{2} {\operatorname {csgn}\left (i x \ln \left (x \right ) \left ({\mathrm e}^{2 x}-2\right )\right )}^{3}+32 i x^{2} \pi +16 i \pi \,x^{2} {\operatorname {csgn}\left (i x \ln \left (x \right ) \left ({\mathrm e}^{2 x}-2\right )\right )}^{2} \operatorname {csgn}\left (i x \right )+16 i \pi \,x^{2} \operatorname {csgn}\left (i \left ({\mathrm e}^{2 x}-2\right )\right ) {\operatorname {csgn}\left (i \ln \left (x \right ) \left ({\mathrm e}^{2 x}-2\right )\right )}^{2}-16 i \pi \,x^{2} \operatorname {csgn}\left (i \ln \left (x \right )\right ) \operatorname {csgn}\left (i \left ({\mathrm e}^{2 x}-2\right )\right ) \operatorname {csgn}\left (i \ln \left (x \right ) \left ({\mathrm e}^{2 x}-2\right )\right )-16 i \pi \,x^{2} \operatorname {csgn}\left (i \ln \left (x \right ) \left ({\mathrm e}^{2 x}-2\right )\right ) \operatorname {csgn}\left (i x \ln \left (x \right ) \left ({\mathrm e}^{2 x}-2\right )\right ) \operatorname {csgn}\left (i x \right )-32 i \pi \,x^{2} {\operatorname {csgn}\left (i x \ln \left (x \right ) \left ({\mathrm e}^{2 x}-2\right )\right )}^{2}+16 i \pi \,x^{2} \operatorname {csgn}\left (i \ln \left (x \right )\right ) {\operatorname {csgn}\left (i \ln \left (x \right ) \left ({\mathrm e}^{2 x}-2\right )\right )}^{2}-16 i \pi \,x^{2} {\operatorname {csgn}\left (i \ln \left (x \right ) \left ({\mathrm e}^{2 x}-2\right )\right )}^{3}+32 x^{2} \ln \left (x \right )\) | \(292\) |
[In]
[Out]
none
Time = 0.25 (sec) , antiderivative size = 20, normalized size of antiderivative = 1.05 \[ \int \frac {-64 x+32 e^{2 x} x+\left (-64 x+e^{2 x} \left (32 x+64 x^2\right )\right ) \log (x)+\left (-128 x+64 e^{2 x} x\right ) \log (x) \log \left (\left (2 x-e^{2 x} x\right ) \log (x)\right )}{\left (-2+e^{2 x}\right ) \log (x)} \, dx=32 \, x^{2} \log \left (-{\left (x e^{\left (2 \, x\right )} - 2 \, x\right )} \log \left (x\right )\right ) \]
[In]
[Out]
Time = 0.44 (sec) , antiderivative size = 19, normalized size of antiderivative = 1.00 \[ \int \frac {-64 x+32 e^{2 x} x+\left (-64 x+e^{2 x} \left (32 x+64 x^2\right )\right ) \log (x)+\left (-128 x+64 e^{2 x} x\right ) \log (x) \log \left (\left (2 x-e^{2 x} x\right ) \log (x)\right )}{\left (-2+e^{2 x}\right ) \log (x)} \, dx=32 x^{2} \log {\left (\left (- x e^{2 x} + 2 x\right ) \log {\left (x \right )} \right )} \]
[In]
[Out]
none
Time = 0.22 (sec) , antiderivative size = 30, normalized size of antiderivative = 1.58 \[ \int \frac {-64 x+32 e^{2 x} x+\left (-64 x+e^{2 x} \left (32 x+64 x^2\right )\right ) \log (x)+\left (-128 x+64 e^{2 x} x\right ) \log (x) \log \left (\left (2 x-e^{2 x} x\right ) \log (x)\right )}{\left (-2+e^{2 x}\right ) \log (x)} \, dx=32 \, x^{2} \log \left (x\right ) + 32 \, x^{2} \log \left (-e^{\left (2 \, x\right )} + 2\right ) + 32 \, x^{2} \log \left (\log \left (x\right )\right ) \]
[In]
[Out]
none
Time = 0.35 (sec) , antiderivative size = 27, normalized size of antiderivative = 1.42 \[ \int \frac {-64 x+32 e^{2 x} x+\left (-64 x+e^{2 x} \left (32 x+64 x^2\right )\right ) \log (x)+\left (-128 x+64 e^{2 x} x\right ) \log (x) \log \left (\left (2 x-e^{2 x} x\right ) \log (x)\right )}{\left (-2+e^{2 x}\right ) \log (x)} \, dx=32 \, x^{2} \log \left (-e^{\left (2 \, x\right )} \log \left (x\right ) + 2 \, \log \left (x\right )\right ) + 32 \, x^{2} \log \left (x\right ) \]
[In]
[Out]
Time = 15.32 (sec) , antiderivative size = 20, normalized size of antiderivative = 1.05 \[ \int \frac {-64 x+32 e^{2 x} x+\left (-64 x+e^{2 x} \left (32 x+64 x^2\right )\right ) \log (x)+\left (-128 x+64 e^{2 x} x\right ) \log (x) \log \left (\left (2 x-e^{2 x} x\right ) \log (x)\right )}{\left (-2+e^{2 x}\right ) \log (x)} \, dx=32\,x^2\,\ln \left (\ln \left (x\right )\,\left (2\,x-x\,{\mathrm {e}}^{2\,x}\right )\right ) \]
[In]
[Out]