\(\int \frac {-2 x^3+(4 x^3-8 x \log (3)) \log (6 x)+16 x \log (3) \log ^2(6 x)}{\log ^2(3) \log ^3(6 x)} \, dx\) [7769]

Optimal result

Integrand size = 44, antiderivative size = 18 \[ \int \frac {-2 x^3+\left (4 x^3-8 x \log (3)\right ) \log (6 x)+16 x \log (3) \log ^2(6 x)}{\log ^2(3) \log ^3(6 x)} \, dx=\left (4+\frac {x^2}{\log (3) \log (6 x)}\right )^2 \]

[Out]

(4+x^2/ln(6*x)/ln(3))^2

Rubi [A] (verified)

Time = 0.13 (sec) , antiderivative size = 30, normalized size of antiderivative = 1.67, number of steps used = 5, number of rules used = 3, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.068, Rules used = {12, 6873, 6844} \[ \int \frac {-2 x^3+\left (4 x^3-8 x \log (3)\right ) \log (6 x)+16 x \log (3) \log ^2(6 x)}{\log ^2(3) \log ^3(6 x)} \, dx=\frac {x^4}{\log ^2(3) \log ^2(6 x)}+\frac {8 x^2}{\log (3) \log (6 x)} \]

[In]

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

[Out]

x^4/(Log[3]^2*Log[6*x]^2) + (8*x^2)/(Log[3]*Log[6*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 6844

Int[(u_)*(v_)^(r_.)*((a_.)*(v_)^(p_.) + (b_.)*(w_)^(q_.))^(m_.), x_Symbol] :> With[{c = Simplify[u/(p*w*D[v, x
] - q*v*D[w, x])]}, Dist[(-c)*q, Subst[Int[(a + b*x^q)^m, x], x, v^(m*p + r + 1)*w], x] /; FreeQ[c, x]] /; Fre
eQ[{a, b, m, p, q, r}, x] && EqQ[p + q*(m*p + r + 1), 0] && IntegerQ[q] && IntegerQ[m]

Rule 6873

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

Rubi steps \begin{align*} \text {integral}& = \frac {\int \frac {-2 x^3+\left (4 x^3-8 x \log (3)\right ) \log (6 x)+16 x \log (3) \log ^2(6 x)}{\log ^3(6 x)} \, dx}{\log ^2(3)} \\ & = \frac {\int \frac {2 x (1-2 \log (6 x)) \left (-x^2-4 \log (3) \log (6 x)\right )}{\log ^3(6 x)} \, dx}{\log ^2(3)} \\ & = \frac {2 \int \frac {x (1-2 \log (6 x)) \left (-x^2-4 \log (3) \log (6 x)\right )}{\log ^3(6 x)} \, dx}{\log ^2(3)} \\ & = -\frac {2 \text {Subst}\left (\int (-x-4 \log (3)) \, dx,x,\frac {x^2}{\log (6 x)}\right )}{\log ^2(3)} \\ & = \frac {x^4}{\log ^2(3) \log ^2(6 x)}+\frac {8 x^2}{\log (3) \log (6 x)} \\ \end{align*}

Mathematica [A] (verified)

Time = 0.09 (sec) , antiderivative size = 33, normalized size of antiderivative = 1.83 \[ \int \frac {-2 x^3+\left (4 x^3-8 x \log (3)\right ) \log (6 x)+16 x \log (3) \log ^2(6 x)}{\log ^2(3) \log ^3(6 x)} \, dx=\frac {2 \left (\frac {x^4}{2 \log ^2(6 x)}+\frac {4 x^2 \log (3)}{\log (6 x)}\right )}{\log ^2(3)} \]

[In]

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

[Out]

(2*(x^4/(2*Log[6*x]^2) + (4*x^2*Log[3])/Log[6*x]))/Log[3]^2

Maple [A] (verified)

Time = 0.12 (sec) , antiderivative size = 27, normalized size of antiderivative = 1.50

method	result	size
risch	\(\frac {x^{2} \left (8 \ln \left (3\right ) \ln \left (6 x \right )+x^{2}\right )}{\ln \left (3\right )^{2} \ln \left (6 x \right )^{2}}\)	\(27\)
parallelrisch	\(\frac {8 \ln \left (3\right ) x^{2} \ln \left (6 x \right )+x^{4}}{\ln \left (3\right )^{2} \ln \left (6 x \right )^{2}}\)	\(27\)
norman	\(\frac {\frac {x^{4}}{\ln \left (3\right )}+8 \ln \left (6 x \right ) x^{2}}{\ln \left (3\right ) \ln \left (6 x \right )^{2}}\)	\(30\)
default	\(\frac {-\frac {4 \ln \left (3\right ) \operatorname {Ei}_{1}\left (-2 \ln \left (6 x \right )\right )}{9}-\frac {2 \ln \left (3\right ) \left (-\frac {36 x^{2}}{\ln \left (6 x \right )}-2 \,\operatorname {Ei}_{1}\left (-2 \ln \left (6 x \right )\right )\right )}{9}+\frac {x^{4}}{\ln \left (6 x \right )^{2}}}{\ln \left (3\right )^{2}}\)	\(55\)
derivativedivides	\(\frac {-288 \ln \left (3\right ) \operatorname {Ei}_{1}\left (-2 \ln \left (6 x \right )\right )-144 \ln \left (3\right ) \left (-\frac {36 x^{2}}{\ln \left (6 x \right )}-2 \,\operatorname {Ei}_{1}\left (-2 \ln \left (6 x \right )\right )\right )+\frac {648 x^{4}}{\ln \left (6 x \right )^{2}}}{648 \ln \left (3\right )^{2}}\)	\(57\)
parts	\(-\frac {4 \,\operatorname {Ei}_{1}\left (-2 \ln \left (6 x \right )\right )}{9 \ln \left (3\right )}-\frac {2 \left (-\frac {x^{4}}{2 \ln \left (6 x \right )^{2}}-\frac {2 x^{4}}{\ln \left (6 x \right )}-\frac {\operatorname {Ei}_{1}\left (-4 \ln \left (6 x \right )\right )}{162}\right )}{\ln \left (3\right )^{2}}-\frac {4 \left (\frac {x^{4}}{\ln \left (6 x \right )}+\frac {\operatorname {Ei}_{1}\left (-4 \ln \left (6 x \right )\right )}{324}+\frac {\ln \left (3\right ) \left (-\frac {36 x^{2}}{\ln \left (6 x \right )}-2 \,\operatorname {Ei}_{1}\left (-2 \ln \left (6 x \right )\right )\right )}{18}\right )}{\ln \left (3\right )^{2}}\)	\(108\)

[In]

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

[Out]

1/ln(3)^2*x^2*(8*ln(3)*ln(6*x)+x^2)/ln(6*x)^2

Fricas [A] (verification not implemented)

none

Time = 0.24 (sec) , antiderivative size = 26, normalized size of antiderivative = 1.44 \[ \int \frac {-2 x^3+\left (4 x^3-8 x \log (3)\right ) \log (6 x)+16 x \log (3) \log ^2(6 x)}{\log ^2(3) \log ^3(6 x)} \, dx=\frac {x^{4} + 8 \, x^{2} \log \left (3\right ) \log \left (6 \, x\right )}{\log \left (3\right )^{2} \log \left (6 \, x\right )^{2}} \]

[In]

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

[Out]

(x^4 + 8*x^2*log(3)*log(6*x))/(log(3)^2*log(6*x)^2)

Sympy [A] (verification not implemented)

Time = 0.06 (sec) , antiderivative size = 27, normalized size of antiderivative = 1.50 \[ \int \frac {-2 x^3+\left (4 x^3-8 x \log (3)\right ) \log (6 x)+16 x \log (3) \log ^2(6 x)}{\log ^2(3) \log ^3(6 x)} \, dx=\frac {x^{4} + 8 x^{2} \log {\left (3 \right )} \log {\left (6 x \right )}}{\log {\left (3 \right )}^{2} \log {\left (6 x \right )}^{2}} \]

[In]

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

[Out]

(x**4 + 8*x**2*log(3)*log(6*x))/(log(3)**2*log(6*x)**2)

Maxima [C] (verification not implemented)

Result contains higher order function than in optimal. Order 4 vs. order 3.

Time = 0.27 (sec) , antiderivative size = 48, normalized size of antiderivative = 2.67 \[ \int \frac {-2 x^3+\left (4 x^3-8 x \log (3)\right ) \log (6 x)+16 x \log (3) \log ^2(6 x)}{\log ^2(3) \log ^3(6 x)} \, dx=\frac {36 \, {\rm Ei}\left (2 \, \log \left (6 \, x\right )\right ) \log \left (3\right ) - 36 \, \Gamma \left (-1, -2 \, \log \left (6 \, x\right )\right ) \log \left (3\right ) + \Gamma \left (-1, -4 \, \log \left (6 \, x\right )\right ) + 2 \, \Gamma \left (-2, -4 \, \log \left (6 \, x\right )\right )}{81 \, \log \left (3\right )^{2}} \]

[In]

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

[Out]

1/81*(36*Ei(2*log(6*x))*log(3) - 36*gamma(-1, -2*log(6*x))*log(3) + gamma(-1, -4*log(6*x)) + 2*gamma(-2, -4*lo
g(6*x)))/log(3)^2

Giac [A] (verification not implemented)

none

Time = 0.26 (sec) , antiderivative size = 29, normalized size of antiderivative = 1.61 \[ \int \frac {-2 x^3+\left (4 x^3-8 x \log (3)\right ) \log (6 x)+16 x \log (3) \log ^2(6 x)}{\log ^2(3) \log ^3(6 x)} \, dx=\frac {\frac {x^{4}}{\log \left (6 \, x\right )^{2}} + \frac {8 \, x^{2} \log \left (3\right )}{\log \left (6 \, x\right )}}{\log \left (3\right )^{2}} \]

[In]

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

[Out]

(x^4/log(6*x)^2 + 8*x^2*log(3)/log(6*x))/log(3)^2

Mupad [B] (verification not implemented)

Time = 12.79 (sec) , antiderivative size = 26, normalized size of antiderivative = 1.44 \[ \int \frac {-2 x^3+\left (4 x^3-8 x \log (3)\right ) \log (6 x)+16 x \log (3) \log ^2(6 x)}{\log ^2(3) \log ^3(6 x)} \, dx=\frac {x^2\,\left (8\,\ln \left (6\,x\right )\,\ln \left (3\right )+x^2\right )}{{\ln \left (6\,x\right )}^2\,{\ln \left (3\right )}^2} \]

[In]

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

[Out]

(x^2*(8*log(6*x)*log(3) + x^2))/(log(6*x)^2*log(3)^2)