3.75.94 \(\int \frac {1-20 x+12 x^3+(19-12 x^2) \log (x)+(x-\log (x)) \log (-\frac {e^{4+e^4}}{-x+\log (x)})}{-x+\log (x)} \, dx\)

Optimal. Leaf size=28 \[ x \left (19-4 x^2-\log \left (\frac {e^{4+e^4}}{x-\log (x)}\right )\right ) \]

________________________________________________________________________________________

Rubi [F]  time = 0.25, 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 {1-20 x+12 x^3+\left (19-12 x^2\right ) \log (x)+(x-\log (x)) \log \left (-\frac {e^{4+e^4}}{-x+\log (x)}\right )}{-x+\log (x)} \, dx \end {gather*}

Verification is not applicable to the result.

[In]

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

[Out]

19*x - (4 + E^4)*x - 4*x^3 + Defer[Int][x/(x - Log[x]), x] + Defer[Int][(-x + Log[x])^(-1), x] - Defer[Int][Lo
g[(x - Log[x])^(-1)], x]

Rubi steps

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

________________________________________________________________________________________

Mathematica [A]  time = 0.11, size = 22, normalized size = 0.79 \begin {gather*} -x \left (-15+e^4+4 x^2+\log \left (\frac {1}{x-\log (x)}\right )\right ) \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[(1 - 20*x + 12*x^3 + (19 - 12*x^2)*Log[x] + (x - Log[x])*Log[-(E^(4 + E^4)/(-x + Log[x]))])/(-x + Lo
g[x]),x]

[Out]

-(x*(-15 + E^4 + 4*x^2 + Log[(x - Log[x])^(-1)]))

________________________________________________________________________________________

fricas [A]  time = 0.58, size = 27, normalized size = 0.96 \begin {gather*} -4 \, x^{3} - x \log \left (\frac {e^{\left (e^{4} + 4\right )}}{x - \log \relax (x)}\right ) + 19 \, x \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((x-log(x))*log(-exp(4+exp(4))/(log(x)-x))+(-12*x^2+19)*log(x)+12*x^3-20*x+1)/(log(x)-x),x, algorith
m="fricas")

[Out]

-4*x^3 - x*log(e^(e^4 + 4)/(x - log(x))) + 19*x

________________________________________________________________________________________

giac [A]  time = 0.24, size = 23, normalized size = 0.82 \begin {gather*} -4 \, x^{3} - x e^{4} + x \log \left (x - \log \relax (x)\right ) + 15 \, x \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((x-log(x))*log(-exp(4+exp(4))/(log(x)-x))+(-12*x^2+19)*log(x)+12*x^3-20*x+1)/(log(x)-x),x, algorith
m="giac")

[Out]

-4*x^3 - x*e^4 + x*log(x - log(x)) + 15*x

________________________________________________________________________________________

maple [A]  time = 0.10, size = 24, normalized size = 0.86

method	result	size
risch	\(x \ln \left (x -\ln \relax (x )\right )-4 x^{3}-x \,{\mathrm e}^{4}+15 x\)	\(24\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(((x-ln(x))*ln(-exp(4+exp(4))/(ln(x)-x))+(-12*x^2+19)*ln(x)+12*x^3-20*x+1)/(ln(x)-x),x,method=_RETURNVERBOS
E)

[Out]

x*ln(x-ln(x))-4*x^3-x*exp(4)+15*x

________________________________________________________________________________________

maxima [A]  time = 0.39, size = 22, normalized size = 0.79 \begin {gather*} -4 \, x^{3} - x {\left (e^{4} - 15\right )} + x \log \left (x - \log \relax (x)\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((x-log(x))*log(-exp(4+exp(4))/(log(x)-x))+(-12*x^2+19)*log(x)+12*x^3-20*x+1)/(log(x)-x),x, algorith
m="maxima")

[Out]

-4*x^3 - x*(e^4 - 15) + x*log(x - log(x))

________________________________________________________________________________________

mupad [B]  time = 4.71, size = 26, normalized size = 0.93 \begin {gather*} 15\,x-x\,{\mathrm {e}}^4-x\,\ln \left (\frac {1}{x-\ln \relax (x)}\right )-4\,x^3 \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(-(12*x^3 - 20*x - log(x)*(12*x^2 - 19) + log(exp(exp(4) + 4)/(x - log(x)))*(x - log(x)) + 1)/(x - log(x)),
x)

[Out]

15*x - x*exp(4) - x*log(1/(x - log(x))) - 4*x^3

________________________________________________________________________________________

sympy [A]  time = 0.46, size = 24, normalized size = 0.86 \begin {gather*} - 4 x^{3} - x \log {\left (- \frac {e^{4 + e^{4}}}{- x + \log {\relax (x )}} \right )} + 19 x \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((x-ln(x))*ln(-exp(4+exp(4))/(ln(x)-x))+(-12*x**2+19)*ln(x)+12*x**3-20*x+1)/(ln(x)-x),x)

[Out]

-4*x**3 - x*log(-exp(4 + exp(4))/(-x + log(x))) + 19*x

________________________________________________________________________________________