Integrand size = 233, antiderivative size = 29 \[ \int \frac {-1+e^{e^2} \left (1+e^{2 x} (-256-2 x)\right )-x+e^{2 x} \left (256+257 x+2 x^2\right )+\left (-256+256 e^{e^2}-255 x\right ) \log (x)+\left (-e^{e^2+2 x}+e^{2 x} (1+x)+\left (-1+e^{e^2}-x\right ) \log (x)\right ) \log \left (\frac {-e^{2 x}+\log (x)}{-1+e^{e^2}-x}\right )}{-256 e^{e^2+2 x} x+e^{2 x} \left (256 x+256 x^2\right )+\left (-256 x+256 e^{e^2} x-256 x^2\right ) \log (x)+\left (-e^{e^2+2 x} x+e^{2 x} \left (x+x^2\right )+\left (-x+e^{e^2} x-x^2\right ) \log (x)\right ) \log \left (\frac {-e^{2 x}+\log (x)}{-1+e^{e^2}-x}\right )} \, dx=\log \left (x \left (256+\log \left (\frac {e^{2 x}-\log (x)}{1-e^{e^2}+x}\right )\right )\right ) \]
[Out]
\[ \int \frac {-1+e^{e^2} \left (1+e^{2 x} (-256-2 x)\right )-x+e^{2 x} \left (256+257 x+2 x^2\right )+\left (-256+256 e^{e^2}-255 x\right ) \log (x)+\left (-e^{e^2+2 x}+e^{2 x} (1+x)+\left (-1+e^{e^2}-x\right ) \log (x)\right ) \log \left (\frac {-e^{2 x}+\log (x)}{-1+e^{e^2}-x}\right )}{-256 e^{e^2+2 x} x+e^{2 x} \left (256 x+256 x^2\right )+\left (-256 x+256 e^{e^2} x-256 x^2\right ) \log (x)+\left (-e^{e^2+2 x} x+e^{2 x} \left (x+x^2\right )+\left (-x+e^{e^2} x-x^2\right ) \log (x)\right ) \log \left (\frac {-e^{2 x}+\log (x)}{-1+e^{e^2}-x}\right )} \, dx=\int \frac {-1+e^{e^2} \left (1+e^{2 x} (-256-2 x)\right )-x+e^{2 x} \left (256+257 x+2 x^2\right )+\left (-256+256 e^{e^2}-255 x\right ) \log (x)+\left (-e^{e^2+2 x}+e^{2 x} (1+x)+\left (-1+e^{e^2}-x\right ) \log (x)\right ) \log \left (\frac {-e^{2 x}+\log (x)}{-1+e^{e^2}-x}\right )}{-256 e^{e^2+2 x} x+e^{2 x} \left (256 x+256 x^2\right )+\left (-256 x+256 e^{e^2} x-256 x^2\right ) \log (x)+\left (-e^{e^2+2 x} x+e^{2 x} \left (x+x^2\right )+\left (-x+e^{e^2} x-x^2\right ) \log (x)\right ) \log \left (\frac {-e^{2 x}+\log (x)}{-1+e^{e^2}-x}\right )} \, dx \]
[In]
[Out]
Rubi steps \begin{align*} \text {integral}& = \int \frac {-1+e^{e^2} \left (1+e^{2 x} (-256-2 x)\right )-x+e^{2 x} \left (256+257 x+2 x^2\right )+\left (-256+256 e^{e^2}-255 x\right ) \log (x)+\left (-e^{e^2+2 x}+e^{2 x} (1+x)+\left (-1+e^{e^2}-x\right ) \log (x)\right ) \log \left (\frac {-e^{2 x}+\log (x)}{-1+e^{e^2}-x}\right )}{x \left (1-e^{e^2}+x\right ) \left (e^{2 x}-\log (x)\right ) \left (256+\log \left (\frac {e^{2 x}-\log (x)}{1-e^{e^2}+x}\right )\right )} \, dx \\ & = \int \left (\frac {-1+2 x \log (x)}{x \left (e^{2 x}-\log (x)\right ) \left (256+\log \left (\frac {e^{2 x}-\log (x)}{1-e^{e^2}+x}\right )\right )}+\frac {256 \left (1-e^{e^2}\right )+257 \left (1-\frac {2 e^{e^2}}{257}\right ) x+2 x^2+\left (1-e^{e^2}\right ) \log \left (\frac {e^{2 x}-\log (x)}{1-e^{e^2}+x}\right )+x \log \left (\frac {e^{2 x}-\log (x)}{1-e^{e^2}+x}\right )}{x \left (1-e^{e^2}+x\right ) \left (256+\log \left (\frac {e^{2 x}-\log (x)}{1-e^{e^2}+x}\right )\right )}\right ) \, dx \\ & = \int \frac {-1+2 x \log (x)}{x \left (e^{2 x}-\log (x)\right ) \left (256+\log \left (\frac {e^{2 x}-\log (x)}{1-e^{e^2}+x}\right )\right )} \, dx+\int \frac {256 \left (1-e^{e^2}\right )+257 \left (1-\frac {2 e^{e^2}}{257}\right ) x+2 x^2+\left (1-e^{e^2}\right ) \log \left (\frac {e^{2 x}-\log (x)}{1-e^{e^2}+x}\right )+x \log \left (\frac {e^{2 x}-\log (x)}{1-e^{e^2}+x}\right )}{x \left (1-e^{e^2}+x\right ) \left (256+\log \left (\frac {e^{2 x}-\log (x)}{1-e^{e^2}+x}\right )\right )} \, dx \\ & = \int \frac {256+257 x+2 x^2-2 e^{e^2} (128+x)+\left (1-e^{e^2}+x\right ) \log \left (\frac {e^{2 x}-\log (x)}{1-e^{e^2}+x}\right )}{x \left (1-e^{e^2}+x\right ) \left (256+\log \left (\frac {e^{2 x}-\log (x)}{1-e^{e^2}+x}\right )\right )} \, dx+\int \left (-\frac {1}{x \left (e^{2 x}-\log (x)\right ) \left (256+\log \left (\frac {e^{2 x}-\log (x)}{1-e^{e^2}+x}\right )\right )}+\frac {2 \log (x)}{\left (e^{2 x}-\log (x)\right ) \left (256+\log \left (\frac {e^{2 x}-\log (x)}{1-e^{e^2}+x}\right )\right )}\right ) \, dx \\ & = 2 \int \frac {\log (x)}{\left (e^{2 x}-\log (x)\right ) \left (256+\log \left (\frac {e^{2 x}-\log (x)}{1-e^{e^2}+x}\right )\right )} \, dx-\int \frac {1}{x \left (e^{2 x}-\log (x)\right ) \left (256+\log \left (\frac {e^{2 x}-\log (x)}{1-e^{e^2}+x}\right )\right )} \, dx+\int \left (\frac {1}{x}+\frac {-1+2 e^{e^2}-2 x}{\left (-1+e^{e^2}-x\right ) \left (256+\log \left (\frac {e^{2 x}-\log (x)}{1-e^{e^2}+x}\right )\right )}\right ) \, dx \\ & = \log (x)+2 \int \frac {\log (x)}{\left (e^{2 x}-\log (x)\right ) \left (256+\log \left (\frac {e^{2 x}-\log (x)}{1-e^{e^2}+x}\right )\right )} \, dx+\int \frac {-1+2 e^{e^2}-2 x}{\left (-1+e^{e^2}-x\right ) \left (256+\log \left (\frac {e^{2 x}-\log (x)}{1-e^{e^2}+x}\right )\right )} \, dx-\int \frac {1}{x \left (e^{2 x}-\log (x)\right ) \left (256+\log \left (\frac {e^{2 x}-\log (x)}{1-e^{e^2}+x}\right )\right )} \, dx \\ & = \log (x)+2 \int \frac {\log (x)}{\left (e^{2 x}-\log (x)\right ) \left (256+\log \left (\frac {e^{2 x}-\log (x)}{1-e^{e^2}+x}\right )\right )} \, dx-\int \frac {1}{x \left (e^{2 x}-\log (x)\right ) \left (256+\log \left (\frac {e^{2 x}-\log (x)}{1-e^{e^2}+x}\right )\right )} \, dx+\int \left (\frac {2}{256+\log \left (\frac {e^{2 x}-\log (x)}{1-e^{e^2}+x}\right )}+\frac {1}{\left (-1+e^{e^2}-x\right ) \left (256+\log \left (\frac {e^{2 x}-\log (x)}{1-e^{e^2}+x}\right )\right )}\right ) \, dx \\ & = \log (x)+2 \int \frac {1}{256+\log \left (\frac {e^{2 x}-\log (x)}{1-e^{e^2}+x}\right )} \, dx+2 \int \frac {\log (x)}{\left (e^{2 x}-\log (x)\right ) \left (256+\log \left (\frac {e^{2 x}-\log (x)}{1-e^{e^2}+x}\right )\right )} \, dx+\int \frac {1}{\left (-1+e^{e^2}-x\right ) \left (256+\log \left (\frac {e^{2 x}-\log (x)}{1-e^{e^2}+x}\right )\right )} \, dx-\int \frac {1}{x \left (e^{2 x}-\log (x)\right ) \left (256+\log \left (\frac {e^{2 x}-\log (x)}{1-e^{e^2}+x}\right )\right )} \, dx \\ \end{align*}
Time = 0.26 (sec) , antiderivative size = 30, normalized size of antiderivative = 1.03 \[ \int \frac {-1+e^{e^2} \left (1+e^{2 x} (-256-2 x)\right )-x+e^{2 x} \left (256+257 x+2 x^2\right )+\left (-256+256 e^{e^2}-255 x\right ) \log (x)+\left (-e^{e^2+2 x}+e^{2 x} (1+x)+\left (-1+e^{e^2}-x\right ) \log (x)\right ) \log \left (\frac {-e^{2 x}+\log (x)}{-1+e^{e^2}-x}\right )}{-256 e^{e^2+2 x} x+e^{2 x} \left (256 x+256 x^2\right )+\left (-256 x+256 e^{e^2} x-256 x^2\right ) \log (x)+\left (-e^{e^2+2 x} x+e^{2 x} \left (x+x^2\right )+\left (-x+e^{e^2} x-x^2\right ) \log (x)\right ) \log \left (\frac {-e^{2 x}+\log (x)}{-1+e^{e^2}-x}\right )} \, dx=\log (x)+\log \left (256+\log \left (\frac {e^{2 x}-\log (x)}{1-e^{e^2}+x}\right )\right ) \]
[In]
[Out]
Time = 14.11 (sec) , antiderivative size = 29, normalized size of antiderivative = 1.00
method | result | size |
parallelrisch | \(\ln \left (\ln \left (-\frac {{\mathrm e}^{2 x}-\ln \left (x \right )}{{\mathrm e}^{{\mathrm e}^{2}}-x -1}\right )+256\right )+\ln \left (x \right )\) | \(29\) |
risch | \(\ln \left (x \right )+\ln \left (\ln \left ({\mathrm e}^{{\mathrm e}^{2}}-x -1\right )+\frac {i \left (\pi \,\operatorname {csgn}\left (i \left (\ln \left (x \right )-{\mathrm e}^{2 x}\right )\right ) \operatorname {csgn}\left (\frac {i}{1-{\mathrm e}^{{\mathrm e}^{2}}+x}\right ) \operatorname {csgn}\left (\frac {i \left (\ln \left (x \right )-{\mathrm e}^{2 x}\right )}{1-{\mathrm e}^{{\mathrm e}^{2}}+x}\right )+\pi \,\operatorname {csgn}\left (i \left (\ln \left (x \right )-{\mathrm e}^{2 x}\right )\right ) {\operatorname {csgn}\left (\frac {i \left (\ln \left (x \right )-{\mathrm e}^{2 x}\right )}{1-{\mathrm e}^{{\mathrm e}^{2}}+x}\right )}^{2}+\pi \,\operatorname {csgn}\left (\frac {i}{1-{\mathrm e}^{{\mathrm e}^{2}}+x}\right ) {\operatorname {csgn}\left (\frac {i \left (\ln \left (x \right )-{\mathrm e}^{2 x}\right )}{1-{\mathrm e}^{{\mathrm e}^{2}}+x}\right )}^{2}-\pi {\operatorname {csgn}\left (\frac {i \left (\ln \left (x \right )-{\mathrm e}^{2 x}\right )}{1-{\mathrm e}^{{\mathrm e}^{2}}+x}\right )}^{3}+2 \pi {\operatorname {csgn}\left (\frac {i \left (\ln \left (x \right )-{\mathrm e}^{2 x}\right )}{1-{\mathrm e}^{{\mathrm e}^{2}}+x}\right )}^{2}-2 \pi +2 i \ln \left ({\mathrm e}^{2 x}-\ln \left (x \right )\right )+512 i\right )}{2}\right )\) | \(226\) |
[In]
[Out]
none
Time = 0.42 (sec) , antiderivative size = 42, normalized size of antiderivative = 1.45 \[ \int \frac {-1+e^{e^2} \left (1+e^{2 x} (-256-2 x)\right )-x+e^{2 x} \left (256+257 x+2 x^2\right )+\left (-256+256 e^{e^2}-255 x\right ) \log (x)+\left (-e^{e^2+2 x}+e^{2 x} (1+x)+\left (-1+e^{e^2}-x\right ) \log (x)\right ) \log \left (\frac {-e^{2 x}+\log (x)}{-1+e^{e^2}-x}\right )}{-256 e^{e^2+2 x} x+e^{2 x} \left (256 x+256 x^2\right )+\left (-256 x+256 e^{e^2} x-256 x^2\right ) \log (x)+\left (-e^{e^2+2 x} x+e^{2 x} \left (x+x^2\right )+\left (-x+e^{e^2} x-x^2\right ) \log (x)\right ) \log \left (\frac {-e^{2 x}+\log (x)}{-1+e^{e^2}-x}\right )} \, dx=\log \left (x\right ) + \log \left (\log \left (-\frac {e^{\left (e^{2}\right )} \log \left (x\right ) - e^{\left (2 \, x + e^{2}\right )}}{{\left (x + 1\right )} e^{\left (e^{2}\right )} - e^{\left (2 \, e^{2}\right )}}\right ) + 256\right ) \]
[In]
[Out]
Time = 2.09 (sec) , antiderivative size = 24, normalized size of antiderivative = 0.83 \[ \int \frac {-1+e^{e^2} \left (1+e^{2 x} (-256-2 x)\right )-x+e^{2 x} \left (256+257 x+2 x^2\right )+\left (-256+256 e^{e^2}-255 x\right ) \log (x)+\left (-e^{e^2+2 x}+e^{2 x} (1+x)+\left (-1+e^{e^2}-x\right ) \log (x)\right ) \log \left (\frac {-e^{2 x}+\log (x)}{-1+e^{e^2}-x}\right )}{-256 e^{e^2+2 x} x+e^{2 x} \left (256 x+256 x^2\right )+\left (-256 x+256 e^{e^2} x-256 x^2\right ) \log (x)+\left (-e^{e^2+2 x} x+e^{2 x} \left (x+x^2\right )+\left (-x+e^{e^2} x-x^2\right ) \log (x)\right ) \log \left (\frac {-e^{2 x}+\log (x)}{-1+e^{e^2}-x}\right )} \, dx=\log {\left (x \right )} + \log {\left (\log {\left (\frac {- e^{2 x} + \log {\left (x \right )}}{- x - 1 + e^{e^{2}}} \right )} + 256 \right )} \]
[In]
[Out]
none
Time = 0.36 (sec) , antiderivative size = 27, normalized size of antiderivative = 0.93 \[ \int \frac {-1+e^{e^2} \left (1+e^{2 x} (-256-2 x)\right )-x+e^{2 x} \left (256+257 x+2 x^2\right )+\left (-256+256 e^{e^2}-255 x\right ) \log (x)+\left (-e^{e^2+2 x}+e^{2 x} (1+x)+\left (-1+e^{e^2}-x\right ) \log (x)\right ) \log \left (\frac {-e^{2 x}+\log (x)}{-1+e^{e^2}-x}\right )}{-256 e^{e^2+2 x} x+e^{2 x} \left (256 x+256 x^2\right )+\left (-256 x+256 e^{e^2} x-256 x^2\right ) \log (x)+\left (-e^{e^2+2 x} x+e^{2 x} \left (x+x^2\right )+\left (-x+e^{e^2} x-x^2\right ) \log (x)\right ) \log \left (\frac {-e^{2 x}+\log (x)}{-1+e^{e^2}-x}\right )} \, dx=\log \left (x\right ) + \log \left (-\log \left (-x + e^{\left (e^{2}\right )} - 1\right ) + \log \left (-e^{\left (2 \, x\right )} + \log \left (x\right )\right ) + 256\right ) \]
[In]
[Out]
none
Time = 0.64 (sec) , antiderivative size = 27, normalized size of antiderivative = 0.93 \[ \int \frac {-1+e^{e^2} \left (1+e^{2 x} (-256-2 x)\right )-x+e^{2 x} \left (256+257 x+2 x^2\right )+\left (-256+256 e^{e^2}-255 x\right ) \log (x)+\left (-e^{e^2+2 x}+e^{2 x} (1+x)+\left (-1+e^{e^2}-x\right ) \log (x)\right ) \log \left (\frac {-e^{2 x}+\log (x)}{-1+e^{e^2}-x}\right )}{-256 e^{e^2+2 x} x+e^{2 x} \left (256 x+256 x^2\right )+\left (-256 x+256 e^{e^2} x-256 x^2\right ) \log (x)+\left (-e^{e^2+2 x} x+e^{2 x} \left (x+x^2\right )+\left (-x+e^{e^2} x-x^2\right ) \log (x)\right ) \log \left (\frac {-e^{2 x}+\log (x)}{-1+e^{e^2}-x}\right )} \, dx=\log \left (x\right ) + \log \left (\log \left (x - e^{\left (e^{2}\right )} + 1\right ) - \log \left (e^{\left (2 \, x\right )} - \log \left (x\right )\right ) - 256\right ) \]
[In]
[Out]
Time = 12.98 (sec) , antiderivative size = 27, normalized size of antiderivative = 0.93 \[ \int \frac {-1+e^{e^2} \left (1+e^{2 x} (-256-2 x)\right )-x+e^{2 x} \left (256+257 x+2 x^2\right )+\left (-256+256 e^{e^2}-255 x\right ) \log (x)+\left (-e^{e^2+2 x}+e^{2 x} (1+x)+\left (-1+e^{e^2}-x\right ) \log (x)\right ) \log \left (\frac {-e^{2 x}+\log (x)}{-1+e^{e^2}-x}\right )}{-256 e^{e^2+2 x} x+e^{2 x} \left (256 x+256 x^2\right )+\left (-256 x+256 e^{e^2} x-256 x^2\right ) \log (x)+\left (-e^{e^2+2 x} x+e^{2 x} \left (x+x^2\right )+\left (-x+e^{e^2} x-x^2\right ) \log (x)\right ) \log \left (\frac {-e^{2 x}+\log (x)}{-1+e^{e^2}-x}\right )} \, dx=\ln \left (\ln \left (\frac {{\mathrm {e}}^{2\,x}-\ln \left (x\right )}{x-{\mathrm {e}}^{{\mathrm {e}}^2}+1}\right )+256\right )+\ln \left (x\right ) \]
[In]
[Out]