3.34.12 \(\int \frac {-6-3 x^2-24 e^{\log ^2(4+4 x^2+x^4)} x \log (4+4 x^2+x^4)}{(10+10 x+5 x^2+5 x^3+e^{\log ^2(4+4 x^2+x^4)} (10+5 x^2)) \log ^2(1+e^{\log ^2(4+4 x^2+x^4)}+x)} \, dx\)

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

________________________________________________________________________________________

Rubi [A]  time = 0.21, antiderivative size = 25, normalized size of antiderivative = 1.14, number of steps used = 1, number of rules used = 1, integrand size = 98, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.010, Rules used = {6686} \begin {gather*} \frac {3}{5 \log \left (e^{\log ^2\left (x^4+4 x^2+4\right )}+x+1\right )} \end {gather*}

Antiderivative was successfully verified.

[In]

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

[Out]

3/(5*Log[1 + E^Log[4 + 4*x^2 + x^4]^2 + 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]

Rubi steps

\begin {gather*} \begin {aligned} \text {integral} &=\frac {3}{5 \log \left (1+e^{\log ^2\left (4+4 x^2+x^4\right )}+x\right )}\\ \end {aligned} \end {gather*}

________________________________________________________________________________________

Mathematica [A]  time = 0.05, size = 22, normalized size = 1.00 \begin {gather*} \frac {3}{5 \log \left (1+e^{\log ^2\left (\left (2+x^2\right )^2\right )}+x\right )} \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[(-6 - 3*x^2 - 24*E^Log[4 + 4*x^2 + x^4]^2*x*Log[4 + 4*x^2 + x^4])/((10 + 10*x + 5*x^2 + 5*x^3 + E^Lo
g[4 + 4*x^2 + x^4]^2*(10 + 5*x^2))*Log[1 + E^Log[4 + 4*x^2 + x^4]^2 + x]^2),x]

[Out]

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

________________________________________________________________________________________

fricas [A]  time = 0.63, size = 22, normalized size = 1.00 \begin {gather*} \frac {3}{5 \, \log \left (x + e^{\left (\log \left (x^{4} + 4 \, x^{2} + 4\right )^{2}\right )} + 1\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((-24*x*log(x^4+4*x^2+4)*exp(log(x^4+4*x^2+4)^2)-3*x^2-6)/((5*x^2+10)*exp(log(x^4+4*x^2+4)^2)+5*x^3+5
*x^2+10*x+10)/log(exp(log(x^4+4*x^2+4)^2)+x+1)^2,x, algorithm="fricas")

[Out]

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

________________________________________________________________________________________

giac [A]  time = 0.48, size = 22, normalized size = 1.00 \begin {gather*} \frac {3}{5 \, \log \left (x + e^{\left (\log \left (x^{4} + 4 \, x^{2} + 4\right )^{2}\right )} + 1\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((-24*x*log(x^4+4*x^2+4)*exp(log(x^4+4*x^2+4)^2)-3*x^2-6)/((5*x^2+10)*exp(log(x^4+4*x^2+4)^2)+5*x^3+5
*x^2+10*x+10)/log(exp(log(x^4+4*x^2+4)^2)+x+1)^2,x, algorithm="giac")

[Out]

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

________________________________________________________________________________________

maple [F]  time = 0.05, size = 0, normalized size = 0.00 \[\int \frac {-24 x \ln \left (x^{4}+4 x^{2}+4\right ) {\mathrm e}^{\ln \left (x^{4}+4 x^{2}+4\right )^{2}}-3 x^{2}-6}{\left (\left (5 x^{2}+10\right ) {\mathrm e}^{\ln \left (x^{4}+4 x^{2}+4\right )^{2}}+5 x^{3}+5 x^{2}+10 x +10\right ) \ln \left ({\mathrm e}^{\ln \left (x^{4}+4 x^{2}+4\right )^{2}}+x +1\right )^{2}}\, dx\]

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((-24*x*ln(x^4+4*x^2+4)*exp(ln(x^4+4*x^2+4)^2)-3*x^2-6)/((5*x^2+10)*exp(ln(x^4+4*x^2+4)^2)+5*x^3+5*x^2+10*x
+10)/ln(exp(ln(x^4+4*x^2+4)^2)+x+1)^2,x)

[Out]

int((-24*x*ln(x^4+4*x^2+4)*exp(ln(x^4+4*x^2+4)^2)-3*x^2-6)/((5*x^2+10)*exp(ln(x^4+4*x^2+4)^2)+5*x^3+5*x^2+10*x
+10)/ln(exp(ln(x^4+4*x^2+4)^2)+x+1)^2,x)

________________________________________________________________________________________

maxima [A]  time = 0.61, size = 19, normalized size = 0.86 \begin {gather*} \frac {3}{5 \, \log \left (x + e^{\left (4 \, \log \left (x^{2} + 2\right )^{2}\right )} + 1\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((-24*x*log(x^4+4*x^2+4)*exp(log(x^4+4*x^2+4)^2)-3*x^2-6)/((5*x^2+10)*exp(log(x^4+4*x^2+4)^2)+5*x^3+5
*x^2+10*x+10)/log(exp(log(x^4+4*x^2+4)^2)+x+1)^2,x, algorithm="maxima")

[Out]

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

________________________________________________________________________________________

mupad [B]  time = 2.35, size = 22, normalized size = 1.00 \begin {gather*} \frac {3}{5\,\ln \left (x+{\mathrm {e}}^{{\ln \left (x^4+4\,x^2+4\right )}^2}+1\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(-(3*x^2 + 24*x*exp(log(4*x^2 + x^4 + 4)^2)*log(4*x^2 + x^4 + 4) + 6)/(log(x + exp(log(4*x^2 + x^4 + 4)^2)
+ 1)^2*(10*x + exp(log(4*x^2 + x^4 + 4)^2)*(5*x^2 + 10) + 5*x^2 + 5*x^3 + 10)),x)

[Out]

3/(5*log(x + exp(log(4*x^2 + x^4 + 4)^2) + 1))

________________________________________________________________________________________

sympy [A]  time = 0.99, size = 22, normalized size = 1.00 \begin {gather*} \frac {3}{5 \log {\left (x + e^{\log {\left (x^{4} + 4 x^{2} + 4 \right )}^{2}} + 1 \right )}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((-24*x*ln(x**4+4*x**2+4)*exp(ln(x**4+4*x**2+4)**2)-3*x**2-6)/((5*x**2+10)*exp(ln(x**4+4*x**2+4)**2)+
5*x**3+5*x**2+10*x+10)/ln(exp(ln(x**4+4*x**2+4)**2)+x+1)**2,x)

[Out]

3/(5*log(x + exp(log(x**4 + 4*x**2 + 4)**2) + 1))

________________________________________________________________________________________