Integrand size = 40, antiderivative size = 23 \[ \int \frac {-e^{10} x+2 e^{10} x \log (x) \log (\log (x))-2 e^{10} \log (x) \log ^2(\log (x))}{\log (x) \log ^2(\log (x))} \, dx=e^{10} \left (-2 x+\frac {3}{\log (4)}+\frac {x^2}{\log (\log (x))}\right ) \]
[Out]
\[ \int \frac {-e^{10} x+2 e^{10} x \log (x) \log (\log (x))-2 e^{10} \log (x) \log ^2(\log (x))}{\log (x) \log ^2(\log (x))} \, dx=\int \frac {-e^{10} x+2 e^{10} x \log (x) \log (\log (x))-2 e^{10} \log (x) \log ^2(\log (x))}{\log (x) \log ^2(\log (x))} \, dx \]
[In]
[Out]
Rubi steps \begin{align*} \text {integral}& = \int \frac {e^{10} (-x-2 \log (x) \log (\log (x)) (-x+\log (\log (x))))}{\log (x) \log ^2(\log (x))} \, dx \\ & = e^{10} \int \frac {-x-2 \log (x) \log (\log (x)) (-x+\log (\log (x)))}{\log (x) \log ^2(\log (x))} \, dx \\ & = e^{10} \int \left (-2-\frac {x}{\log (x) \log ^2(\log (x))}+\frac {2 x}{\log (\log (x))}\right ) \, dx \\ & = -2 e^{10} x-e^{10} \int \frac {x}{\log (x) \log ^2(\log (x))} \, dx+\left (2 e^{10}\right ) \int \frac {x}{\log (\log (x))} \, dx \\ \end{align*}
Time = 0.25 (sec) , antiderivative size = 19, normalized size of antiderivative = 0.83 \[ \int \frac {-e^{10} x+2 e^{10} x \log (x) \log (\log (x))-2 e^{10} \log (x) \log ^2(\log (x))}{\log (x) \log ^2(\log (x))} \, dx=-2 e^{10} x+\frac {e^{10} x^2}{\log (\log (x))} \]
[In]
[Out]
Time = 4.55 (sec) , antiderivative size = 18, normalized size of antiderivative = 0.78
method | result | size |
risch | \(-2 x \,{\mathrm e}^{10}+\frac {x^{2} {\mathrm e}^{10}}{\ln \left (\ln \left (x \right )\right )}\) | \(18\) |
norman | \(\frac {x^{2} {\mathrm e}^{10}-2 \,{\mathrm e}^{10} x \ln \left (\ln \left (x \right )\right )}{\ln \left (\ln \left (x \right )\right )}\) | \(26\) |
parallelrisch | \(\frac {x^{2} {\mathrm e}^{10}-2 \,{\mathrm e}^{10} x \ln \left (\ln \left (x \right )\right )}{\ln \left (\ln \left (x \right )\right )}\) | \(26\) |
[In]
[Out]
none
Time = 0.27 (sec) , antiderivative size = 21, normalized size of antiderivative = 0.91 \[ \int \frac {-e^{10} x+2 e^{10} x \log (x) \log (\log (x))-2 e^{10} \log (x) \log ^2(\log (x))}{\log (x) \log ^2(\log (x))} \, dx=\frac {x^{2} e^{10} - 2 \, x e^{10} \log \left (\log \left (x\right )\right )}{\log \left (\log \left (x\right )\right )} \]
[In]
[Out]
Time = 0.05 (sec) , antiderivative size = 17, normalized size of antiderivative = 0.74 \[ \int \frac {-e^{10} x+2 e^{10} x \log (x) \log (\log (x))-2 e^{10} \log (x) \log ^2(\log (x))}{\log (x) \log ^2(\log (x))} \, dx=\frac {x^{2} e^{10}}{\log {\left (\log {\left (x \right )} \right )}} - 2 x e^{10} \]
[In]
[Out]
none
Time = 0.22 (sec) , antiderivative size = 17, normalized size of antiderivative = 0.74 \[ \int \frac {-e^{10} x+2 e^{10} x \log (x) \log (\log (x))-2 e^{10} \log (x) \log ^2(\log (x))}{\log (x) \log ^2(\log (x))} \, dx=-2 \, x e^{10} + \frac {x^{2} e^{10}}{\log \left (\log \left (x\right )\right )} \]
[In]
[Out]
none
Time = 0.26 (sec) , antiderivative size = 17, normalized size of antiderivative = 0.74 \[ \int \frac {-e^{10} x+2 e^{10} x \log (x) \log (\log (x))-2 e^{10} \log (x) \log ^2(\log (x))}{\log (x) \log ^2(\log (x))} \, dx=-2 \, x e^{10} + \frac {x^{2} e^{10}}{\log \left (\log \left (x\right )\right )} \]
[In]
[Out]
Time = 9.23 (sec) , antiderivative size = 17, normalized size of antiderivative = 0.74 \[ \int \frac {-e^{10} x+2 e^{10} x \log (x) \log (\log (x))-2 e^{10} \log (x) \log ^2(\log (x))}{\log (x) \log ^2(\log (x))} \, dx=\frac {x^2\,{\mathrm {e}}^{10}}{\ln \left (\ln \left (x\right )\right )}-2\,x\,{\mathrm {e}}^{10} \]
[In]
[Out]