3.72.80 \(\int \frac {-4 x-4 e^x x+(4 e^x+4 x+4 \log (4)) \log (e^x+x+\log (4))+(8 e^x+8 x+8 \log (4)) \log ^2(e^x+x+\log (4))}{(e^x+x+\log (4)) \log ^2(e^x+x+\log (4))} \, dx\)

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

________________________________________________________________________________________

Rubi [F]  time = 1.49, 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 {-4 x-4 e^x x+\left (4 e^x+4 x+4 \log (4)\right ) \log \left (e^x+x+\log (4)\right )+\left (8 e^x+8 x+8 \log (4)\right ) \log ^2\left (e^x+x+\log (4)\right )}{\left (e^x+x+\log (4)\right ) \log ^2\left (e^x+x+\log (4)\right )} \, dx \end {gather*}

Verification is not applicable to the result.

[In]

Int[(-4*x - 4*E^x*x + (4*E^x + 4*x + 4*Log[4])*Log[E^x + x + Log[4]] + (8*E^x + 8*x + 8*Log[4])*Log[E^x + x +
Log[4]]^2)/((E^x + x + Log[4])*Log[E^x + x + Log[4]]^2),x]

[Out]

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

Rubi steps

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

________________________________________________________________________________________

Mathematica [A]  time = 0.23, size = 17, normalized size = 0.89 \begin {gather*} 8 x+\frac {4 x}{\log \left (e^x+x+\log (4)\right )} \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[(-4*x - 4*E^x*x + (4*E^x + 4*x + 4*Log[4])*Log[E^x + x + Log[4]] + (8*E^x + 8*x + 8*Log[4])*Log[E^x
+ x + Log[4]]^2)/((E^x + x + Log[4])*Log[E^x + x + Log[4]]^2),x]

[Out]

8*x + (4*x)/Log[E^x + x + Log[4]]

________________________________________________________________________________________

fricas [A]  time = 0.81, size = 27, normalized size = 1.42 \begin {gather*} \frac {4 \, {\left (2 \, x \log \left (x + e^{x} + 2 \, \log \relax (2)\right ) + x\right )}}{\log \left (x + e^{x} + 2 \, \log \relax (2)\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((8*exp(x)+16*log(2)+8*x)*log(exp(x)+x+2*log(2))^2+(4*exp(x)+4*x+8*log(2))*log(exp(x)+x+2*log(2))-4*
exp(x)*x-4*x)/(exp(x)+x+2*log(2))/log(exp(x)+x+2*log(2))^2,x, algorithm="fricas")

[Out]

4*(2*x*log(x + e^x + 2*log(2)) + x)/log(x + e^x + 2*log(2))

________________________________________________________________________________________

giac [A]  time = 0.23, size = 27, normalized size = 1.42 \begin {gather*} \frac {4 \, {\left (2 \, x \log \left (x + e^{x} + 2 \, \log \relax (2)\right ) + x\right )}}{\log \left (x + e^{x} + 2 \, \log \relax (2)\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((8*exp(x)+16*log(2)+8*x)*log(exp(x)+x+2*log(2))^2+(4*exp(x)+4*x+8*log(2))*log(exp(x)+x+2*log(2))-4*
exp(x)*x-4*x)/(exp(x)+x+2*log(2))/log(exp(x)+x+2*log(2))^2,x, algorithm="giac")

[Out]

4*(2*x*log(x + e^x + 2*log(2)) + x)/log(x + e^x + 2*log(2))

________________________________________________________________________________________

maple [A]  time = 0.07, size = 19, normalized size = 1.00

method	result	size
risch	\(8 x +\frac {4 x}{\ln \left ({\mathrm e}^{x}+x +2 \ln \relax (2)\right )}\)	\(19\)
norman	\(\frac {4 x +8 \ln \left ({\mathrm e}^{x}+x +2 \ln \relax (2)\right ) x}{\ln \left ({\mathrm e}^{x}+x +2 \ln \relax (2)\right )}\)	\(29\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(((8*exp(x)+16*ln(2)+8*x)*ln(exp(x)+x+2*ln(2))^2+(4*exp(x)+4*x+8*ln(2))*ln(exp(x)+x+2*ln(2))-4*exp(x)*x-4*x
)/(exp(x)+x+2*ln(2))/ln(exp(x)+x+2*ln(2))^2,x,method=_RETURNVERBOSE)

[Out]

8*x+4*x/ln(exp(x)+x+2*ln(2))

________________________________________________________________________________________

maxima [A]  time = 0.48, size = 27, normalized size = 1.42 \begin {gather*} \frac {4 \, {\left (2 \, x \log \left (x + e^{x} + 2 \, \log \relax (2)\right ) + x\right )}}{\log \left (x + e^{x} + 2 \, \log \relax (2)\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((8*exp(x)+16*log(2)+8*x)*log(exp(x)+x+2*log(2))^2+(4*exp(x)+4*x+8*log(2))*log(exp(x)+x+2*log(2))-4*
exp(x)*x-4*x)/(exp(x)+x+2*log(2))/log(exp(x)+x+2*log(2))^2,x, algorithm="maxima")

[Out]

4*(2*x*log(x + e^x + 2*log(2)) + x)/log(x + e^x + 2*log(2))

________________________________________________________________________________________

mupad [F(-1)]  time = 0.00, size = -1, normalized size = -0.05 \begin {gather*} \text {Hanged} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(-(4*x - log(x + 2*log(2) + exp(x))*(4*x + 8*log(2) + 4*exp(x)) + 4*x*exp(x) - log(x + 2*log(2) + exp(x))^2
*(8*x + 16*log(2) + 8*exp(x)))/(log(x + 2*log(2) + exp(x))^2*(x + 2*log(2) + exp(x))),x)

[Out]

\text{Hanged}

________________________________________________________________________________________

sympy [A]  time = 0.17, size = 17, normalized size = 0.89 \begin {gather*} 8 x + \frac {4 x}{\log {\left (x + e^{x} + 2 \log {\relax (2 )} \right )}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((8*exp(x)+16*ln(2)+8*x)*ln(exp(x)+x+2*ln(2))**2+(4*exp(x)+4*x+8*ln(2))*ln(exp(x)+x+2*ln(2))-4*exp(x
)*x-4*x)/(exp(x)+x+2*ln(2))/ln(exp(x)+x+2*ln(2))**2,x)

[Out]

8*x + 4*x/log(x + exp(x) + 2*log(2))

________________________________________________________________________________________