Integrand size = 18, antiderivative size = 13 \[ \int \frac {1-8 x \log (x)}{2 x \log (x)} \, dx=-4 x+\frac {1}{4} \log \left (\log ^2(x)\right ) \]
[Out]
Time = 0.04 (sec) , antiderivative size = 11, normalized size of antiderivative = 0.85, number of steps used = 5, number of rules used = 4, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.222, Rules used = {12, 6820, 2339, 29} \[ \int \frac {1-8 x \log (x)}{2 x \log (x)} \, dx=\frac {1}{2} \log (\log (x))-4 x \]
[In]
[Out]
Rule 12
Rule 29
Rule 2339
Rule 6820
Rubi steps \begin{align*} \text {integral}& = \frac {1}{2} \int \frac {1-8 x \log (x)}{x \log (x)} \, dx \\ & = \frac {1}{2} \int \left (-8+\frac {1}{x \log (x)}\right ) \, dx \\ & = -4 x+\frac {1}{2} \int \frac {1}{x \log (x)} \, dx \\ & = -4 x+\frac {1}{2} \text {Subst}\left (\int \frac {1}{x} \, dx,x,\log (x)\right ) \\ & = -4 x+\frac {1}{2} \log (\log (x)) \\ \end{align*}
Time = 0.02 (sec) , antiderivative size = 11, normalized size of antiderivative = 0.85 \[ \int \frac {1-8 x \log (x)}{2 x \log (x)} \, dx=-4 x+\frac {1}{2} \log (\log (x)) \]
[In]
[Out]
Time = 0.01 (sec) , antiderivative size = 10, normalized size of antiderivative = 0.77
method | result | size |
default | \(-4 x +\frac {\ln \left (\ln \left (x \right )\right )}{2}\) | \(10\) |
norman | \(-4 x +\frac {\ln \left (\ln \left (x \right )\right )}{2}\) | \(10\) |
risch | \(-4 x +\frac {\ln \left (\ln \left (x \right )\right )}{2}\) | \(10\) |
parallelrisch | \(-4 x +\frac {\ln \left (\ln \left (x \right )\right )}{2}\) | \(10\) |
parts | \(-4 x +\frac {\ln \left (\ln \left (x \right )\right )}{2}\) | \(10\) |
[In]
[Out]
none
Time = 0.24 (sec) , antiderivative size = 9, normalized size of antiderivative = 0.69 \[ \int \frac {1-8 x \log (x)}{2 x \log (x)} \, dx=-4 \, x + \frac {1}{2} \, \log \left (\log \left (x\right )\right ) \]
[In]
[Out]
Time = 0.05 (sec) , antiderivative size = 8, normalized size of antiderivative = 0.62 \[ \int \frac {1-8 x \log (x)}{2 x \log (x)} \, dx=- 4 x + \frac {\log {\left (\log {\left (x \right )} \right )}}{2} \]
[In]
[Out]
none
Time = 0.22 (sec) , antiderivative size = 9, normalized size of antiderivative = 0.69 \[ \int \frac {1-8 x \log (x)}{2 x \log (x)} \, dx=-4 \, x + \frac {1}{2} \, \log \left (\log \left (x\right )\right ) \]
[In]
[Out]
none
Time = 0.27 (sec) , antiderivative size = 9, normalized size of antiderivative = 0.69 \[ \int \frac {1-8 x \log (x)}{2 x \log (x)} \, dx=-4 \, x + \frac {1}{2} \, \log \left (\log \left (x\right )\right ) \]
[In]
[Out]
Time = 11.01 (sec) , antiderivative size = 9, normalized size of antiderivative = 0.69 \[ \int \frac {1-8 x \log (x)}{2 x \log (x)} \, dx=\frac {\ln \left (\ln \left (x\right )\right )}{2}-4\,x \]
[In]
[Out]