Integrand size = 14, antiderivative size = 13 \[ \int \frac {1+x}{\log (x) (x+\log (x))} \, dx=\log (\log (x))-\log (x+\log (x))+\operatorname {LogIntegral}(x) \]
[Out]
Time = 0.10 (sec) , antiderivative size = 13, normalized size of antiderivative = 1.00, number of steps used = 8, number of rules used = 6, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.429, Rules used = {6874, 2395, 2335, 2339, 29, 6816} \[ \int \frac {1+x}{\log (x) (x+\log (x))} \, dx=\operatorname {LogIntegral}(x)+\log (\log (x))-\log (x+\log (x)) \]
[In]
[Out]
Rule 29
Rule 2335
Rule 2339
Rule 2395
Rule 6816
Rule 6874
Rubi steps \begin{align*} \text {integral}& = \int \left (\frac {1+x}{x \log (x)}+\frac {-1-x}{x (x+\log (x))}\right ) \, dx \\ & = \int \frac {1+x}{x \log (x)} \, dx+\int \frac {-1-x}{x (x+\log (x))} \, dx \\ & = -\log (x+\log (x))+\int \left (\frac {1}{\log (x)}+\frac {1}{x \log (x)}\right ) \, dx \\ & = -\log (x+\log (x))+\int \frac {1}{\log (x)} \, dx+\int \frac {1}{x \log (x)} \, dx \\ & = -\log (x+\log (x))+\text {li}(x)+\text {Subst}\left (\int \frac {1}{x} \, dx,x,\log (x)\right ) \\ & = \log (\log (x))-\log (x+\log (x))+\text {li}(x) \\ \end{align*}
Time = 0.04 (sec) , antiderivative size = 13, normalized size of antiderivative = 1.00 \[ \int \frac {1+x}{\log (x) (x+\log (x))} \, dx=\log (\log (x))-\log (x+\log (x))+\operatorname {LogIntegral}(x) \]
[In]
[Out]
Time = 1.23 (sec) , antiderivative size = 20, normalized size of antiderivative = 1.54
method | result | size |
default | \(-\operatorname {Ei}_{1}\left (-\ln \left (x \right )\right )+\ln \left (\ln \left (x \right )\right )-\ln \left (x +\ln \left (x \right )\right )\) | \(20\) |
risch | \(-\operatorname {Ei}_{1}\left (-\ln \left (x \right )\right )+\ln \left (\ln \left (x \right )\right )-\ln \left (x +\ln \left (x \right )\right )\) | \(20\) |
[In]
[Out]
none
Time = 0.31 (sec) , antiderivative size = 13, normalized size of antiderivative = 1.00 \[ \int \frac {1+x}{\log (x) (x+\log (x))} \, dx=-\log \left (x + \log \left (x\right )\right ) + \log \left (\log \left (x\right )\right ) + \operatorname {log\_integral}\left (x\right ) \]
[In]
[Out]
Time = 1.19 (sec) , antiderivative size = 15, normalized size of antiderivative = 1.15 \[ \int \frac {1+x}{\log (x) (x+\log (x))} \, dx=- \log {\left (x + \log {\left (x \right )} \right )} + \log {\left (\log {\left (x \right )} \right )} + \operatorname {Ei}{\left (\log {\left (x \right )} \right )} \]
[In]
[Out]
\[ \int \frac {1+x}{\log (x) (x+\log (x))} \, dx=\int { \frac {x + 1}{{\left (x + \log \left (x\right )\right )} \log \left (x\right )} \,d x } \]
[In]
[Out]
\[ \int \frac {1+x}{\log (x) (x+\log (x))} \, dx=\int { \frac {x + 1}{{\left (x + \log \left (x\right )\right )} \log \left (x\right )} \,d x } \]
[In]
[Out]
Time = 1.55 (sec) , antiderivative size = 13, normalized size of antiderivative = 1.00 \[ \int \frac {1+x}{\log (x) (x+\log (x))} \, dx=\ln \left (\ln \left (x\right )\right )-\ln \left (x+\ln \left (x\right )\right )+\mathrm {logint}\left (x\right ) \]
[In]
[Out]