Integrand size = 618, antiderivative size = 31 \[ \int \frac {3 x+e^{e^5+x^2} \left (36-24 x^2\right )+e^{x^2} \left (36 x-24 x^3\right )+\left (e^{e^5+x^2} \left (-9+6 x^2\right )+e^{x^2} \left (-9 x+6 x^3\right )\right ) \log \left (e^{e^5}+x\right )+\left (36 e^{e^5}+36 x+\left (-9 e^{e^5}-9 x\right ) \log \left (e^{e^5}+x\right )\right ) \log \left (-4+\log \left (e^{e^5}+x\right )\right )+\left (12 e^{e^5+x^2}+12 e^{x^2} x+\left (-3 e^{e^5+x^2}-3 e^{x^2} x\right ) \log \left (e^{e^5}+x\right )+\left (12 e^{e^5}+12 x+\left (-3 e^{e^5}-3 x\right ) \log \left (e^{e^5}+x\right )\right ) \log \left (-4+\log \left (e^{e^5}+x\right )\right )\right ) \log \left (\frac {x}{e^{x^2}+\log \left (-4+\log \left (e^{e^5}+x\right )\right )}\right )}{-16 e^{e^5+x^2} x^2-16 e^{x^2} x^3+\left (4 e^{e^5+x^2} x^2+4 e^{x^2} x^3\right ) \log \left (e^{e^5}+x\right )+\left (-16 e^{e^5} x^2-16 x^3+\left (4 e^{e^5} x^2+4 x^3\right ) \log \left (e^{e^5}+x\right )\right ) \log \left (-4+\log \left (e^{e^5}+x\right )\right )+\left (-16 e^{e^5+x^2} x^2-16 e^{x^2} x^3+\left (4 e^{e^5+x^2} x^2+4 e^{x^2} x^3\right ) \log \left (e^{e^5}+x\right )+\left (-16 e^{e^5} x^2-16 x^3+\left (4 e^{e^5} x^2+4 x^3\right ) \log \left (e^{e^5}+x\right )\right ) \log \left (-4+\log \left (e^{e^5}+x\right )\right )\right ) \log \left (\frac {x}{e^{x^2}+\log \left (-4+\log \left (e^{e^5}+x\right )\right )}\right )+\left (-4 e^{e^5+x^2} x^2-4 e^{x^2} x^3+\left (e^{e^5+x^2} x^2+e^{x^2} x^3\right ) \log \left (e^{e^5}+x\right )+\left (-4 e^{e^5} x^2-4 x^3+\left (e^{e^5} x^2+x^3\right ) \log \left (e^{e^5}+x\right )\right ) \log \left (-4+\log \left (e^{e^5}+x\right )\right )\right ) \log ^2\left (\frac {x}{e^{x^2}+\log \left (-4+\log \left (e^{e^5}+x\right )\right )}\right )} \, dx=\frac {3}{x \left (2+\log \left (\frac {x}{e^{x^2}+\log \left (-4+\log \left (e^{e^5}+x\right )\right )}\right )\right )} \]
[Out]
Time = 2.62 (sec) , antiderivative size = 31, normalized size of antiderivative = 1.00, number of steps used = 3, number of rules used = 3, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.005, Rules used = {6820, 12, 6819} \[ \int \frac {3 x+e^{e^5+x^2} \left (36-24 x^2\right )+e^{x^2} \left (36 x-24 x^3\right )+\left (e^{e^5+x^2} \left (-9+6 x^2\right )+e^{x^2} \left (-9 x+6 x^3\right )\right ) \log \left (e^{e^5}+x\right )+\left (36 e^{e^5}+36 x+\left (-9 e^{e^5}-9 x\right ) \log \left (e^{e^5}+x\right )\right ) \log \left (-4+\log \left (e^{e^5}+x\right )\right )+\left (12 e^{e^5+x^2}+12 e^{x^2} x+\left (-3 e^{e^5+x^2}-3 e^{x^2} x\right ) \log \left (e^{e^5}+x\right )+\left (12 e^{e^5}+12 x+\left (-3 e^{e^5}-3 x\right ) \log \left (e^{e^5}+x\right )\right ) \log \left (-4+\log \left (e^{e^5}+x\right )\right )\right ) \log \left (\frac {x}{e^{x^2}+\log \left (-4+\log \left (e^{e^5}+x\right )\right )}\right )}{-16 e^{e^5+x^2} x^2-16 e^{x^2} x^3+\left (4 e^{e^5+x^2} x^2+4 e^{x^2} x^3\right ) \log \left (e^{e^5}+x\right )+\left (-16 e^{e^5} x^2-16 x^3+\left (4 e^{e^5} x^2+4 x^3\right ) \log \left (e^{e^5}+x\right )\right ) \log \left (-4+\log \left (e^{e^5}+x\right )\right )+\left (-16 e^{e^5+x^2} x^2-16 e^{x^2} x^3+\left (4 e^{e^5+x^2} x^2+4 e^{x^2} x^3\right ) \log \left (e^{e^5}+x\right )+\left (-16 e^{e^5} x^2-16 x^3+\left (4 e^{e^5} x^2+4 x^3\right ) \log \left (e^{e^5}+x\right )\right ) \log \left (-4+\log \left (e^{e^5}+x\right )\right )\right ) \log \left (\frac {x}{e^{x^2}+\log \left (-4+\log \left (e^{e^5}+x\right )\right )}\right )+\left (-4 e^{e^5+x^2} x^2-4 e^{x^2} x^3+\left (e^{e^5+x^2} x^2+e^{x^2} x^3\right ) \log \left (e^{e^5}+x\right )+\left (-4 e^{e^5} x^2-4 x^3+\left (e^{e^5} x^2+x^3\right ) \log \left (e^{e^5}+x\right )\right ) \log \left (-4+\log \left (e^{e^5}+x\right )\right )\right ) \log ^2\left (\frac {x}{e^{x^2}+\log \left (-4+\log \left (e^{e^5}+x\right )\right )}\right )} \, dx=\frac {3}{x \left (\log \left (\frac {x}{e^{x^2}+\log \left (\log \left (x+e^{e^5}\right )-4\right )}\right )+2\right )} \]
[In]
[Out]
Rule 12
Rule 6819
Rule 6820
Rubi steps \begin{align*} \text {integral}& = \int \frac {3 \left (-12 e^{e^5+x^2}-x-12 e^{x^2} x+8 e^{e^5+x^2} x^2+8 e^{x^2} x^3-4 e^{e^5+x^2} \log \left (\frac {x}{e^{x^2}+\log \left (-4+\log \left (e^{e^5}+x\right )\right )}\right )-4 e^{x^2} x \log \left (\frac {x}{e^{x^2}+\log \left (-4+\log \left (e^{e^5}+x\right )\right )}\right )-4 \left (e^{e^5}+x\right ) \log \left (-4+\log \left (e^{e^5}+x\right )\right ) \left (3+\log \left (\frac {x}{e^{x^2}+\log \left (-4+\log \left (e^{e^5}+x\right )\right )}\right )\right )-\left (e^{e^5}+x\right ) \log \left (e^{e^5}+x\right ) \left (e^{x^2} \left (-3+2 x^2-\log \left (\frac {x}{e^{x^2}+\log \left (-4+\log \left (e^{e^5}+x\right )\right )}\right )\right )-\log \left (-4+\log \left (e^{e^5}+x\right )\right ) \left (3+\log \left (\frac {x}{e^{x^2}+\log \left (-4+\log \left (e^{e^5}+x\right )\right )}\right )\right )\right )\right )}{x^2 \left (e^{e^5}+x\right ) \left (4-\log \left (e^{e^5}+x\right )\right ) \left (e^{x^2}+\log \left (-4+\log \left (e^{e^5}+x\right )\right )\right ) \left (2+\log \left (\frac {x}{e^{x^2}+\log \left (-4+\log \left (e^{e^5}+x\right )\right )}\right )\right )^2} \, dx \\ & = 3 \int \frac {-12 e^{e^5+x^2}-x-12 e^{x^2} x+8 e^{e^5+x^2} x^2+8 e^{x^2} x^3-4 e^{e^5+x^2} \log \left (\frac {x}{e^{x^2}+\log \left (-4+\log \left (e^{e^5}+x\right )\right )}\right )-4 e^{x^2} x \log \left (\frac {x}{e^{x^2}+\log \left (-4+\log \left (e^{e^5}+x\right )\right )}\right )-4 \left (e^{e^5}+x\right ) \log \left (-4+\log \left (e^{e^5}+x\right )\right ) \left (3+\log \left (\frac {x}{e^{x^2}+\log \left (-4+\log \left (e^{e^5}+x\right )\right )}\right )\right )-\left (e^{e^5}+x\right ) \log \left (e^{e^5}+x\right ) \left (e^{x^2} \left (-3+2 x^2-\log \left (\frac {x}{e^{x^2}+\log \left (-4+\log \left (e^{e^5}+x\right )\right )}\right )\right )-\log \left (-4+\log \left (e^{e^5}+x\right )\right ) \left (3+\log \left (\frac {x}{e^{x^2}+\log \left (-4+\log \left (e^{e^5}+x\right )\right )}\right )\right )\right )}{x^2 \left (e^{e^5}+x\right ) \left (4-\log \left (e^{e^5}+x\right )\right ) \left (e^{x^2}+\log \left (-4+\log \left (e^{e^5}+x\right )\right )\right ) \left (2+\log \left (\frac {x}{e^{x^2}+\log \left (-4+\log \left (e^{e^5}+x\right )\right )}\right )\right )^2} \, dx \\ & = \frac {3}{x \left (2+\log \left (\frac {x}{e^{x^2}+\log \left (-4+\log \left (e^{e^5}+x\right )\right )}\right )\right )} \\ \end{align*}
Time = 0.50 (sec) , antiderivative size = 31, normalized size of antiderivative = 1.00 \[ \int \frac {3 x+e^{e^5+x^2} \left (36-24 x^2\right )+e^{x^2} \left (36 x-24 x^3\right )+\left (e^{e^5+x^2} \left (-9+6 x^2\right )+e^{x^2} \left (-9 x+6 x^3\right )\right ) \log \left (e^{e^5}+x\right )+\left (36 e^{e^5}+36 x+\left (-9 e^{e^5}-9 x\right ) \log \left (e^{e^5}+x\right )\right ) \log \left (-4+\log \left (e^{e^5}+x\right )\right )+\left (12 e^{e^5+x^2}+12 e^{x^2} x+\left (-3 e^{e^5+x^2}-3 e^{x^2} x\right ) \log \left (e^{e^5}+x\right )+\left (12 e^{e^5}+12 x+\left (-3 e^{e^5}-3 x\right ) \log \left (e^{e^5}+x\right )\right ) \log \left (-4+\log \left (e^{e^5}+x\right )\right )\right ) \log \left (\frac {x}{e^{x^2}+\log \left (-4+\log \left (e^{e^5}+x\right )\right )}\right )}{-16 e^{e^5+x^2} x^2-16 e^{x^2} x^3+\left (4 e^{e^5+x^2} x^2+4 e^{x^2} x^3\right ) \log \left (e^{e^5}+x\right )+\left (-16 e^{e^5} x^2-16 x^3+\left (4 e^{e^5} x^2+4 x^3\right ) \log \left (e^{e^5}+x\right )\right ) \log \left (-4+\log \left (e^{e^5}+x\right )\right )+\left (-16 e^{e^5+x^2} x^2-16 e^{x^2} x^3+\left (4 e^{e^5+x^2} x^2+4 e^{x^2} x^3\right ) \log \left (e^{e^5}+x\right )+\left (-16 e^{e^5} x^2-16 x^3+\left (4 e^{e^5} x^2+4 x^3\right ) \log \left (e^{e^5}+x\right )\right ) \log \left (-4+\log \left (e^{e^5}+x\right )\right )\right ) \log \left (\frac {x}{e^{x^2}+\log \left (-4+\log \left (e^{e^5}+x\right )\right )}\right )+\left (-4 e^{e^5+x^2} x^2-4 e^{x^2} x^3+\left (e^{e^5+x^2} x^2+e^{x^2} x^3\right ) \log \left (e^{e^5}+x\right )+\left (-4 e^{e^5} x^2-4 x^3+\left (e^{e^5} x^2+x^3\right ) \log \left (e^{e^5}+x\right )\right ) \log \left (-4+\log \left (e^{e^5}+x\right )\right )\right ) \log ^2\left (\frac {x}{e^{x^2}+\log \left (-4+\log \left (e^{e^5}+x\right )\right )}\right )} \, dx=\frac {3}{x \left (2+\log \left (\frac {x}{e^{x^2}+\log \left (-4+\log \left (e^{e^5}+x\right )\right )}\right )\right )} \]
[In]
[Out]
Result contains higher order function than in optimal. Order 9 vs. order 3.
Time = 0.26 (sec) , antiderivative size = 185, normalized size of antiderivative = 5.97
\[-\frac {6 i}{x \left (\pi \,\operatorname {csgn}\left (\frac {i}{\ln \left (\ln \left ({\mathrm e}^{{\mathrm e}^{5}}+x \right )-4\right )+{\mathrm e}^{x^{2}}}\right ) {\operatorname {csgn}\left (\frac {i x}{\ln \left (\ln \left ({\mathrm e}^{{\mathrm e}^{5}}+x \right )-4\right )+{\mathrm e}^{x^{2}}}\right )}^{2}-\pi \,\operatorname {csgn}\left (\frac {i}{\ln \left (\ln \left ({\mathrm e}^{{\mathrm e}^{5}}+x \right )-4\right )+{\mathrm e}^{x^{2}}}\right ) \operatorname {csgn}\left (\frac {i x}{\ln \left (\ln \left ({\mathrm e}^{{\mathrm e}^{5}}+x \right )-4\right )+{\mathrm e}^{x^{2}}}\right ) \operatorname {csgn}\left (i x \right )-\pi {\operatorname {csgn}\left (\frac {i x}{\ln \left (\ln \left ({\mathrm e}^{{\mathrm e}^{5}}+x \right )-4\right )+{\mathrm e}^{x^{2}}}\right )}^{3}+\pi {\operatorname {csgn}\left (\frac {i x}{\ln \left (\ln \left ({\mathrm e}^{{\mathrm e}^{5}}+x \right )-4\right )+{\mathrm e}^{x^{2}}}\right )}^{2} \operatorname {csgn}\left (i x \right )-2 i \ln \left (x \right )+2 i \ln \left (\ln \left (\ln \left ({\mathrm e}^{{\mathrm e}^{5}}+x \right )-4\right )+{\mathrm e}^{x^{2}}\right )-4 i\right )}\]
[In]
[Out]
none
Time = 0.26 (sec) , antiderivative size = 39, normalized size of antiderivative = 1.26 \[ \int \frac {3 x+e^{e^5+x^2} \left (36-24 x^2\right )+e^{x^2} \left (36 x-24 x^3\right )+\left (e^{e^5+x^2} \left (-9+6 x^2\right )+e^{x^2} \left (-9 x+6 x^3\right )\right ) \log \left (e^{e^5}+x\right )+\left (36 e^{e^5}+36 x+\left (-9 e^{e^5}-9 x\right ) \log \left (e^{e^5}+x\right )\right ) \log \left (-4+\log \left (e^{e^5}+x\right )\right )+\left (12 e^{e^5+x^2}+12 e^{x^2} x+\left (-3 e^{e^5+x^2}-3 e^{x^2} x\right ) \log \left (e^{e^5}+x\right )+\left (12 e^{e^5}+12 x+\left (-3 e^{e^5}-3 x\right ) \log \left (e^{e^5}+x\right )\right ) \log \left (-4+\log \left (e^{e^5}+x\right )\right )\right ) \log \left (\frac {x}{e^{x^2}+\log \left (-4+\log \left (e^{e^5}+x\right )\right )}\right )}{-16 e^{e^5+x^2} x^2-16 e^{x^2} x^3+\left (4 e^{e^5+x^2} x^2+4 e^{x^2} x^3\right ) \log \left (e^{e^5}+x\right )+\left (-16 e^{e^5} x^2-16 x^3+\left (4 e^{e^5} x^2+4 x^3\right ) \log \left (e^{e^5}+x\right )\right ) \log \left (-4+\log \left (e^{e^5}+x\right )\right )+\left (-16 e^{e^5+x^2} x^2-16 e^{x^2} x^3+\left (4 e^{e^5+x^2} x^2+4 e^{x^2} x^3\right ) \log \left (e^{e^5}+x\right )+\left (-16 e^{e^5} x^2-16 x^3+\left (4 e^{e^5} x^2+4 x^3\right ) \log \left (e^{e^5}+x\right )\right ) \log \left (-4+\log \left (e^{e^5}+x\right )\right )\right ) \log \left (\frac {x}{e^{x^2}+\log \left (-4+\log \left (e^{e^5}+x\right )\right )}\right )+\left (-4 e^{e^5+x^2} x^2-4 e^{x^2} x^3+\left (e^{e^5+x^2} x^2+e^{x^2} x^3\right ) \log \left (e^{e^5}+x\right )+\left (-4 e^{e^5} x^2-4 x^3+\left (e^{e^5} x^2+x^3\right ) \log \left (e^{e^5}+x\right )\right ) \log \left (-4+\log \left (e^{e^5}+x\right )\right )\right ) \log ^2\left (\frac {x}{e^{x^2}+\log \left (-4+\log \left (e^{e^5}+x\right )\right )}\right )} \, dx=\frac {3}{x \log \left (\frac {x e^{\left (e^{5}\right )}}{e^{\left (e^{5}\right )} \log \left (\log \left (x + e^{\left (e^{5}\right )}\right ) - 4\right ) + e^{\left (x^{2} + e^{5}\right )}}\right ) + 2 \, x} \]
[In]
[Out]
Timed out. \[ \int \frac {3 x+e^{e^5+x^2} \left (36-24 x^2\right )+e^{x^2} \left (36 x-24 x^3\right )+\left (e^{e^5+x^2} \left (-9+6 x^2\right )+e^{x^2} \left (-9 x+6 x^3\right )\right ) \log \left (e^{e^5}+x\right )+\left (36 e^{e^5}+36 x+\left (-9 e^{e^5}-9 x\right ) \log \left (e^{e^5}+x\right )\right ) \log \left (-4+\log \left (e^{e^5}+x\right )\right )+\left (12 e^{e^5+x^2}+12 e^{x^2} x+\left (-3 e^{e^5+x^2}-3 e^{x^2} x\right ) \log \left (e^{e^5}+x\right )+\left (12 e^{e^5}+12 x+\left (-3 e^{e^5}-3 x\right ) \log \left (e^{e^5}+x\right )\right ) \log \left (-4+\log \left (e^{e^5}+x\right )\right )\right ) \log \left (\frac {x}{e^{x^2}+\log \left (-4+\log \left (e^{e^5}+x\right )\right )}\right )}{-16 e^{e^5+x^2} x^2-16 e^{x^2} x^3+\left (4 e^{e^5+x^2} x^2+4 e^{x^2} x^3\right ) \log \left (e^{e^5}+x\right )+\left (-16 e^{e^5} x^2-16 x^3+\left (4 e^{e^5} x^2+4 x^3\right ) \log \left (e^{e^5}+x\right )\right ) \log \left (-4+\log \left (e^{e^5}+x\right )\right )+\left (-16 e^{e^5+x^2} x^2-16 e^{x^2} x^3+\left (4 e^{e^5+x^2} x^2+4 e^{x^2} x^3\right ) \log \left (e^{e^5}+x\right )+\left (-16 e^{e^5} x^2-16 x^3+\left (4 e^{e^5} x^2+4 x^3\right ) \log \left (e^{e^5}+x\right )\right ) \log \left (-4+\log \left (e^{e^5}+x\right )\right )\right ) \log \left (\frac {x}{e^{x^2}+\log \left (-4+\log \left (e^{e^5}+x\right )\right )}\right )+\left (-4 e^{e^5+x^2} x^2-4 e^{x^2} x^3+\left (e^{e^5+x^2} x^2+e^{x^2} x^3\right ) \log \left (e^{e^5}+x\right )+\left (-4 e^{e^5} x^2-4 x^3+\left (e^{e^5} x^2+x^3\right ) \log \left (e^{e^5}+x\right )\right ) \log \left (-4+\log \left (e^{e^5}+x\right )\right )\right ) \log ^2\left (\frac {x}{e^{x^2}+\log \left (-4+\log \left (e^{e^5}+x\right )\right )}\right )} \, dx=\text {Timed out} \]
[In]
[Out]
none
Time = 0.44 (sec) , antiderivative size = 30, normalized size of antiderivative = 0.97 \[ \int \frac {3 x+e^{e^5+x^2} \left (36-24 x^2\right )+e^{x^2} \left (36 x-24 x^3\right )+\left (e^{e^5+x^2} \left (-9+6 x^2\right )+e^{x^2} \left (-9 x+6 x^3\right )\right ) \log \left (e^{e^5}+x\right )+\left (36 e^{e^5}+36 x+\left (-9 e^{e^5}-9 x\right ) \log \left (e^{e^5}+x\right )\right ) \log \left (-4+\log \left (e^{e^5}+x\right )\right )+\left (12 e^{e^5+x^2}+12 e^{x^2} x+\left (-3 e^{e^5+x^2}-3 e^{x^2} x\right ) \log \left (e^{e^5}+x\right )+\left (12 e^{e^5}+12 x+\left (-3 e^{e^5}-3 x\right ) \log \left (e^{e^5}+x\right )\right ) \log \left (-4+\log \left (e^{e^5}+x\right )\right )\right ) \log \left (\frac {x}{e^{x^2}+\log \left (-4+\log \left (e^{e^5}+x\right )\right )}\right )}{-16 e^{e^5+x^2} x^2-16 e^{x^2} x^3+\left (4 e^{e^5+x^2} x^2+4 e^{x^2} x^3\right ) \log \left (e^{e^5}+x\right )+\left (-16 e^{e^5} x^2-16 x^3+\left (4 e^{e^5} x^2+4 x^3\right ) \log \left (e^{e^5}+x\right )\right ) \log \left (-4+\log \left (e^{e^5}+x\right )\right )+\left (-16 e^{e^5+x^2} x^2-16 e^{x^2} x^3+\left (4 e^{e^5+x^2} x^2+4 e^{x^2} x^3\right ) \log \left (e^{e^5}+x\right )+\left (-16 e^{e^5} x^2-16 x^3+\left (4 e^{e^5} x^2+4 x^3\right ) \log \left (e^{e^5}+x\right )\right ) \log \left (-4+\log \left (e^{e^5}+x\right )\right )\right ) \log \left (\frac {x}{e^{x^2}+\log \left (-4+\log \left (e^{e^5}+x\right )\right )}\right )+\left (-4 e^{e^5+x^2} x^2-4 e^{x^2} x^3+\left (e^{e^5+x^2} x^2+e^{x^2} x^3\right ) \log \left (e^{e^5}+x\right )+\left (-4 e^{e^5} x^2-4 x^3+\left (e^{e^5} x^2+x^3\right ) \log \left (e^{e^5}+x\right )\right ) \log \left (-4+\log \left (e^{e^5}+x\right )\right )\right ) \log ^2\left (\frac {x}{e^{x^2}+\log \left (-4+\log \left (e^{e^5}+x\right )\right )}\right )} \, dx=\frac {3}{x \log \left (x\right ) - x \log \left (e^{\left (x^{2}\right )} + \log \left (\log \left (x + e^{\left (e^{5}\right )}\right ) - 4\right )\right ) + 2 \, x} \]
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 1938 vs. \(2 (28) = 56\).
Time = 24.85 (sec) , antiderivative size = 1938, normalized size of antiderivative = 62.52 \[ \int \frac {3 x+e^{e^5+x^2} \left (36-24 x^2\right )+e^{x^2} \left (36 x-24 x^3\right )+\left (e^{e^5+x^2} \left (-9+6 x^2\right )+e^{x^2} \left (-9 x+6 x^3\right )\right ) \log \left (e^{e^5}+x\right )+\left (36 e^{e^5}+36 x+\left (-9 e^{e^5}-9 x\right ) \log \left (e^{e^5}+x\right )\right ) \log \left (-4+\log \left (e^{e^5}+x\right )\right )+\left (12 e^{e^5+x^2}+12 e^{x^2} x+\left (-3 e^{e^5+x^2}-3 e^{x^2} x\right ) \log \left (e^{e^5}+x\right )+\left (12 e^{e^5}+12 x+\left (-3 e^{e^5}-3 x\right ) \log \left (e^{e^5}+x\right )\right ) \log \left (-4+\log \left (e^{e^5}+x\right )\right )\right ) \log \left (\frac {x}{e^{x^2}+\log \left (-4+\log \left (e^{e^5}+x\right )\right )}\right )}{-16 e^{e^5+x^2} x^2-16 e^{x^2} x^3+\left (4 e^{e^5+x^2} x^2+4 e^{x^2} x^3\right ) \log \left (e^{e^5}+x\right )+\left (-16 e^{e^5} x^2-16 x^3+\left (4 e^{e^5} x^2+4 x^3\right ) \log \left (e^{e^5}+x\right )\right ) \log \left (-4+\log \left (e^{e^5}+x\right )\right )+\left (-16 e^{e^5+x^2} x^2-16 e^{x^2} x^3+\left (4 e^{e^5+x^2} x^2+4 e^{x^2} x^3\right ) \log \left (e^{e^5}+x\right )+\left (-16 e^{e^5} x^2-16 x^3+\left (4 e^{e^5} x^2+4 x^3\right ) \log \left (e^{e^5}+x\right )\right ) \log \left (-4+\log \left (e^{e^5}+x\right )\right )\right ) \log \left (\frac {x}{e^{x^2}+\log \left (-4+\log \left (e^{e^5}+x\right )\right )}\right )+\left (-4 e^{e^5+x^2} x^2-4 e^{x^2} x^3+\left (e^{e^5+x^2} x^2+e^{x^2} x^3\right ) \log \left (e^{e^5}+x\right )+\left (-4 e^{e^5} x^2-4 x^3+\left (e^{e^5} x^2+x^3\right ) \log \left (e^{e^5}+x\right )\right ) \log \left (-4+\log \left (e^{e^5}+x\right )\right )\right ) \log ^2\left (\frac {x}{e^{x^2}+\log \left (-4+\log \left (e^{e^5}+x\right )\right )}\right )} \, dx=\text {Too large to display} \]
[In]
[Out]
Timed out. \[ \int \frac {3 x+e^{e^5+x^2} \left (36-24 x^2\right )+e^{x^2} \left (36 x-24 x^3\right )+\left (e^{e^5+x^2} \left (-9+6 x^2\right )+e^{x^2} \left (-9 x+6 x^3\right )\right ) \log \left (e^{e^5}+x\right )+\left (36 e^{e^5}+36 x+\left (-9 e^{e^5}-9 x\right ) \log \left (e^{e^5}+x\right )\right ) \log \left (-4+\log \left (e^{e^5}+x\right )\right )+\left (12 e^{e^5+x^2}+12 e^{x^2} x+\left (-3 e^{e^5+x^2}-3 e^{x^2} x\right ) \log \left (e^{e^5}+x\right )+\left (12 e^{e^5}+12 x+\left (-3 e^{e^5}-3 x\right ) \log \left (e^{e^5}+x\right )\right ) \log \left (-4+\log \left (e^{e^5}+x\right )\right )\right ) \log \left (\frac {x}{e^{x^2}+\log \left (-4+\log \left (e^{e^5}+x\right )\right )}\right )}{-16 e^{e^5+x^2} x^2-16 e^{x^2} x^3+\left (4 e^{e^5+x^2} x^2+4 e^{x^2} x^3\right ) \log \left (e^{e^5}+x\right )+\left (-16 e^{e^5} x^2-16 x^3+\left (4 e^{e^5} x^2+4 x^3\right ) \log \left (e^{e^5}+x\right )\right ) \log \left (-4+\log \left (e^{e^5}+x\right )\right )+\left (-16 e^{e^5+x^2} x^2-16 e^{x^2} x^3+\left (4 e^{e^5+x^2} x^2+4 e^{x^2} x^3\right ) \log \left (e^{e^5}+x\right )+\left (-16 e^{e^5} x^2-16 x^3+\left (4 e^{e^5} x^2+4 x^3\right ) \log \left (e^{e^5}+x\right )\right ) \log \left (-4+\log \left (e^{e^5}+x\right )\right )\right ) \log \left (\frac {x}{e^{x^2}+\log \left (-4+\log \left (e^{e^5}+x\right )\right )}\right )+\left (-4 e^{e^5+x^2} x^2-4 e^{x^2} x^3+\left (e^{e^5+x^2} x^2+e^{x^2} x^3\right ) \log \left (e^{e^5}+x\right )+\left (-4 e^{e^5} x^2-4 x^3+\left (e^{e^5} x^2+x^3\right ) \log \left (e^{e^5}+x\right )\right ) \log \left (-4+\log \left (e^{e^5}+x\right )\right )\right ) \log ^2\left (\frac {x}{e^{x^2}+\log \left (-4+\log \left (e^{e^5}+x\right )\right )}\right )} \, dx=\int -\frac {3\,x+\ln \left (\frac {x}{{\mathrm {e}}^{x^2}+\ln \left (\ln \left (x+{\mathrm {e}}^{{\mathrm {e}}^5}\right )-4\right )}\right )\,\left (12\,x\,{\mathrm {e}}^{x^2}-\ln \left (x+{\mathrm {e}}^{{\mathrm {e}}^5}\right )\,\left (3\,x\,{\mathrm {e}}^{x^2}+3\,{\mathrm {e}}^{x^2}\,{\mathrm {e}}^{{\mathrm {e}}^5}\right )+12\,{\mathrm {e}}^{x^2}\,{\mathrm {e}}^{{\mathrm {e}}^5}+\ln \left (\ln \left (x+{\mathrm {e}}^{{\mathrm {e}}^5}\right )-4\right )\,\left (12\,x+12\,{\mathrm {e}}^{{\mathrm {e}}^5}-\ln \left (x+{\mathrm {e}}^{{\mathrm {e}}^5}\right )\,\left (3\,x+3\,{\mathrm {e}}^{{\mathrm {e}}^5}\right )\right )\right )+{\mathrm {e}}^{x^2}\,\left (36\,x-24\,x^3\right )+\ln \left (\ln \left (x+{\mathrm {e}}^{{\mathrm {e}}^5}\right )-4\right )\,\left (36\,x+36\,{\mathrm {e}}^{{\mathrm {e}}^5}-\ln \left (x+{\mathrm {e}}^{{\mathrm {e}}^5}\right )\,\left (9\,x+9\,{\mathrm {e}}^{{\mathrm {e}}^5}\right )\right )-\ln \left (x+{\mathrm {e}}^{{\mathrm {e}}^5}\right )\,\left ({\mathrm {e}}^{x^2}\,\left (9\,x-6\,x^3\right )-{\mathrm {e}}^{x^2}\,{\mathrm {e}}^{{\mathrm {e}}^5}\,\left (6\,x^2-9\right )\right )-{\mathrm {e}}^{x^2}\,{\mathrm {e}}^{{\mathrm {e}}^5}\,\left (24\,x^2-36\right )}{16\,x^3\,{\mathrm {e}}^{x^2}-\ln \left (x+{\mathrm {e}}^{{\mathrm {e}}^5}\right )\,\left (4\,x^3\,{\mathrm {e}}^{x^2}+4\,x^2\,{\mathrm {e}}^{x^2}\,{\mathrm {e}}^{{\mathrm {e}}^5}\right )+\ln \left (\ln \left (x+{\mathrm {e}}^{{\mathrm {e}}^5}\right )-4\right )\,\left (16\,x^2\,{\mathrm {e}}^{{\mathrm {e}}^5}-\ln \left (x+{\mathrm {e}}^{{\mathrm {e}}^5}\right )\,\left (4\,x^3+4\,{\mathrm {e}}^{{\mathrm {e}}^5}\,x^2\right )+16\,x^3\right )+\ln \left (\frac {x}{{\mathrm {e}}^{x^2}+\ln \left (\ln \left (x+{\mathrm {e}}^{{\mathrm {e}}^5}\right )-4\right )}\right )\,\left (16\,x^3\,{\mathrm {e}}^{x^2}-\ln \left (x+{\mathrm {e}}^{{\mathrm {e}}^5}\right )\,\left (4\,x^3\,{\mathrm {e}}^{x^2}+4\,x^2\,{\mathrm {e}}^{x^2}\,{\mathrm {e}}^{{\mathrm {e}}^5}\right )+\ln \left (\ln \left (x+{\mathrm {e}}^{{\mathrm {e}}^5}\right )-4\right )\,\left (16\,x^2\,{\mathrm {e}}^{{\mathrm {e}}^5}-\ln \left (x+{\mathrm {e}}^{{\mathrm {e}}^5}\right )\,\left (4\,x^3+4\,{\mathrm {e}}^{{\mathrm {e}}^5}\,x^2\right )+16\,x^3\right )+16\,x^2\,{\mathrm {e}}^{x^2}\,{\mathrm {e}}^{{\mathrm {e}}^5}\right )+{\ln \left (\frac {x}{{\mathrm {e}}^{x^2}+\ln \left (\ln \left (x+{\mathrm {e}}^{{\mathrm {e}}^5}\right )-4\right )}\right )}^2\,\left (4\,x^3\,{\mathrm {e}}^{x^2}+\ln \left (\ln \left (x+{\mathrm {e}}^{{\mathrm {e}}^5}\right )-4\right )\,\left (4\,x^2\,{\mathrm {e}}^{{\mathrm {e}}^5}-\ln \left (x+{\mathrm {e}}^{{\mathrm {e}}^5}\right )\,\left (x^3+{\mathrm {e}}^{{\mathrm {e}}^5}\,x^2\right )+4\,x^3\right )-\ln \left (x+{\mathrm {e}}^{{\mathrm {e}}^5}\right )\,\left (x^3\,{\mathrm {e}}^{x^2}+x^2\,{\mathrm {e}}^{x^2}\,{\mathrm {e}}^{{\mathrm {e}}^5}\right )+4\,x^2\,{\mathrm {e}}^{x^2}\,{\mathrm {e}}^{{\mathrm {e}}^5}\right )+16\,x^2\,{\mathrm {e}}^{x^2}\,{\mathrm {e}}^{{\mathrm {e}}^5}} \,d x \]
[In]
[Out]