Integrand size = 165, antiderivative size = 30 \[ \int \frac {e^{2 e^x} \left (6-3 e^4\right )+12 x^2-3 e^4 x^2-3 x^2 \log (2)+\left (-16 x+6 e^4 x+2 x \log (2)\right ) \log (3)+\left (6-3 e^4\right ) \log ^2(3)+e^{e^x} \left (-16 x+6 e^4 x+2 x \log (2)+e^x \left (-2 x^2+x^2 \log (2)\right )+\left (12-6 e^4\right ) \log (3)\right )}{e^{2 e^x} x^4+x^6-2 x^5 \log (3)+x^4 \log ^2(3)+e^{e^x} \left (-2 x^5+2 x^4 \log (3)\right )} \, dx=\frac {-2+e^4+\frac {x (2-\log (2))}{e^{e^x}-x+\log (3)}}{x^3} \]
[Out]
\[ \int \frac {e^{2 e^x} \left (6-3 e^4\right )+12 x^2-3 e^4 x^2-3 x^2 \log (2)+\left (-16 x+6 e^4 x+2 x \log (2)\right ) \log (3)+\left (6-3 e^4\right ) \log ^2(3)+e^{e^x} \left (-16 x+6 e^4 x+2 x \log (2)+e^x \left (-2 x^2+x^2 \log (2)\right )+\left (12-6 e^4\right ) \log (3)\right )}{e^{2 e^x} x^4+x^6-2 x^5 \log (3)+x^4 \log ^2(3)+e^{e^x} \left (-2 x^5+2 x^4 \log (3)\right )} \, dx=\int \frac {e^{2 e^x} \left (6-3 e^4\right )+12 x^2-3 e^4 x^2-3 x^2 \log (2)+\left (-16 x+6 e^4 x+2 x \log (2)\right ) \log (3)+\left (6-3 e^4\right ) \log ^2(3)+e^{e^x} \left (-16 x+6 e^4 x+2 x \log (2)+e^x \left (-2 x^2+x^2 \log (2)\right )+\left (12-6 e^4\right ) \log (3)\right )}{e^{2 e^x} x^4+x^6-2 x^5 \log (3)+x^4 \log ^2(3)+e^{e^x} \left (-2 x^5+2 x^4 \log (3)\right )} \, dx \]
[In]
[Out]
Rubi steps \begin{align*} \text {integral}& = \int \frac {e^{2 e^x} \left (6-3 e^4\right )+\left (12-3 e^4\right ) x^2-3 x^2 \log (2)+\left (-16 x+6 e^4 x+2 x \log (2)\right ) \log (3)+\left (6-3 e^4\right ) \log ^2(3)+e^{e^x} \left (-16 x+6 e^4 x+2 x \log (2)+e^x \left (-2 x^2+x^2 \log (2)\right )+\left (12-6 e^4\right ) \log (3)\right )}{e^{2 e^x} x^4+x^6-2 x^5 \log (3)+x^4 \log ^2(3)+e^{e^x} \left (-2 x^5+2 x^4 \log (3)\right )} \, dx \\ & = \int \frac {e^{2 e^x} \left (6-3 e^4\right )+x^2 \left (12-3 e^4-3 \log (2)\right )+\left (-16 x+6 e^4 x+2 x \log (2)\right ) \log (3)+\left (6-3 e^4\right ) \log ^2(3)+e^{e^x} \left (-16 x+6 e^4 x+2 x \log (2)+e^x \left (-2 x^2+x^2 \log (2)\right )+\left (12-6 e^4\right ) \log (3)\right )}{e^{2 e^x} x^4+x^6-2 x^5 \log (3)+x^4 \log ^2(3)+e^{e^x} \left (-2 x^5+2 x^4 \log (3)\right )} \, dx \\ & = \int \frac {6 e^{2 e^x} \left (1-\frac {e^4}{2}\right )+e^{e^x+x} x^2 (-2+\log (2))+6 e^{4+e^x} (x-\log (3))-3 e^4 (x-\log (3))^2+6 \log ^2(3)+e^{e^x} (12 \log (3)+x (-16+\log (4)))+x \log (3) (-16+\log (4))-x^2 (-12+\log (8))}{x^4 \left (e^{e^x}-x+\log (3)\right )^2} \, dx \\ & = \int \left (-\frac {3 e^4 (x-\log (3))^2}{x^4 \left (-e^{e^x}+x-\log (3)\right )^2}+\frac {6 \log ^2(3)}{x^4 \left (-e^{e^x}+x-\log (3)\right )^2}-\frac {3 e^{2 e^x} \left (-2+e^4\right )}{x^4 \left (e^{e^x}-x+\log (3)\right )^2}+\frac {e^{e^x+x} (-2+\log (2))}{x^2 \left (e^{e^x}-x+\log (3)\right )^2}+\frac {6 e^{4+e^x} (x-\log (3))}{x^4 \left (e^{e^x}-x+\log (3)\right )^2}+\frac {e^{e^x} (12 \log (3)-x (16-\log (4)))}{x^4 \left (e^{e^x}-x+\log (3)\right )^2}+\frac {\log (3) (-16+\log (4))}{x^3 \left (-e^{e^x}+x-\log (3)\right )^2}-\frac {-12+\log (8)}{x^2 \left (-e^{e^x}+x-\log (3)\right )^2}\right ) \, dx \\ & = 6 \int \frac {e^{4+e^x} (x-\log (3))}{x^4 \left (e^{e^x}-x+\log (3)\right )^2} \, dx-\left (3 e^4\right ) \int \frac {(x-\log (3))^2}{x^4 \left (-e^{e^x}+x-\log (3)\right )^2} \, dx+\left (3 \left (2-e^4\right )\right ) \int \frac {e^{2 e^x}}{x^4 \left (e^{e^x}-x+\log (3)\right )^2} \, dx+(-2+\log (2)) \int \frac {e^{e^x+x}}{x^2 \left (e^{e^x}-x+\log (3)\right )^2} \, dx+\left (6 \log ^2(3)\right ) \int \frac {1}{x^4 \left (-e^{e^x}+x-\log (3)\right )^2} \, dx-(\log (3) (16-\log (4))) \int \frac {1}{x^3 \left (-e^{e^x}+x-\log (3)\right )^2} \, dx+(12-\log (8)) \int \frac {1}{x^2 \left (-e^{e^x}+x-\log (3)\right )^2} \, dx+\int \frac {e^{e^x} (12 \log (3)-x (16-\log (4)))}{x^4 \left (e^{e^x}-x+\log (3)\right )^2} \, dx \\ & = 6 \int \left (\frac {e^{4+e^x}}{x^3 \left (-e^{e^x}+x-\log (3)\right )^2}-\frac {e^{4+e^x} \log (3)}{x^4 \left (-e^{e^x}+x-\log (3)\right )^2}\right ) \, dx-\left (3 e^4\right ) \int \left (\frac {1}{x^2 \left (-e^{e^x}+x-\log (3)\right )^2}+\frac {\log ^2(3)}{x^4 \left (-e^{e^x}+x-\log (3)\right )^2}-\frac {\log (9)}{x^3 \left (-e^{e^x}+x-\log (3)\right )^2}\right ) \, dx+\left (3 \left (2-e^4\right )\right ) \int \frac {e^{2 e^x}}{x^4 \left (e^{e^x}-x+\log (3)\right )^2} \, dx+(-2+\log (2)) \int \frac {e^{e^x+x}}{x^2 \left (e^{e^x}-x+\log (3)\right )^2} \, dx+\left (6 \log ^2(3)\right ) \int \frac {1}{x^4 \left (-e^{e^x}+x-\log (3)\right )^2} \, dx-(\log (3) (16-\log (4))) \int \frac {1}{x^3 \left (-e^{e^x}+x-\log (3)\right )^2} \, dx+(12-\log (8)) \int \frac {1}{x^2 \left (-e^{e^x}+x-\log (3)\right )^2} \, dx+\int \left (\frac {12 e^{e^x} \log (3)}{x^4 \left (-e^{e^x}+x-\log (3)\right )^2}+\frac {e^{e^x} (-16+\log (4))}{x^3 \left (-e^{e^x}+x-\log (3)\right )^2}\right ) \, dx \\ & = 6 \int \frac {e^{4+e^x}}{x^3 \left (-e^{e^x}+x-\log (3)\right )^2} \, dx-\left (3 e^4\right ) \int \frac {1}{x^2 \left (-e^{e^x}+x-\log (3)\right )^2} \, dx+\left (3 \left (2-e^4\right )\right ) \int \frac {e^{2 e^x}}{x^4 \left (e^{e^x}-x+\log (3)\right )^2} \, dx+(-2+\log (2)) \int \frac {e^{e^x+x}}{x^2 \left (e^{e^x}-x+\log (3)\right )^2} \, dx-(6 \log (3)) \int \frac {e^{4+e^x}}{x^4 \left (-e^{e^x}+x-\log (3)\right )^2} \, dx+(12 \log (3)) \int \frac {e^{e^x}}{x^4 \left (-e^{e^x}+x-\log (3)\right )^2} \, dx+\left (6 \log ^2(3)\right ) \int \frac {1}{x^4 \left (-e^{e^x}+x-\log (3)\right )^2} \, dx-\left (3 e^4 \log ^2(3)\right ) \int \frac {1}{x^4 \left (-e^{e^x}+x-\log (3)\right )^2} \, dx-(\log (3) (16-\log (4))) \int \frac {1}{x^3 \left (-e^{e^x}+x-\log (3)\right )^2} \, dx+(-16+\log (4)) \int \frac {e^{e^x}}{x^3 \left (-e^{e^x}+x-\log (3)\right )^2} \, dx+(12-\log (8)) \int \frac {1}{x^2 \left (-e^{e^x}+x-\log (3)\right )^2} \, dx+\left (3 e^4 \log (9)\right ) \int \frac {1}{x^3 \left (-e^{e^x}+x-\log (3)\right )^2} \, dx \\ \end{align*}
Timed out. \[ \int \frac {e^{2 e^x} \left (6-3 e^4\right )+12 x^2-3 e^4 x^2-3 x^2 \log (2)+\left (-16 x+6 e^4 x+2 x \log (2)\right ) \log (3)+\left (6-3 e^4\right ) \log ^2(3)+e^{e^x} \left (-16 x+6 e^4 x+2 x \log (2)+e^x \left (-2 x^2+x^2 \log (2)\right )+\left (12-6 e^4\right ) \log (3)\right )}{e^{2 e^x} x^4+x^6-2 x^5 \log (3)+x^4 \log ^2(3)+e^{e^x} \left (-2 x^5+2 x^4 \log (3)\right )} \, dx=\text {\$Aborted} \]
[In]
[Out]
Time = 0.34 (sec) , antiderivative size = 33, normalized size of antiderivative = 1.10
method | result | size |
risch | \(\frac {{\mathrm e}^{4}}{x^{3}}-\frac {2}{x^{3}}-\frac {\ln \left (2\right )-2}{x^{2} \left (\ln \left (3\right )+{\mathrm e}^{{\mathrm e}^{x}}-x \right )}\) | \(33\) |
parallelrisch | \(\frac {{\mathrm e}^{4} \ln \left (3\right )+{\mathrm e}^{4} {\mathrm e}^{{\mathrm e}^{x}}-x \,{\mathrm e}^{4}-x \ln \left (2\right )-2 \ln \left (3\right )-2 \,{\mathrm e}^{{\mathrm e}^{x}}+4 x}{x^{3} \left (\ln \left (3\right )+{\mathrm e}^{{\mathrm e}^{x}}-x \right )}\) | \(50\) |
[In]
[Out]
none
Time = 0.26 (sec) , antiderivative size = 51, normalized size of antiderivative = 1.70 \[ \int \frac {e^{2 e^x} \left (6-3 e^4\right )+12 x^2-3 e^4 x^2-3 x^2 \log (2)+\left (-16 x+6 e^4 x+2 x \log (2)\right ) \log (3)+\left (6-3 e^4\right ) \log ^2(3)+e^{e^x} \left (-16 x+6 e^4 x+2 x \log (2)+e^x \left (-2 x^2+x^2 \log (2)\right )+\left (12-6 e^4\right ) \log (3)\right )}{e^{2 e^x} x^4+x^6-2 x^5 \log (3)+x^4 \log ^2(3)+e^{e^x} \left (-2 x^5+2 x^4 \log (3)\right )} \, dx=\frac {x e^{4} - {\left (e^{4} - 2\right )} e^{\left (e^{x}\right )} - {\left (e^{4} - 2\right )} \log \left (3\right ) + x \log \left (2\right ) - 4 \, x}{x^{4} - x^{3} e^{\left (e^{x}\right )} - x^{3} \log \left (3\right )} \]
[In]
[Out]
Time = 0.09 (sec) , antiderivative size = 34, normalized size of antiderivative = 1.13 \[ \int \frac {e^{2 e^x} \left (6-3 e^4\right )+12 x^2-3 e^4 x^2-3 x^2 \log (2)+\left (-16 x+6 e^4 x+2 x \log (2)\right ) \log (3)+\left (6-3 e^4\right ) \log ^2(3)+e^{e^x} \left (-16 x+6 e^4 x+2 x \log (2)+e^x \left (-2 x^2+x^2 \log (2)\right )+\left (12-6 e^4\right ) \log (3)\right )}{e^{2 e^x} x^4+x^6-2 x^5 \log (3)+x^4 \log ^2(3)+e^{e^x} \left (-2 x^5+2 x^4 \log (3)\right )} \, dx=\frac {2 - \log {\left (2 \right )}}{- x^{3} + x^{2} e^{e^{x}} + x^{2} \log {\left (3 \right )}} - \frac {6 - 3 e^{4}}{3 x^{3}} \]
[In]
[Out]
none
Time = 0.31 (sec) , antiderivative size = 50, normalized size of antiderivative = 1.67 \[ \int \frac {e^{2 e^x} \left (6-3 e^4\right )+12 x^2-3 e^4 x^2-3 x^2 \log (2)+\left (-16 x+6 e^4 x+2 x \log (2)\right ) \log (3)+\left (6-3 e^4\right ) \log ^2(3)+e^{e^x} \left (-16 x+6 e^4 x+2 x \log (2)+e^x \left (-2 x^2+x^2 \log (2)\right )+\left (12-6 e^4\right ) \log (3)\right )}{e^{2 e^x} x^4+x^6-2 x^5 \log (3)+x^4 \log ^2(3)+e^{e^x} \left (-2 x^5+2 x^4 \log (3)\right )} \, dx=\frac {x {\left (e^{4} + \log \left (2\right ) - 4\right )} - {\left (e^{4} - 2\right )} e^{\left (e^{x}\right )} - e^{4} \log \left (3\right ) + 2 \, \log \left (3\right )}{x^{4} - x^{3} e^{\left (e^{x}\right )} - x^{3} \log \left (3\right )} \]
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 56 vs. \(2 (27) = 54\).
Time = 0.33 (sec) , antiderivative size = 56, normalized size of antiderivative = 1.87 \[ \int \frac {e^{2 e^x} \left (6-3 e^4\right )+12 x^2-3 e^4 x^2-3 x^2 \log (2)+\left (-16 x+6 e^4 x+2 x \log (2)\right ) \log (3)+\left (6-3 e^4\right ) \log ^2(3)+e^{e^x} \left (-16 x+6 e^4 x+2 x \log (2)+e^x \left (-2 x^2+x^2 \log (2)\right )+\left (12-6 e^4\right ) \log (3)\right )}{e^{2 e^x} x^4+x^6-2 x^5 \log (3)+x^4 \log ^2(3)+e^{e^x} \left (-2 x^5+2 x^4 \log (3)\right )} \, dx=\frac {x e^{4} - e^{4} \log \left (3\right ) + x \log \left (2\right ) - 4 \, x - e^{\left (e^{x} + 4\right )} + 2 \, e^{\left (e^{x}\right )} + 2 \, \log \left (3\right )}{x^{4} - x^{3} e^{\left (e^{x}\right )} - x^{3} \log \left (3\right )} \]
[In]
[Out]
Timed out. \[ \int \frac {e^{2 e^x} \left (6-3 e^4\right )+12 x^2-3 e^4 x^2-3 x^2 \log (2)+\left (-16 x+6 e^4 x+2 x \log (2)\right ) \log (3)+\left (6-3 e^4\right ) \log ^2(3)+e^{e^x} \left (-16 x+6 e^4 x+2 x \log (2)+e^x \left (-2 x^2+x^2 \log (2)\right )+\left (12-6 e^4\right ) \log (3)\right )}{e^{2 e^x} x^4+x^6-2 x^5 \log (3)+x^4 \log ^2(3)+e^{e^x} \left (-2 x^5+2 x^4 \log (3)\right )} \, dx=-\int \frac {{\mathrm {e}}^{2\,{\mathrm {e}}^x}\,\left (3\,{\mathrm {e}}^4-6\right )+{\ln \left (3\right )}^2\,\left (3\,{\mathrm {e}}^4-6\right )-\ln \left (3\right )\,\left (6\,x\,{\mathrm {e}}^4-16\,x+2\,x\,\ln \left (2\right )\right )+3\,x^2\,{\mathrm {e}}^4+3\,x^2\,\ln \left (2\right )-{\mathrm {e}}^{{\mathrm {e}}^x}\,\left (6\,x\,{\mathrm {e}}^4-16\,x+2\,x\,\ln \left (2\right )+{\mathrm {e}}^x\,\left (x^2\,\ln \left (2\right )-2\,x^2\right )-\ln \left (3\right )\,\left (6\,{\mathrm {e}}^4-12\right )\right )-12\,x^2}{x^4\,{\ln \left (3\right )}^2-2\,x^5\,\ln \left (3\right )+x^6+x^4\,{\mathrm {e}}^{2\,{\mathrm {e}}^x}+{\mathrm {e}}^{{\mathrm {e}}^x}\,\left (2\,x^4\,\ln \left (3\right )-2\,x^5\right )} \,d x \]
[In]
[Out]