3.100.40 \(\int (6-6 x^2+e^{x^3} (2+6 x^3)-8 x \log (\log (5))-2 \log ^2(\log (5))) \, dx\)

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

________________________________________________________________________________________

Rubi [C]  time = 0.04, antiderivative size = 72, normalized size of antiderivative = 2.88, number of steps used = 5, number of rules used = 3, integrand size = 33, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.091, Rules used = {2226, 2208, 2218} \begin {gather*} -2 x^3-\frac {2 x \Gamma \left (\frac {1}{3},-x^3\right )}{3 \sqrt [3]{-x^3}}-4 x^2 \log (\log (5))-\frac {2 x^4 \Gamma \left (\frac {4}{3},-x^3\right )}{\left (-x^3\right )^{4/3}}+2 x \left (3-\log ^2(\log (5))\right ) \end {gather*}

Antiderivative was successfully verified.

[In]

Int[6 - 6*x^2 + E^x^3*(2 + 6*x^3) - 8*x*Log[Log[5]] - 2*Log[Log[5]]^2,x]

[Out]

-2*x^3 - (2*x*Gamma[1/3, -x^3])/(3*(-x^3)^(1/3)) - (2*x^4*Gamma[4/3, -x^3])/(-x^3)^(4/3) - 4*x^2*Log[Log[5]] +
2*x*(3 - Log[Log[5]]^2)

Rule 2208

Int[(F_)^((a_.) + (b_.)*((c_.) + (d_.)*(x_))^(n_)), x_Symbol] :> -Simp[(F^a*(c + d*x)*Gamma[1/n, -(b*(c + d*x)
^n*Log[F])])/(d*n*(-(b*(c + d*x)^n*Log[F]))^(1/n)), x] /; FreeQ[{F, a, b, c, d, n}, x] &&  !IntegerQ[2/n]

Rule 2218

Int[(F_)^((a_.) + (b_.)*((c_.) + (d_.)*(x_))^(n_))*((e_.) + (f_.)*(x_))^(m_.), x_Symbol] :> -Simp[(F^a*(e + f*
x)^(m + 1)*Gamma[(m + 1)/n, -(b*(c + d*x)^n*Log[F])])/(f*n*(-(b*(c + d*x)^n*Log[F]))^((m + 1)/n)), x] /; FreeQ
[{F, a, b, c, d, e, f, m, n}, x] && EqQ[d*e - c*f, 0]

Rule 2226

Int[(F_)^((a_.) + (b_.)*((c_.) + (d_.)*(x_))^(n_))*(u_), x_Symbol] :> Int[ExpandLinearProduct[F^(a + b*(c + d*
x)^n), u, c, d, x], x] /; FreeQ[{F, a, b, c, d, n}, x] && PolynomialQ[u, x]

Rubi steps

\begin {gather*} \begin {aligned} \text {integral} &=-2 x^3-4 x^2 \log (\log (5))+2 x \left (3-\log ^2(\log (5))\right )+\int e^{x^3} \left (2+6 x^3\right ) \, dx\\ &=-2 x^3-4 x^2 \log (\log (5))+2 x \left (3-\log ^2(\log (5))\right )+\int \left (2 e^{x^3}+6 e^{x^3} x^3\right ) \, dx\\ &=-2 x^3-4 x^2 \log (\log (5))+2 x \left (3-\log ^2(\log (5))\right )+2 \int e^{x^3} \, dx+6 \int e^{x^3} x^3 \, dx\\ &=-2 x^3-\frac {2 x \Gamma \left (\frac {1}{3},-x^3\right )}{3 \sqrt [3]{-x^3}}-\frac {2 x^4 \Gamma \left (\frac {4}{3},-x^3\right )}{\left (-x^3\right )^{4/3}}-4 x^2 \log (\log (5))+2 x \left (3-\log ^2(\log (5))\right )\\ \end {aligned} \end {gather*}

________________________________________________________________________________________

Mathematica [C]  time = 0.04, size = 70, normalized size = 2.80 \begin {gather*} -2 x^3-\frac {2 x \Gamma \left (\frac {1}{3},-x^3\right )}{3 \sqrt [3]{-x^3}}-\frac {2 x^4 \Gamma \left (\frac {4}{3},-x^3\right )}{\left (-x^3\right )^{4/3}}-4 x^2 \log (\log (5))-2 x \left (-3+\log ^2(\log (5))\right ) \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[6 - 6*x^2 + E^x^3*(2 + 6*x^3) - 8*x*Log[Log[5]] - 2*Log[Log[5]]^2,x]

[Out]

-2*x^3 - (2*x*Gamma[1/3, -x^3])/(3*(-x^3)^(1/3)) - (2*x^4*Gamma[4/3, -x^3])/(-x^3)^(4/3) - 4*x^2*Log[Log[5]] -
2*x*(-3 + Log[Log[5]]^2)

________________________________________________________________________________________

fricas [A]  time = 0.67, size = 32, normalized size = 1.28 \begin {gather*} -2 \, x^{3} - 4 \, x^{2} \log \left (\log \relax (5)\right ) - 2 \, x \log \left (\log \relax (5)\right )^{2} + 2 \, x e^{\left (x^{3}\right )} + 6 \, x \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(-2*log(log(5))^2-8*x*log(log(5))+(6*x^3+2)*exp(x^3)-6*x^2+6,x, algorithm="fricas")

[Out]

-2*x^3 - 4*x^2*log(log(5)) - 2*x*log(log(5))^2 + 2*x*e^(x^3) + 6*x

________________________________________________________________________________________

giac [C]  time = 0.25, size = 43, normalized size = 1.72 \begin {gather*} -2 \, x^{3} - 4 \, x^{2} \log \left (\log \relax (5)\right ) - 2 \, x \log \left (\log \relax (5)\right )^{2} + 6 \, x + 2 \, \gamma \left (\frac {4}{3}, -x^{3}\right ) - \frac {2}{3} \, \gamma \left (\frac {1}{3}, -x^{3}\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(-2*log(log(5))^2-8*x*log(log(5))+(6*x^3+2)*exp(x^3)-6*x^2+6,x, algorithm="giac")

[Out]

-2*x^3 - 4*x^2*log(log(5)) - 2*x*log(log(5))^2 + 6*x + 2*gamma_inc_lower(4/3, -x^3) - 2/3*gamma_inc_lower(1/3,
-x^3)

________________________________________________________________________________________

maple [A]  time = 0.04, size = 33, normalized size = 1.32

method	result	size
default	\(6 x +2 \,{\mathrm e}^{x^{3}} x -2 x^{3}-2 x \ln \left (\ln \relax (5)\right )^{2}-4 \ln \left (\ln \relax (5)\right ) x^{2}\)	\(33\)
norman	\(\left (-2 \ln \left (\ln \relax (5)\right )^{2}+6\right ) x -2 x^{3}+2 \,{\mathrm e}^{x^{3}} x -4 \ln \left (\ln \relax (5)\right ) x^{2}\)	\(33\)
risch	\(6 x +2 \,{\mathrm e}^{x^{3}} x -2 x^{3}-2 x \ln \left (\ln \relax (5)\right )^{2}-4 \ln \left (\ln \relax (5)\right ) x^{2}\)	\(33\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(-2*ln(ln(5))^2-8*x*ln(ln(5))+(6*x^3+2)*exp(x^3)-6*x^2+6,x,method=_RETURNVERBOSE)

[Out]

6*x+2*exp(x^3)*x-2*x^3-2*x*ln(ln(5))^2-4*ln(ln(5))*x^2

________________________________________________________________________________________

maxima [A]  time = 0.35, size = 32, normalized size = 1.28 \begin {gather*} -2 \, x^{3} - 4 \, x^{2} \log \left (\log \relax (5)\right ) - 2 \, x \log \left (\log \relax (5)\right )^{2} + 2 \, x e^{\left (x^{3}\right )} + 6 \, x \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(-2*log(log(5))^2-8*x*log(log(5))+(6*x^3+2)*exp(x^3)-6*x^2+6,x, algorithm="maxima")

[Out]

-2*x^3 - 4*x^2*log(log(5)) - 2*x*log(log(5))^2 + 2*x*e^(x^3) + 6*x

________________________________________________________________________________________

mupad [B]  time = 0.09, size = 25, normalized size = 1.00 \begin {gather*} -2\,x\,\left ({\ln \left (\ln \relax (5)\right )}^2-{\mathrm {e}}^{x^3}+2\,x\,\ln \left (\ln \relax (5)\right )+x^2-3\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(exp(x^3)*(6*x^3 + 2) - 2*log(log(5))^2 - 8*x*log(log(5)) - 6*x^2 + 6,x)

[Out]

-2*x*(log(log(5))^2 - exp(x^3) + 2*x*log(log(5)) + x^2 - 3)

________________________________________________________________________________________

sympy [A]  time = 0.11, size = 34, normalized size = 1.36 \begin {gather*} - 2 x^{3} - 4 x^{2} \log {\left (\log {\relax (5 )} \right )} + 2 x e^{x^{3}} + x \left (6 - 2 \log {\left (\log {\relax (5 )} \right )}^{2}\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(-2*ln(ln(5))**2-8*x*ln(ln(5))+(6*x**3+2)*exp(x**3)-6*x**2+6,x)

[Out]

-2*x**3 - 4*x**2*log(log(5)) + 2*x*exp(x**3) + x*(6 - 2*log(log(5))**2)

________________________________________________________________________________________