Integrand size = 130, antiderivative size = 23 \[ \int \frac {\left (\frac {-5 x+x^2+e^x (x+x \log (4))}{\log (x \log (4))}\right )^x \left (5-x+e^x (-1-\log (4))+\left (-5+2 x+e^x (1+x+(1+x) \log (4))\right ) \log (x \log (4))+\left (-5+x+e^x (1+\log (4))\right ) \log (x \log (4)) \log \left (\frac {-5 x+x^2+e^x (x+x \log (4))}{\log (x \log (4))}\right )\right )}{\left (-5+x+e^x (1+\log (4))\right ) \log (x \log (4))} \, dx=\left (\frac {x \left (-5+e^x+x+e^x \log (4)\right )}{\log (x \log (4))}\right )^x \]
[Out]
\[ \int \frac {\left (\frac {-5 x+x^2+e^x (x+x \log (4))}{\log (x \log (4))}\right )^x \left (5-x+e^x (-1-\log (4))+\left (-5+2 x+e^x (1+x+(1+x) \log (4))\right ) \log (x \log (4))+\left (-5+x+e^x (1+\log (4))\right ) \log (x \log (4)) \log \left (\frac {-5 x+x^2+e^x (x+x \log (4))}{\log (x \log (4))}\right )\right )}{\left (-5+x+e^x (1+\log (4))\right ) \log (x \log (4))} \, dx=\int \frac {\left (\frac {-5 x+x^2+e^x (x+x \log (4))}{\log (x \log (4))}\right )^x \left (5-x+e^x (-1-\log (4))+\left (-5+2 x+e^x (1+x+(1+x) \log (4))\right ) \log (x \log (4))+\left (-5+x+e^x (1+\log (4))\right ) \log (x \log (4)) \log \left (\frac {-5 x+x^2+e^x (x+x \log (4))}{\log (x \log (4))}\right )\right )}{\left (-5+x+e^x (1+\log (4))\right ) \log (x \log (4))} \, dx \]
[In]
[Out]
Rubi steps \begin{align*} \text {integral}& = \int \left (\frac {(-6+x) x \left (\frac {-5 x+x^2+e^x (x+x \log (4))}{\log (x \log (4))}\right )^x}{5-x-e^x (1+\log (4))}+\frac {\left (\frac {-5 x+x^2+e^x (x+x \log (4))}{\log (x \log (4))}\right )^x \left (-1+\log (x \log (4))+x \log (x \log (4))+\log (x \log (4)) \log \left (\frac {x \left (-5+x+e^x (1+\log (4))\right )}{\log (x \log (4))}\right )\right )}{\log (x \log (4))}\right ) \, dx \\ & = \int \frac {(-6+x) x \left (\frac {-5 x+x^2+e^x (x+x \log (4))}{\log (x \log (4))}\right )^x}{5-x-e^x (1+\log (4))} \, dx+\int \frac {\left (\frac {-5 x+x^2+e^x (x+x \log (4))}{\log (x \log (4))}\right )^x \left (-1+\log (x \log (4))+x \log (x \log (4))+\log (x \log (4)) \log \left (\frac {x \left (-5+x+e^x (1+\log (4))\right )}{\log (x \log (4))}\right )\right )}{\log (x \log (4))} \, dx \\ & = \int \left (\frac {x^2 \left (\frac {-5 x+x^2+e^x (x+x \log (4))}{\log (x \log (4))}\right )^x}{5-x-e^x (1+\log (4))}+\frac {6 x \left (\frac {-5 x+x^2+e^x (x+x \log (4))}{\log (x \log (4))}\right )^x}{-5+x+e^x (1+\log (4))}\right ) \, dx+\int \left (\frac {\left (\frac {-5 x+x^2+e^x (x+x \log (4))}{\log (x \log (4))}\right )^x (-1+\log (x \log (4))+x \log (x \log (4)))}{\log (x \log (4))}+\left (\frac {-5 x+x^2+e^x (x+x \log (4))}{\log (x \log (4))}\right )^x \log \left (\frac {x \left (-5+x+e^x (1+\log (4))\right )}{\log (x \log (4))}\right )\right ) \, dx \\ & = 6 \int \frac {x \left (\frac {-5 x+x^2+e^x (x+x \log (4))}{\log (x \log (4))}\right )^x}{-5+x+e^x (1+\log (4))} \, dx+\int \frac {x^2 \left (\frac {-5 x+x^2+e^x (x+x \log (4))}{\log (x \log (4))}\right )^x}{5-x-e^x (1+\log (4))} \, dx+\int \frac {\left (\frac {-5 x+x^2+e^x (x+x \log (4))}{\log (x \log (4))}\right )^x (-1+\log (x \log (4))+x \log (x \log (4)))}{\log (x \log (4))} \, dx+\int \left (\frac {-5 x+x^2+e^x (x+x \log (4))}{\log (x \log (4))}\right )^x \log \left (\frac {x \left (-5+x+e^x (1+\log (4))\right )}{\log (x \log (4))}\right ) \, dx \\ & = 6 \int \frac {x \left (\frac {-5 x+x^2+e^x (x+x \log (4))}{\log (x \log (4))}\right )^x}{-5+x+e^x (1+\log (4))} \, dx+\int \left (\left (\frac {-5 x+x^2+e^x (x+x \log (4))}{\log (x \log (4))}\right )^x+x \left (\frac {-5 x+x^2+e^x (x+x \log (4))}{\log (x \log (4))}\right )^x-\frac {\left (\frac {-5 x+x^2+e^x (x+x \log (4))}{\log (x \log (4))}\right )^x}{\log (x \log (4))}\right ) \, dx+\int \frac {x^2 \left (\frac {-5 x+x^2+e^x (x+x \log (4))}{\log (x \log (4))}\right )^x}{5-x-e^x (1+\log (4))} \, dx+\int \left (\frac {-5 x+x^2+e^x (x+x \log (4))}{\log (x \log (4))}\right )^x \log \left (\frac {x \left (-5+x+e^x (1+\log (4))\right )}{\log (x \log (4))}\right ) \, dx \\ & = 6 \int \frac {x \left (\frac {-5 x+x^2+e^x (x+x \log (4))}{\log (x \log (4))}\right )^x}{-5+x+e^x (1+\log (4))} \, dx+\int \left (\frac {-5 x+x^2+e^x (x+x \log (4))}{\log (x \log (4))}\right )^x \, dx+\int x \left (\frac {-5 x+x^2+e^x (x+x \log (4))}{\log (x \log (4))}\right )^x \, dx+\int \frac {x^2 \left (\frac {-5 x+x^2+e^x (x+x \log (4))}{\log (x \log (4))}\right )^x}{5-x-e^x (1+\log (4))} \, dx-\int \frac {\left (\frac {-5 x+x^2+e^x (x+x \log (4))}{\log (x \log (4))}\right )^x}{\log (x \log (4))} \, dx+\int \left (\frac {-5 x+x^2+e^x (x+x \log (4))}{\log (x \log (4))}\right )^x \log \left (\frac {x \left (-5+x+e^x (1+\log (4))\right )}{\log (x \log (4))}\right ) \, dx \\ \end{align*}
Time = 0.29 (sec) , antiderivative size = 22, normalized size of antiderivative = 0.96 \[ \int \frac {\left (\frac {-5 x+x^2+e^x (x+x \log (4))}{\log (x \log (4))}\right )^x \left (5-x+e^x (-1-\log (4))+\left (-5+2 x+e^x (1+x+(1+x) \log (4))\right ) \log (x \log (4))+\left (-5+x+e^x (1+\log (4))\right ) \log (x \log (4)) \log \left (\frac {-5 x+x^2+e^x (x+x \log (4))}{\log (x \log (4))}\right )\right )}{\left (-5+x+e^x (1+\log (4))\right ) \log (x \log (4))} \, dx=\left (\frac {x \left (-5+x+e^x (1+\log (4))\right )}{\log (x \log (4))}\right )^x \]
[In]
[Out]
Time = 113.98 (sec) , antiderivative size = 26, normalized size of antiderivative = 1.13
method | result | size |
parallelrisch | \({\mathrm e}^{\ln \left (\frac {x \left ({\mathrm e}^{x}+2 \,{\mathrm e}^{x} \ln \left (2\right )-5+x \right )}{\ln \left (2 x \ln \left (2\right )\right )}\right ) x}\) | \(26\) |
[In]
[Out]
none
Time = 0.26 (sec) , antiderivative size = 28, normalized size of antiderivative = 1.22 \[ \int \frac {\left (\frac {-5 x+x^2+e^x (x+x \log (4))}{\log (x \log (4))}\right )^x \left (5-x+e^x (-1-\log (4))+\left (-5+2 x+e^x (1+x+(1+x) \log (4))\right ) \log (x \log (4))+\left (-5+x+e^x (1+\log (4))\right ) \log (x \log (4)) \log \left (\frac {-5 x+x^2+e^x (x+x \log (4))}{\log (x \log (4))}\right )\right )}{\left (-5+x+e^x (1+\log (4))\right ) \log (x \log (4))} \, dx=\left (\frac {x^{2} + {\left (2 \, x \log \left (2\right ) + x\right )} e^{x} - 5 \, x}{\log \left (2 \, x \log \left (2\right )\right )}\right )^{x} \]
[In]
[Out]
Timed out. \[ \int \frac {\left (\frac {-5 x+x^2+e^x (x+x \log (4))}{\log (x \log (4))}\right )^x \left (5-x+e^x (-1-\log (4))+\left (-5+2 x+e^x (1+x+(1+x) \log (4))\right ) \log (x \log (4))+\left (-5+x+e^x (1+\log (4))\right ) \log (x \log (4)) \log \left (\frac {-5 x+x^2+e^x (x+x \log (4))}{\log (x \log (4))}\right )\right )}{\left (-5+x+e^x (1+\log (4))\right ) \log (x \log (4))} \, dx=\text {Timed out} \]
[In]
[Out]
none
Time = 0.39 (sec) , antiderivative size = 33, normalized size of antiderivative = 1.43 \[ \int \frac {\left (\frac {-5 x+x^2+e^x (x+x \log (4))}{\log (x \log (4))}\right )^x \left (5-x+e^x (-1-\log (4))+\left (-5+2 x+e^x (1+x+(1+x) \log (4))\right ) \log (x \log (4))+\left (-5+x+e^x (1+\log (4))\right ) \log (x \log (4)) \log \left (\frac {-5 x+x^2+e^x (x+x \log (4))}{\log (x \log (4))}\right )\right )}{\left (-5+x+e^x (1+\log (4))\right ) \log (x \log (4))} \, dx=e^{\left (x \log \left ({\left (2 \, \log \left (2\right ) + 1\right )} e^{x} + x - 5\right ) + x \log \left (x\right ) - x \log \left (\log \left (2\right ) + \log \left (x\right ) + \log \left (\log \left (2\right )\right )\right )\right )} \]
[In]
[Out]
\[ \int \frac {\left (\frac {-5 x+x^2+e^x (x+x \log (4))}{\log (x \log (4))}\right )^x \left (5-x+e^x (-1-\log (4))+\left (-5+2 x+e^x (1+x+(1+x) \log (4))\right ) \log (x \log (4))+\left (-5+x+e^x (1+\log (4))\right ) \log (x \log (4)) \log \left (\frac {-5 x+x^2+e^x (x+x \log (4))}{\log (x \log (4))}\right )\right )}{\left (-5+x+e^x (1+\log (4))\right ) \log (x \log (4))} \, dx=\int { \frac {{\left ({\left ({\left (2 \, \log \left (2\right ) + 1\right )} e^{x} + x - 5\right )} \log \left (2 \, x \log \left (2\right )\right ) \log \left (\frac {x^{2} + {\left (2 \, x \log \left (2\right ) + x\right )} e^{x} - 5 \, x}{\log \left (2 \, x \log \left (2\right )\right )}\right ) - {\left (2 \, \log \left (2\right ) + 1\right )} e^{x} + {\left ({\left (2 \, {\left (x + 1\right )} \log \left (2\right ) + x + 1\right )} e^{x} + 2 \, x - 5\right )} \log \left (2 \, x \log \left (2\right )\right ) - x + 5\right )} \left (\frac {x^{2} + {\left (2 \, x \log \left (2\right ) + x\right )} e^{x} - 5 \, x}{\log \left (2 \, x \log \left (2\right )\right )}\right )^{x}}{{\left ({\left (2 \, \log \left (2\right ) + 1\right )} e^{x} + x - 5\right )} \log \left (2 \, x \log \left (2\right )\right )} \,d x } \]
[In]
[Out]
Time = 12.90 (sec) , antiderivative size = 31, normalized size of antiderivative = 1.35 \[ \int \frac {\left (\frac {-5 x+x^2+e^x (x+x \log (4))}{\log (x \log (4))}\right )^x \left (5-x+e^x (-1-\log (4))+\left (-5+2 x+e^x (1+x+(1+x) \log (4))\right ) \log (x \log (4))+\left (-5+x+e^x (1+\log (4))\right ) \log (x \log (4)) \log \left (\frac {-5 x+x^2+e^x (x+x \log (4))}{\log (x \log (4))}\right )\right )}{\left (-5+x+e^x (1+\log (4))\right ) \log (x \log (4))} \, dx={\left (\frac {x\,{\mathrm {e}}^x-5\,x+x^2+2\,x\,{\mathrm {e}}^x\,\ln \left (2\right )}{\ln \left (2\right )+\ln \left (\ln \left (2\right )\right )+\ln \left (x\right )}\right )}^x \]
[In]
[Out]