3.89.85 \(\int \frac {1}{25} (25+(900+1050 x+450 x^2+100 x^3+(60+60 x+30 x^2) \log (2)+2 x \log ^2(2)) \log ^2(9)) \, dx\) [8885]

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

[Out]

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

________________________________________________________________________________________

Rubi [B] Leaf count is larger than twice the leaf count of optimal. \(80\) vs. \(2(28)=56\).
time = 0.02, antiderivative size = 80, normalized size of antiderivative = 2.86, number of steps used = 5, number of rules used = 2, integrand size = 46, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.043, Rules used = {12, 6} \begin {gather*} x^4 \log ^2(9)+\frac {2}{5} x^3 \log (2) \log ^2(9)+6 x^3 \log ^2(9)+\frac {1}{25} x^2 \left (525+\log ^2(2)\right ) \log ^2(9)+\frac {6}{5} x^2 \log (2) \log ^2(9)+x+\frac {12}{5} x \log (2) \log ^2(9)+36 x \log ^2(9) \end {gather*}

Antiderivative was successfully verified.

[In]

Int[(25 + (900 + 1050*x + 450*x^2 + 100*x^3 + (60 + 60*x + 30*x^2)*Log[2] + 2*x*Log[2]^2)*Log[9]^2)/25,x]

[Out]

x + 36*x*Log[9]^2 + 6*x^3*Log[9]^2 + x^4*Log[9]^2 + (12*x*Log[2]*Log[9]^2)/5 + (6*x^2*Log[2]*Log[9]^2)/5 + (2*
x^3*Log[2]*Log[9]^2)/5 + (x^2*(525 + Log[2]^2)*Log[9]^2)/25

Rule 6

Int[(u_.)*((w_.) + (a_.)*(v_) + (b_.)*(v_))^(p_.), x_Symbol] :> Int[u*((a + b)*v + w)^p, x] /; FreeQ[{a, b}, x
] &&  !FreeQ[v, x]

Rule 12

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

Rubi steps

\begin {gather*} \begin {aligned} \text {integral} &=\frac {1}{25} \int \left (25+\left (900+1050 x+450 x^2+100 x^3+\left (60+60 x+30 x^2\right ) \log (2)+2 x \log ^2(2)\right ) \log ^2(9)\right ) \, dx\\ &=x+\frac {1}{25} \log ^2(9) \int \left (900+1050 x+450 x^2+100 x^3+\left (60+60 x+30 x^2\right ) \log (2)+2 x \log ^2(2)\right ) \, dx\\ &=x+\frac {1}{25} \log ^2(9) \int \left (900+450 x^2+100 x^3+\left (60+60 x+30 x^2\right ) \log (2)+x \left (1050+2 \log ^2(2)\right )\right ) \, dx\\ &=x+36 x \log ^2(9)+6 x^3 \log ^2(9)+x^4 \log ^2(9)+\frac {1}{25} x^2 \left (525+\log ^2(2)\right ) \log ^2(9)+\frac {1}{25} \left (\log (2) \log ^2(9)\right ) \int \left (60+60 x+30 x^2\right ) \, dx\\ &=x+36 x \log ^2(9)+6 x^3 \log ^2(9)+x^4 \log ^2(9)+\frac {12}{5} x \log (2) \log ^2(9)+\frac {6}{5} x^2 \log (2) \log ^2(9)+\frac {2}{5} x^3 \log (2) \log ^2(9)+\frac {1}{25} x^2 \left (525+\log ^2(2)\right ) \log ^2(9)\\ \end {aligned} \end {gather*}

________________________________________________________________________________________

Mathematica [B] Leaf count is larger than twice the leaf count of optimal. \(59\) vs. \(2(28)=56\).
time = 0.03, size = 59, normalized size = 2.11 \begin {gather*} x+x^4 \log ^2(9)+\frac {12}{5} x (15+\log (2)) \log ^2(9)+\frac {2}{5} x^3 (15+\log (2)) \log ^2(9)+\frac {1}{25} x^2 \left (525+30 \log (2)+\log ^2(2)\right ) \log ^2(9) \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[(25 + (900 + 1050*x + 450*x^2 + 100*x^3 + (60 + 60*x + 30*x^2)*Log[2] + 2*x*Log[2]^2)*Log[9]^2)/25,x
]

[Out]

x + x^4*Log[9]^2 + (12*x*(15 + Log[2])*Log[9]^2)/5 + (2*x^3*(15 + Log[2])*Log[9]^2)/5 + (x^2*(525 + 30*Log[2]
+ Log[2]^2)*Log[9]^2)/25

________________________________________________________________________________________

Maple [B] Leaf count of result is larger than twice the leaf count of optimal. \(80\) vs. \(2(27)=54\).
time = 0.38, size = 81, normalized size = 2.89

method	result	size
gosper	\(\frac {x \left (4 \ln \left (2\right )^{2} \ln \left (3\right )^{2} x +40 \ln \left (2\right ) \ln \left (3\right )^{2} x^{2}+100 x^{3} \ln \left (3\right )^{2}+120 x \ln \left (2\right ) \ln \left (3\right )^{2}+600 x^{2} \ln \left (3\right )^{2}+240 \ln \left (2\right ) \ln \left (3\right )^{2}+2100 x \ln \left (3\right )^{2}+3600 \ln \left (3\right )^{2}+25\right )}{25}\)	\(76\)
norman	\(\left (\frac {8 \ln \left (2\right ) \ln \left (3\right )^{2}}{5}+24 \ln \left (3\right )^{2}\right ) x^{3}+\left (\frac {48 \ln \left (2\right ) \ln \left (3\right )^{2}}{5}+144 \ln \left (3\right )^{2}+1\right ) x +\left (\frac {4 \ln \left (3\right )^{2} \ln \left (2\right )^{2}}{25}+\frac {24 \ln \left (2\right ) \ln \left (3\right )^{2}}{5}+84 \ln \left (3\right )^{2}\right ) x^{2}+4 x^{4} \ln \left (3\right )^{2}\)	\(77\)
default	\(\frac {4 x^{2} \ln \left (3\right )^{2} \ln \left (2\right )^{2}}{25}+\frac {8 \ln \left (2\right ) \ln \left (3\right )^{2} x^{3}}{5}+4 x^{4} \ln \left (3\right )^{2}+\frac {24 \ln \left (2\right ) \ln \left (3\right )^{2} x^{2}}{5}+24 x^{3} \ln \left (3\right )^{2}+\frac {48 x \ln \left (2\right ) \ln \left (3\right )^{2}}{5}+84 x^{2} \ln \left (3\right )^{2}+144 x \ln \left (3\right )^{2}+x\)	\(81\)
risch	\(\frac {4 x^{2} \ln \left (3\right )^{2} \ln \left (2\right )^{2}}{25}+\frac {8 \ln \left (2\right ) \ln \left (3\right )^{2} x^{3}}{5}+4 x^{4} \ln \left (3\right )^{2}+\frac {24 \ln \left (2\right ) \ln \left (3\right )^{2} x^{2}}{5}+24 x^{3} \ln \left (3\right )^{2}+\frac {48 x \ln \left (2\right ) \ln \left (3\right )^{2}}{5}+84 x^{2} \ln \left (3\right )^{2}+144 x \ln \left (3\right )^{2}+144 \ln \left (3\right )^{2}+x\)	\(87\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(4/25*(2*x*ln(2)^2+(30*x^2+60*x+60)*ln(2)+100*x^3+450*x^2+1050*x+900)*ln(3)^2+1,x,method=_RETURNVERBOSE)

[Out]

4/25*x^2*ln(3)^2*ln(2)^2+8/5*ln(2)*ln(3)^2*x^3+4*x^4*ln(3)^2+24/5*ln(2)*ln(3)^2*x^2+24*x^3*ln(3)^2+48/5*x*ln(2
)*ln(3)^2+84*x^2*ln(3)^2+144*x*ln(3)^2+x

________________________________________________________________________________________

Maxima [A]
time = 0.27, size = 51, normalized size = 1.82 \begin {gather*} \frac {4}{25} \, {\left (25 \, x^{4} + x^{2} \log \left (2\right )^{2} + 150 \, x^{3} + 525 \, x^{2} + 10 \, {\left (x^{3} + 3 \, x^{2} + 6 \, x\right )} \log \left (2\right ) + 900 \, x\right )} \log \left (3\right )^{2} + x \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(4/25*(2*x*log(2)^2+(30*x^2+60*x+60)*log(2)+100*x^3+450*x^2+1050*x+900)*log(3)^2+1,x, algorithm="maxi
ma")

[Out]

4/25*(25*x^4 + x^2*log(2)^2 + 150*x^3 + 525*x^2 + 10*(x^3 + 3*x^2 + 6*x)*log(2) + 900*x)*log(3)^2 + x

________________________________________________________________________________________

Fricas [A]
time = 0.37, size = 51, normalized size = 1.82 \begin {gather*} \frac {4}{25} \, {\left (25 \, x^{4} + x^{2} \log \left (2\right )^{2} + 150 \, x^{3} + 525 \, x^{2} + 10 \, {\left (x^{3} + 3 \, x^{2} + 6 \, x\right )} \log \left (2\right ) + 900 \, x\right )} \log \left (3\right )^{2} + x \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(4/25*(2*x*log(2)^2+(30*x^2+60*x+60)*log(2)+100*x^3+450*x^2+1050*x+900)*log(3)^2+1,x, algorithm="fric
as")

[Out]

4/25*(25*x^4 + x^2*log(2)^2 + 150*x^3 + 525*x^2 + 10*(x^3 + 3*x^2 + 6*x)*log(2) + 900*x)*log(3)^2 + x

________________________________________________________________________________________

Sympy [B] Leaf count of result is larger than twice the leaf count of optimal. 88 vs. \(2 (26) = 52\).
time = 0.03, size = 88, normalized size = 3.14 \begin {gather*} 4 x^{4} \log {\left (3 \right )}^{2} + x^{3} \cdot \left (\frac {8 \log {\left (2 \right )} \log {\left (3 \right )}^{2}}{5} + 24 \log {\left (3 \right )}^{2}\right ) + x^{2} \cdot \left (\frac {4 \log {\left (2 \right )}^{2} \log {\left (3 \right )}^{2}}{25} + \frac {24 \log {\left (2 \right )} \log {\left (3 \right )}^{2}}{5} + 84 \log {\left (3 \right )}^{2}\right ) + x \left (1 + \frac {48 \log {\left (2 \right )} \log {\left (3 \right )}^{2}}{5} + 144 \log {\left (3 \right )}^{2}\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(4/25*(2*x*ln(2)**2+(30*x**2+60*x+60)*ln(2)+100*x**3+450*x**2+1050*x+900)*ln(3)**2+1,x)

[Out]

4*x**4*log(3)**2 + x**3*(8*log(2)*log(3)**2/5 + 24*log(3)**2) + x**2*(4*log(2)**2*log(3)**2/25 + 24*log(2)*log
(3)**2/5 + 84*log(3)**2) + x*(1 + 48*log(2)*log(3)**2/5 + 144*log(3)**2)

________________________________________________________________________________________

Giac [A]
time = 0.41, size = 51, normalized size = 1.82 \begin {gather*} \frac {4}{25} \, {\left (25 \, x^{4} + x^{2} \log \left (2\right )^{2} + 150 \, x^{3} + 525 \, x^{2} + 10 \, {\left (x^{3} + 3 \, x^{2} + 6 \, x\right )} \log \left (2\right ) + 900 \, x\right )} \log \left (3\right )^{2} + x \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(4/25*(2*x*log(2)^2+(30*x^2+60*x+60)*log(2)+100*x^3+450*x^2+1050*x+900)*log(3)^2+1,x, algorithm="giac
")

[Out]

4/25*(25*x^4 + x^2*log(2)^2 + 150*x^3 + 525*x^2 + 10*(x^3 + 3*x^2 + 6*x)*log(2) + 900*x)*log(3)^2 + x

________________________________________________________________________________________

Mupad [B]
time = 0.07, size = 62, normalized size = 2.21 \begin {gather*} 4\,{\ln \left (3\right )}^2\,x^4+\frac {4\,{\ln \left (3\right )}^2\,\left (30\,\ln \left (2\right )+450\right )\,x^3}{75}+\frac {2\,{\ln \left (3\right )}^2\,\left (60\,\ln \left (2\right )+2\,{\ln \left (2\right )}^2+1050\right )\,x^2}{25}+\left (\frac {4\,{\ln \left (3\right )}^2\,\left (60\,\ln \left (2\right )+900\right )}{25}+1\right )\,x \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((4*log(3)^2*(1050*x + log(2)*(60*x + 30*x^2 + 60) + 2*x*log(2)^2 + 450*x^2 + 100*x^3 + 900))/25 + 1,x)

[Out]

4*x^4*log(3)^2 + x*((4*log(3)^2*(60*log(2) + 900))/25 + 1) + (4*x^3*log(3)^2*(30*log(2) + 450))/75 + (2*x^2*lo
g(3)^2*(60*log(2) + 2*log(2)^2 + 1050))/25

________________________________________________________________________________________