Integrand size = 137, antiderivative size = 20 \[ \int \frac {2^{-e^{e^x}} (2 x+\log (-3-3 x+\log (9)))^{e^{e^x}} \left (e^{e^x} (-9-6 x+2 \log (9))+e^{e^x} \left (e^x \left (-6 x-6 x^2+2 x \log (9)\right )+e^x (-3-3 x+\log (9)) \log (-3-3 x+\log (9))\right ) \log \left (\frac {1}{2} (2 x+\log (-3-3 x+\log (9)))\right )\right )}{-6 x-6 x^2+2 x \log (9)+(-3-3 x+\log (9)) \log (-3-3 x+\log (9))} \, dx=\left (x+\frac {1}{2} \log (-3-3 x+\log (9))\right )^{e^{e^x}} \]
[Out]
\[ \int \frac {2^{-e^{e^x}} (2 x+\log (-3-3 x+\log (9)))^{e^{e^x}} \left (e^{e^x} (-9-6 x+2 \log (9))+e^{e^x} \left (e^x \left (-6 x-6 x^2+2 x \log (9)\right )+e^x (-3-3 x+\log (9)) \log (-3-3 x+\log (9))\right ) \log \left (\frac {1}{2} (2 x+\log (-3-3 x+\log (9)))\right )\right )}{-6 x-6 x^2+2 x \log (9)+(-3-3 x+\log (9)) \log (-3-3 x+\log (9))} \, dx=\int \frac {2^{-e^{e^x}} (2 x+\log (-3-3 x+\log (9)))^{e^{e^x}} \left (e^{e^x} (-9-6 x+2 \log (9))+e^{e^x} \left (e^x \left (-6 x-6 x^2+2 x \log (9)\right )+e^x (-3-3 x+\log (9)) \log (-3-3 x+\log (9))\right ) \log \left (\frac {1}{2} (2 x+\log (-3-3 x+\log (9)))\right )\right )}{-6 x-6 x^2+2 x \log (9)+(-3-3 x+\log (9)) \log (-3-3 x+\log (9))} \, dx \]
[In]
[Out]
Rubi steps \begin{align*} \text {integral}& = \int \frac {2^{-e^{e^x}} (2 x+\log (-3-3 x+\log (9)))^{e^{e^x}} \left (e^{e^x} (-9-6 x+2 \log (9))+e^{e^x} \left (e^x \left (-6 x-6 x^2+2 x \log (9)\right )+e^x (-3-3 x+\log (9)) \log (-3-3 x+\log (9))\right ) \log \left (\frac {1}{2} (2 x+\log (-3-3 x+\log (9)))\right )\right )}{-6 x^2+x (-6+2 \log (9))+(-3-3 x+\log (9)) \log (-3-3 x+\log (9))} \, dx \\ & = \int \frac {2^{-e^{e^x}} e^{e^x} (2 x+\log (-3-3 x+\log (9)))^{-1+e^{e^x}} \left (6 x+9 \left (1-\frac {4 \log (3)}{9}\right )+e^x (3+3 x-\log (9)) (2 x+\log (-3-3 x+\log (9))) \log \left (x+\frac {1}{2} \log (-3-3 x+\log (9))\right )\right )}{3+3 x-\log (9)} \, dx \\ & = \int \left (\frac {2^{-e^{e^x}} e^{e^x} (9+6 x-4 \log (3)) (2 x+\log (-3-3 x+\log (9)))^{-1+e^{e^x}}}{3+3 x-\log (9)}+2^{-e^{e^x}} e^{e^x+x} (2 x+\log (-3-3 x+\log (9)))^{e^{e^x}} \log \left (\frac {1}{2} (2 x+\log (-3-3 x+\log (9)))\right )\right ) \, dx \\ & = \int \frac {2^{-e^{e^x}} e^{e^x} (9+6 x-4 \log (3)) (2 x+\log (-3-3 x+\log (9)))^{-1+e^{e^x}}}{3+3 x-\log (9)} \, dx+\int 2^{-e^{e^x}} e^{e^x+x} (2 x+\log (-3-3 x+\log (9)))^{e^{e^x}} \log \left (\frac {1}{2} (2 x+\log (-3-3 x+\log (9)))\right ) \, dx \\ & = \int \left (2^{1-e^{e^x}} e^{e^x} (2 x+\log (-3-3 x+\log (9)))^{-1+e^{e^x}}+\frac {3\ 2^{-e^{e^x}} e^{e^x} (2 x+\log (-3-3 x+\log (9)))^{-1+e^{e^x}}}{3+3 x-\log (9)}\right ) \, dx+\int 2^{-e^{e^x}} e^{e^x+x} (2 x+\log (-3-3 x+\log (9)))^{e^{e^x}} \log \left (\frac {1}{2} (2 x+\log (-3-3 x+\log (9)))\right ) \, dx \\ & = 3 \int \frac {2^{-e^{e^x}} e^{e^x} (2 x+\log (-3-3 x+\log (9)))^{-1+e^{e^x}}}{3+3 x-\log (9)} \, dx+\int 2^{1-e^{e^x}} e^{e^x} (2 x+\log (-3-3 x+\log (9)))^{-1+e^{e^x}} \, dx+\int 2^{-e^{e^x}} e^{e^x+x} (2 x+\log (-3-3 x+\log (9)))^{e^{e^x}} \log \left (\frac {1}{2} (2 x+\log (-3-3 x+\log (9)))\right ) \, dx \\ \end{align*}
\[ \int \frac {2^{-e^{e^x}} (2 x+\log (-3-3 x+\log (9)))^{e^{e^x}} \left (e^{e^x} (-9-6 x+2 \log (9))+e^{e^x} \left (e^x \left (-6 x-6 x^2+2 x \log (9)\right )+e^x (-3-3 x+\log (9)) \log (-3-3 x+\log (9))\right ) \log \left (\frac {1}{2} (2 x+\log (-3-3 x+\log (9)))\right )\right )}{-6 x-6 x^2+2 x \log (9)+(-3-3 x+\log (9)) \log (-3-3 x+\log (9))} \, dx=\int \frac {2^{-e^{e^x}} (2 x+\log (-3-3 x+\log (9)))^{e^{e^x}} \left (e^{e^x} (-9-6 x+2 \log (9))+e^{e^x} \left (e^x \left (-6 x-6 x^2+2 x \log (9)\right )+e^x (-3-3 x+\log (9)) \log (-3-3 x+\log (9))\right ) \log \left (\frac {1}{2} (2 x+\log (-3-3 x+\log (9)))\right )\right )}{-6 x-6 x^2+2 x \log (9)+(-3-3 x+\log (9)) \log (-3-3 x+\log (9))} \, dx \]
[In]
[Out]
Time = 0.04 (sec) , antiderivative size = 19, normalized size of antiderivative = 0.95
\[\left (\frac {\ln \left (2 \ln \left (3\right )-3 x -3\right )}{2}+x \right )^{{\mathrm e}^{{\mathrm e}^{x}}}\]
[In]
[Out]
none
Time = 0.27 (sec) , antiderivative size = 18, normalized size of antiderivative = 0.90 \[ \int \frac {2^{-e^{e^x}} (2 x+\log (-3-3 x+\log (9)))^{e^{e^x}} \left (e^{e^x} (-9-6 x+2 \log (9))+e^{e^x} \left (e^x \left (-6 x-6 x^2+2 x \log (9)\right )+e^x (-3-3 x+\log (9)) \log (-3-3 x+\log (9))\right ) \log \left (\frac {1}{2} (2 x+\log (-3-3 x+\log (9)))\right )\right )}{-6 x-6 x^2+2 x \log (9)+(-3-3 x+\log (9)) \log (-3-3 x+\log (9))} \, dx={\left (x + \frac {1}{2} \, \log \left (-3 \, x + 2 \, \log \left (3\right ) - 3\right )\right )}^{e^{\left (e^{x}\right )}} \]
[In]
[Out]
Timed out. \[ \int \frac {2^{-e^{e^x}} (2 x+\log (-3-3 x+\log (9)))^{e^{e^x}} \left (e^{e^x} (-9-6 x+2 \log (9))+e^{e^x} \left (e^x \left (-6 x-6 x^2+2 x \log (9)\right )+e^x (-3-3 x+\log (9)) \log (-3-3 x+\log (9))\right ) \log \left (\frac {1}{2} (2 x+\log (-3-3 x+\log (9)))\right )\right )}{-6 x-6 x^2+2 x \log (9)+(-3-3 x+\log (9)) \log (-3-3 x+\log (9))} \, dx=\text {Timed out} \]
[In]
[Out]
none
Time = 0.37 (sec) , antiderivative size = 28, normalized size of antiderivative = 1.40 \[ \int \frac {2^{-e^{e^x}} (2 x+\log (-3-3 x+\log (9)))^{e^{e^x}} \left (e^{e^x} (-9-6 x+2 \log (9))+e^{e^x} \left (e^x \left (-6 x-6 x^2+2 x \log (9)\right )+e^x (-3-3 x+\log (9)) \log (-3-3 x+\log (9))\right ) \log \left (\frac {1}{2} (2 x+\log (-3-3 x+\log (9)))\right )\right )}{-6 x-6 x^2+2 x \log (9)+(-3-3 x+\log (9)) \log (-3-3 x+\log (9))} \, dx=e^{\left (-e^{\left (e^{x}\right )} \log \left (2\right ) + e^{\left (e^{x}\right )} \log \left (2 \, x + \log \left (-3 \, x + 2 \, \log \left (3\right ) - 3\right )\right )\right )} \]
[In]
[Out]
\[ \int \frac {2^{-e^{e^x}} (2 x+\log (-3-3 x+\log (9)))^{e^{e^x}} \left (e^{e^x} (-9-6 x+2 \log (9))+e^{e^x} \left (e^x \left (-6 x-6 x^2+2 x \log (9)\right )+e^x (-3-3 x+\log (9)) \log (-3-3 x+\log (9))\right ) \log \left (\frac {1}{2} (2 x+\log (-3-3 x+\log (9)))\right )\right )}{-6 x-6 x^2+2 x \log (9)+(-3-3 x+\log (9)) \log (-3-3 x+\log (9))} \, dx=\int { \frac {{\left ({\left ({\left (3 \, x - 2 \, \log \left (3\right ) + 3\right )} e^{x} \log \left (-3 \, x + 2 \, \log \left (3\right ) - 3\right ) + 2 \, {\left (3 \, x^{2} - 2 \, x \log \left (3\right ) + 3 \, x\right )} e^{x}\right )} e^{\left (e^{x}\right )} \log \left (x + \frac {1}{2} \, \log \left (-3 \, x + 2 \, \log \left (3\right ) - 3\right )\right ) + {\left (6 \, x - 4 \, \log \left (3\right ) + 9\right )} e^{\left (e^{x}\right )}\right )} {\left (x + \frac {1}{2} \, \log \left (-3 \, x + 2 \, \log \left (3\right ) - 3\right )\right )}^{e^{\left (e^{x}\right )}}}{6 \, x^{2} - 4 \, x \log \left (3\right ) + {\left (3 \, x - 2 \, \log \left (3\right ) + 3\right )} \log \left (-3 \, x + 2 \, \log \left (3\right ) - 3\right ) + 6 \, x} \,d x } \]
[In]
[Out]
Time = 18.13 (sec) , antiderivative size = 16, normalized size of antiderivative = 0.80 \[ \int \frac {2^{-e^{e^x}} (2 x+\log (-3-3 x+\log (9)))^{e^{e^x}} \left (e^{e^x} (-9-6 x+2 \log (9))+e^{e^x} \left (e^x \left (-6 x-6 x^2+2 x \log (9)\right )+e^x (-3-3 x+\log (9)) \log (-3-3 x+\log (9))\right ) \log \left (\frac {1}{2} (2 x+\log (-3-3 x+\log (9)))\right )\right )}{-6 x-6 x^2+2 x \log (9)+(-3-3 x+\log (9)) \log (-3-3 x+\log (9))} \, dx={\left (x+\frac {\ln \left (\ln \left (9\right )-3\,x-3\right )}{2}\right )}^{{\mathrm {e}}^{{\mathrm {e}}^x}} \]
[In]
[Out]