3.23.49 \(\int \frac {e (1+x)-e \log ^2(9)}{1-x-x^2+x^3+(6-6 x^2) \log ^2(9)+(9+9 x) \log ^4(9)+((2-2 x^2) \log ^2(9)+(6+6 x) \log ^4(9)) \log (1+x)+(1+x) \log ^4(9) \log ^2(1+x)} \, dx\)

Optimal. Leaf size=20 \[ \frac {e}{1-x+\log ^2(9) (3+\log (1+x))} \]

________________________________________________________________________________________

Rubi [A]  time = 0.26, antiderivative size = 24, normalized size of antiderivative = 1.20, number of steps used = 3, number of rules used = 3, integrand size = 93, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.032, Rules used = {6688, 12, 6686} \begin {gather*} \frac {e}{-x+\log ^2(9) \log (x+1)+1+3 \log ^2(9)} \end {gather*}

Antiderivative was successfully verified.

[In]

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

[Out]

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

Rule 12

Int[(a_)*(u_), x_Symbol] :> Dist[a, Int[u, x], x] /; FreeQ[a, x] &&  !MatchQ[u, (b_)*(v_) /; FreeQ[b, x]]

Rule 6686

Int[(u_)*(y_)^(m_.), x_Symbol] :> With[{q = DerivativeDivides[y, u, x]}, Simp[(q*y^(m + 1))/(m + 1), x] /;  !F
alseQ[q]] /; FreeQ[m, x] && NeQ[m, -1]

Rule 6688

Int[u_, x_Symbol] :> With[{v = SimplifyIntegrand[u, x]}, Int[v, x] /; SimplerIntegrandQ[v, u, x]]

Rubi steps

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

________________________________________________________________________________________

Mathematica [A]  time = 0.03, size = 24, normalized size = 1.20 \begin {gather*} \frac {e}{1-x+3 \log ^2(9)+\log ^2(9) \log (1+x)} \end {gather*}

Antiderivative was successfully verified.

[In]

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

[Out]

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

________________________________________________________________________________________

fricas [A]  time = 0.73, size = 26, normalized size = 1.30 \begin {gather*} \frac {e}{4 \, \log \relax (3)^{2} \log \left (x + 1\right ) + 12 \, \log \relax (3)^{2} - x + 1} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((-4*exp(1)*log(3)^2+(x+1)*exp(1))/(16*(x+1)*log(3)^4*log(x+1)^2+(16*(6*x+6)*log(3)^4+4*(-2*x^2+2)*lo
g(3)^2)*log(x+1)+16*(9*x+9)*log(3)^4+4*(-6*x^2+6)*log(3)^2+x^3-x^2-x+1),x, algorithm="fricas")

[Out]

e/(4*log(3)^2*log(x + 1) + 12*log(3)^2 - x + 1)

________________________________________________________________________________________

giac [A]  time = 0.26, size = 26, normalized size = 1.30 \begin {gather*} \frac {e}{4 \, \log \relax (3)^{2} \log \left (x + 1\right ) + 12 \, \log \relax (3)^{2} - x + 1} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((-4*exp(1)*log(3)^2+(x+1)*exp(1))/(16*(x+1)*log(3)^4*log(x+1)^2+(16*(6*x+6)*log(3)^4+4*(-2*x^2+2)*lo
g(3)^2)*log(x+1)+16*(9*x+9)*log(3)^4+4*(-6*x^2+6)*log(3)^2+x^3-x^2-x+1),x, algorithm="giac")

[Out]

e/(4*log(3)^2*log(x + 1) + 12*log(3)^2 - x + 1)

________________________________________________________________________________________

maple [A]  time = 0.17, size = 27, normalized size = 1.35




method result size



norman \(\frac {{\mathrm e}}{4 \ln \relax (3)^{2} \ln \left (x +1\right )+12 \ln \relax (3)^{2}-x +1}\) \(27\)
risch \(\frac {{\mathrm e}}{4 \ln \relax (3)^{2} \ln \left (x +1\right )+12 \ln \relax (3)^{2}-x +1}\) \(27\)



Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

exp(1)/(4*ln(3)^2*ln(x+1)+12*ln(3)^2-x+1)

________________________________________________________________________________________

maxima [A]  time = 0.60, size = 26, normalized size = 1.30 \begin {gather*} \frac {e}{4 \, \log \relax (3)^{2} \log \left (x + 1\right ) + 12 \, \log \relax (3)^{2} - x + 1} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((-4*exp(1)*log(3)^2+(x+1)*exp(1))/(16*(x+1)*log(3)^4*log(x+1)^2+(16*(6*x+6)*log(3)^4+4*(-2*x^2+2)*lo
g(3)^2)*log(x+1)+16*(9*x+9)*log(3)^4+4*(-6*x^2+6)*log(3)^2+x^3-x^2-x+1),x, algorithm="maxima")

[Out]

e/(4*log(3)^2*log(x + 1) + 12*log(3)^2 - x + 1)

________________________________________________________________________________________

mupad [F]  time = 0.00, size = -1, normalized size = -0.05 \begin {gather*} \int -\frac {4\,\mathrm {e}\,{\ln \relax (3)}^2-\mathrm {e}\,\left (x+1\right )}{\ln \left (x+1\right )\,\left (16\,{\ln \relax (3)}^4\,\left (6\,x+6\right )-4\,{\ln \relax (3)}^2\,\left (2\,x^2-2\right )\right )-x+16\,{\ln \relax (3)}^4\,\left (9\,x+9\right )-4\,{\ln \relax (3)}^2\,\left (6\,x^2-6\right )-x^2+x^3+16\,{\ln \left (x+1\right )}^2\,{\ln \relax (3)}^4\,\left (x+1\right )+1} \,d x \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(-(4*exp(1)*log(3)^2 - exp(1)*(x + 1))/(log(x + 1)*(16*log(3)^4*(6*x + 6) - 4*log(3)^2*(2*x^2 - 2)) - x + 1
6*log(3)^4*(9*x + 9) - 4*log(3)^2*(6*x^2 - 6) - x^2 + x^3 + 16*log(x + 1)^2*log(3)^4*(x + 1) + 1),x)

[Out]

int(-(4*exp(1)*log(3)^2 - exp(1)*(x + 1))/(log(x + 1)*(16*log(3)^4*(6*x + 6) - 4*log(3)^2*(2*x^2 - 2)) - x + 1
6*log(3)^4*(9*x + 9) - 4*log(3)^2*(6*x^2 - 6) - x^2 + x^3 + 16*log(x + 1)^2*log(3)^4*(x + 1) + 1), x)

________________________________________________________________________________________

sympy [A]  time = 0.18, size = 24, normalized size = 1.20 \begin {gather*} \frac {e}{- x + 4 \log {\relax (3 )}^{2} \log {\left (x + 1 \right )} + 1 + 12 \log {\relax (3 )}^{2}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((-4*exp(1)*ln(3)**2+(x+1)*exp(1))/(16*(x+1)*ln(3)**4*ln(x+1)**2+(16*(6*x+6)*ln(3)**4+4*(-2*x**2+2)*l
n(3)**2)*ln(x+1)+16*(9*x+9)*ln(3)**4+4*(-6*x**2+6)*ln(3)**2+x**3-x**2-x+1),x)

[Out]

E/(-x + 4*log(3)**2*log(x + 1) + 1 + 12*log(3)**2)

________________________________________________________________________________________