3.75.63 \(\int \frac {2+e^x+x-x^2+(2+2 x-3 x^2+e^x (1+x)) \log (x)}{(2 x+e^x x+x^2-x^3) \log (x)} \, dx\)

Optimal. Leaf size=25 \[ -4+\log (5)+\log \left (\left (-x+x \left (3+e^x+x-x^2\right )\right ) \log (x)\right ) \]

________________________________________________________________________________________

Rubi [F]  time = 0.68, antiderivative size = 0, normalized size of antiderivative = 0.00, number of steps used = 0, number of rules used = 0, integrand size = 0, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.000, Rules used = {} \begin {gather*} \int \frac {2+e^x+x-x^2+\left (2+2 x-3 x^2+e^x (1+x)\right ) \log (x)}{\left (2 x+e^x x+x^2-x^3\right ) \log (x)} \, dx \end {gather*}

Verification is not applicable to the result.

[In]

Int[(2 + E^x + x - x^2 + (2 + 2*x - 3*x^2 + E^x*(1 + x))*Log[x])/((2*x + E^x*x + x^2 - x^3)*Log[x]),x]

[Out]

x + Log[x] + Log[Log[x]] - Defer[Int][(2 + E^x + x - x^2)^(-1), x] + 3*Defer[Int][x/(-2 - E^x - x + x^2), x] -
Defer[Int][x^2/(-2 - E^x - x + x^2), x]

Rubi steps

\begin {gather*} \begin {aligned} \text {integral} &=\int \left (\frac {-1-3 x+x^2}{2+e^x+x-x^2}+\frac {1+\log (x)+x \log (x)}{x \log (x)}\right ) \, dx\\ &=\int \frac {-1-3 x+x^2}{2+e^x+x-x^2} \, dx+\int \frac {1+\log (x)+x \log (x)}{x \log (x)} \, dx\\ &=\int \left (-\frac {1}{2+e^x+x-x^2}+\frac {3 x}{-2-e^x-x+x^2}-\frac {x^2}{-2-e^x-x+x^2}\right ) \, dx+\int \left (\frac {1+x}{x}+\frac {1}{x \log (x)}\right ) \, dx\\ &=3 \int \frac {x}{-2-e^x-x+x^2} \, dx+\int \frac {1+x}{x} \, dx-\int \frac {1}{2+e^x+x-x^2} \, dx-\int \frac {x^2}{-2-e^x-x+x^2} \, dx+\int \frac {1}{x \log (x)} \, dx\\ &=3 \int \frac {x}{-2-e^x-x+x^2} \, dx+\int \left (1+\frac {1}{x}\right ) \, dx-\int \frac {1}{2+e^x+x-x^2} \, dx-\int \frac {x^2}{-2-e^x-x+x^2} \, dx+\operatorname {Subst}\left (\int \frac {1}{x} \, dx,x,\log (x)\right )\\ &=x+\log (x)+\log (\log (x))+3 \int \frac {x}{-2-e^x-x+x^2} \, dx-\int \frac {1}{2+e^x+x-x^2} \, dx-\int \frac {x^2}{-2-e^x-x+x^2} \, dx\\ \end {aligned} \end {gather*}

________________________________________________________________________________________

Mathematica [A]  time = 0.22, size = 18, normalized size = 0.72 \begin {gather*} \log (x)+\log \left (2+e^x+x-x^2\right )+\log (\log (x)) \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[(2 + E^x + x - x^2 + (2 + 2*x - 3*x^2 + E^x*(1 + x))*Log[x])/((2*x + E^x*x + x^2 - x^3)*Log[x]),x]

[Out]

Log[x] + Log[2 + E^x + x - x^2] + Log[Log[x]]

________________________________________________________________________________________

fricas [A]  time = 0.60, size = 17, normalized size = 0.68 \begin {gather*} \log \left (-x^{2} + x + e^{x} + 2\right ) + \log \relax (x) + \log \left (\log \relax (x)\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((x+1)*exp(x)-3*x^2+2*x+2)*log(x)+exp(x)-x^2+x+2)/(exp(x)*x-x^3+x^2+2*x)/log(x),x, algorithm="frica
s")

[Out]

log(-x^2 + x + e^x + 2) + log(x) + log(log(x))

________________________________________________________________________________________

giac [A]  time = 0.20, size = 17, normalized size = 0.68 \begin {gather*} \log \left (-x^{2} + x + e^{x} + 2\right ) + \log \relax (x) + \log \left (\log \relax (x)\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((x+1)*exp(x)-3*x^2+2*x+2)*log(x)+exp(x)-x^2+x+2)/(exp(x)*x-x^3+x^2+2*x)/log(x),x, algorithm="giac"
)

[Out]

log(-x^2 + x + e^x + 2) + log(x) + log(log(x))

________________________________________________________________________________________

maple [A]  time = 0.04, size = 18, normalized size = 0.72

method	result	size
risch	\(\ln \relax (x )+\ln \left (-x^{2}+{\mathrm e}^{x}+x +2\right )+\ln \left (\ln \relax (x )\right )\)	\(18\)
norman	\(\ln \relax (x )+\ln \left (\ln \relax (x )\right )+\ln \left (x^{2}-x -{\mathrm e}^{x}-2\right )\)	\(20\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((((x+1)*exp(x)-3*x^2+2*x+2)*ln(x)+exp(x)-x^2+x+2)/(exp(x)*x-x^3+x^2+2*x)/ln(x),x,method=_RETURNVERBOSE)

[Out]

ln(x)+ln(-x^2+exp(x)+x+2)+ln(ln(x))

________________________________________________________________________________________

maxima [A]  time = 0.41, size = 17, normalized size = 0.68 \begin {gather*} \log \left (-x^{2} + x + e^{x} + 2\right ) + \log \relax (x) + \log \left (\log \relax (x)\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((x+1)*exp(x)-3*x^2+2*x+2)*log(x)+exp(x)-x^2+x+2)/(exp(x)*x-x^3+x^2+2*x)/log(x),x, algorithm="maxim
a")

[Out]

log(-x^2 + x + e^x + 2) + log(x) + log(log(x))

________________________________________________________________________________________

mupad [B]  time = 5.77, size = 19, normalized size = 0.76 \begin {gather*} \ln \left (\ln \relax (x)\right )+\ln \left (x^2-{\mathrm {e}}^x-x-2\right )+\ln \relax (x) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((x + exp(x) + log(x)*(2*x + exp(x)*(x + 1) - 3*x^2 + 2) - x^2 + 2)/(log(x)*(2*x + x*exp(x) + x^2 - x^3)),x
)

[Out]

log(log(x)) + log(x^2 - exp(x) - x - 2) + log(x)

________________________________________________________________________________________

sympy [A]  time = 0.33, size = 19, normalized size = 0.76 \begin {gather*} \log {\relax (x )} + \log {\left (- x^{2} + x + e^{x} + 2 \right )} + \log {\left (\log {\relax (x )} \right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((x+1)*exp(x)-3*x**2+2*x+2)*ln(x)+exp(x)-x**2+x+2)/(exp(x)*x-x**3+x**2+2*x)/ln(x),x)

[Out]

log(x) + log(-x**2 + x + exp(x) + 2) + log(log(x))

________________________________________________________________________________________