\(\int \frac {e^4 (4-4 x+9 x^2-9 x^3)+(36 x^3-36 x^2 \log (x)) \log (48+108 x^2)+(4-4 x+9 x^2-9 x^3) \log ^2(48+108 x^2)}{e^8 (4 x+9 x^3)+e^4 (-4 x^2-9 x^4)+e^4 (4 x+9 x^3) \log (x)+(-4 x^2-9 x^4+e^4 (8 x+18 x^3)+(4 x+9 x^3) \log (x)) \log ^2(48+108 x^2)+(4 x+9 x^3) \log ^4(48+108 x^2)} \, dx\) [7592]

   Optimal result
   Rubi [A] (verified)
   Mathematica [A] (verified)
   Maple [A] (verified)
   Fricas [A] (verification not implemented)
   Sympy [F(-2)]
   Maxima [B] (verification not implemented)
   Giac [A] (verification not implemented)
   Mupad [F(-1)]

Optimal result

Integrand size = 182, antiderivative size = 28 \[ \int \frac {e^4 \left (4-4 x+9 x^2-9 x^3\right )+\left (36 x^3-36 x^2 \log (x)\right ) \log \left (48+108 x^2\right )+\left (4-4 x+9 x^2-9 x^3\right ) \log ^2\left (48+108 x^2\right )}{e^8 \left (4 x+9 x^3\right )+e^4 \left (-4 x^2-9 x^4\right )+e^4 \left (4 x+9 x^3\right ) \log (x)+\left (-4 x^2-9 x^4+e^4 \left (8 x+18 x^3\right )+\left (4 x+9 x^3\right ) \log (x)\right ) \log ^2\left (48+108 x^2\right )+\left (4 x+9 x^3\right ) \log ^4\left (48+108 x^2\right )} \, dx=\log \left (-1+\frac {x-\log (x)}{e^4+\log ^2\left (12 \left (4+9 x^2\right )\right )}\right ) \]

[Out]

ln((x-ln(x))/(ln(108*x^2+48)^2+exp(4))-1)

Rubi [A] (verified)

Time = 2.50 (sec) , antiderivative size = 42, normalized size of antiderivative = 1.50, number of steps used = 5, number of rules used = 5, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.027, Rules used = {6820, 6857, 6816, 6828, 209} \[ \int \frac {e^4 \left (4-4 x+9 x^2-9 x^3\right )+\left (36 x^3-36 x^2 \log (x)\right ) \log \left (48+108 x^2\right )+\left (4-4 x+9 x^2-9 x^3\right ) \log ^2\left (48+108 x^2\right )}{e^8 \left (4 x+9 x^3\right )+e^4 \left (-4 x^2-9 x^4\right )+e^4 \left (4 x+9 x^3\right ) \log (x)+\left (-4 x^2-9 x^4+e^4 \left (8 x+18 x^3\right )+\left (4 x+9 x^3\right ) \log (x)\right ) \log ^2\left (48+108 x^2\right )+\left (4 x+9 x^3\right ) \log ^4\left (48+108 x^2\right )} \, dx=\log \left (\log ^2\left (12 \left (9 x^2+4\right )\right )-x+\log (x)+e^4\right )-\log \left (\log ^2\left (12 \left (9 x^2+4\right )\right )+e^4\right ) \]

[In]

Int[(E^4*(4 - 4*x + 9*x^2 - 9*x^3) + (36*x^3 - 36*x^2*Log[x])*Log[48 + 108*x^2] + (4 - 4*x + 9*x^2 - 9*x^3)*Lo
g[48 + 108*x^2]^2)/(E^8*(4*x + 9*x^3) + E^4*(-4*x^2 - 9*x^4) + E^4*(4*x + 9*x^3)*Log[x] + (-4*x^2 - 9*x^4 + E^
4*(8*x + 18*x^3) + (4*x + 9*x^3)*Log[x])*Log[48 + 108*x^2]^2 + (4*x + 9*x^3)*Log[48 + 108*x^2]^4),x]

[Out]

-Log[E^4 + Log[12*(4 + 9*x^2)]^2] + Log[E^4 - x + Log[x] + Log[12*(4 + 9*x^2)]^2]

Rule 209

Int[((a_) + (b_.)*(x_)^2)^(-1), x_Symbol] :> Simp[(1/(Rt[a, 2]*Rt[b, 2]))*ArcTan[Rt[b, 2]*(x/Rt[a, 2])], x] /;
 FreeQ[{a, b}, x] && PosQ[a/b] && (GtQ[a, 0] || GtQ[b, 0])

Rule 6816

Int[(u_)/(y_), x_Symbol] :> With[{q = DerivativeDivides[y, u, x]}, Simp[q*Log[RemoveContent[y, x]], x] /;  !Fa
lseQ[q]]

Rule 6820

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

Rule 6828

Int[(u_.)*((a_.) + (b_.)*(y_)^(n_))^(p_), x_Symbol] :> With[{q = DerivativeDivides[y, u, x]}, Dist[q, Subst[In
t[(a + b*x^n)^p, x], x, y], x] /;  !FalseQ[q]] /; FreeQ[{a, b, n, p}, x]

Rule 6857

Int[(u_)/((a_) + (b_.)*(x_)^(n_)), x_Symbol] :> With[{v = RationalFunctionExpand[u/(a + b*x^n), x]}, Int[v, x]
 /; SumQ[v]] /; FreeQ[{a, b}, x] && IGtQ[n, 0]

Rubi steps \begin{align*} \text {integral}& = \int \frac {-e^4 \left (-4+4 x-9 x^2+9 x^3\right )+36 x^2 (x-\log (x)) \log \left (12 \left (4+9 x^2\right )\right )-\left (-4+4 x-9 x^2+9 x^3\right ) \log ^2\left (12 \left (4+9 x^2\right )\right )}{x \left (4+9 x^2\right ) \left (e^4+\log ^2\left (12 \left (4+9 x^2\right )\right )\right ) \left (e^4-x+\log (x)+\log ^2\left (12 \left (4+9 x^2\right )\right )\right )} \, dx \\ & = \int \left (\frac {-4+4 x-9 x^2+9 x^3-36 x^2 \log \left (12 \left (4+9 x^2\right )\right )}{x \left (4+9 x^2\right ) \left (-e^4+x-\log (x)-\log ^2\left (12 \left (4+9 x^2\right )\right )\right )}+\frac {36 x \log \left (48+108 x^2\right )}{\left (-4-9 x^2\right ) \left (e^4+\log ^2\left (12 \left (4+9 x^2\right )\right )\right )}\right ) \, dx \\ & = 36 \int \frac {x \log \left (48+108 x^2\right )}{\left (-4-9 x^2\right ) \left (e^4+\log ^2\left (12 \left (4+9 x^2\right )\right )\right )} \, dx+\int \frac {-4+4 x-9 x^2+9 x^3-36 x^2 \log \left (12 \left (4+9 x^2\right )\right )}{x \left (4+9 x^2\right ) \left (-e^4+x-\log (x)-\log ^2\left (12 \left (4+9 x^2\right )\right )\right )} \, dx \\ & = -\log \left (e^4+\log ^2\left (12 \left (4+9 x^2\right )\right )\right )+\log \left (e^4-x+\log (x)+\log ^2\left (12 \left (4+9 x^2\right )\right )\right ) \\ \end{align*}

Mathematica [A] (verified)

Time = 0.12 (sec) , antiderivative size = 42, normalized size of antiderivative = 1.50 \[ \int \frac {e^4 \left (4-4 x+9 x^2-9 x^3\right )+\left (36 x^3-36 x^2 \log (x)\right ) \log \left (48+108 x^2\right )+\left (4-4 x+9 x^2-9 x^3\right ) \log ^2\left (48+108 x^2\right )}{e^8 \left (4 x+9 x^3\right )+e^4 \left (-4 x^2-9 x^4\right )+e^4 \left (4 x+9 x^3\right ) \log (x)+\left (-4 x^2-9 x^4+e^4 \left (8 x+18 x^3\right )+\left (4 x+9 x^3\right ) \log (x)\right ) \log ^2\left (48+108 x^2\right )+\left (4 x+9 x^3\right ) \log ^4\left (48+108 x^2\right )} \, dx=-\log \left (e^4+\log ^2\left (12 \left (4+9 x^2\right )\right )\right )+\log \left (e^4-x+\log (x)+\log ^2\left (12 \left (4+9 x^2\right )\right )\right ) \]

[In]

Integrate[(E^4*(4 - 4*x + 9*x^2 - 9*x^3) + (36*x^3 - 36*x^2*Log[x])*Log[48 + 108*x^2] + (4 - 4*x + 9*x^2 - 9*x
^3)*Log[48 + 108*x^2]^2)/(E^8*(4*x + 9*x^3) + E^4*(-4*x^2 - 9*x^4) + E^4*(4*x + 9*x^3)*Log[x] + (-4*x^2 - 9*x^
4 + E^4*(8*x + 18*x^3) + (4*x + 9*x^3)*Log[x])*Log[48 + 108*x^2]^2 + (4*x + 9*x^3)*Log[48 + 108*x^2]^4),x]

[Out]

-Log[E^4 + Log[12*(4 + 9*x^2)]^2] + Log[E^4 - x + Log[x] + Log[12*(4 + 9*x^2)]^2]

Maple [A] (verified)

Time = 30.79 (sec) , antiderivative size = 37, normalized size of antiderivative = 1.32

method result size
risch \(\ln \left (\ln \left (108 x^{2}+48\right )^{2}+{\mathrm e}^{4}-x +\ln \left (x \right )\right )-\ln \left (\ln \left (108 x^{2}+48\right )^{2}+{\mathrm e}^{4}\right )\) \(37\)
parallelrisch \(-\ln \left (\ln \left (108 x^{2}+48\right )^{2}+{\mathrm e}^{4}\right )+\ln \left (-\ln \left (108 x^{2}+48\right )^{2}-{\mathrm e}^{4}+x -\ln \left (x \right )\right )\) \(41\)
default \(-\ln \left (\ln \left (9 x^{2}+4\right )^{2}+\left (2 \ln \left (3\right )+4 \ln \left (2\right )\right ) \ln \left (9 x^{2}+4\right )+\ln \left (3\right )^{2}+4 \ln \left (2\right ) \ln \left (3\right )+4 \ln \left (2\right )^{2}+{\mathrm e}^{4}\right )+\ln \left (\ln \left (9 x^{2}+4\right )^{2}+\left (2 \ln \left (3\right )+4 \ln \left (2\right )\right ) \ln \left (9 x^{2}+4\right )+\ln \left (3\right )^{2}+4 \ln \left (2\right ) \ln \left (3\right )+4 \ln \left (2\right )^{2}+{\mathrm e}^{4}+\ln \left (x \right )-x \right )\) \(105\)

[In]

int(((-9*x^3+9*x^2-4*x+4)*ln(108*x^2+48)^2+(-36*x^2*ln(x)+36*x^3)*ln(108*x^2+48)+(-9*x^3+9*x^2-4*x+4)*exp(4))/
((9*x^3+4*x)*ln(108*x^2+48)^4+((9*x^3+4*x)*ln(x)+(18*x^3+8*x)*exp(4)-9*x^4-4*x^2)*ln(108*x^2+48)^2+(9*x^3+4*x)
*exp(4)*ln(x)+(9*x^3+4*x)*exp(4)^2+(-9*x^4-4*x^2)*exp(4)),x,method=_RETURNVERBOSE)

[Out]

ln(ln(108*x^2+48)^2+exp(4)-x+ln(x))-ln(ln(108*x^2+48)^2+exp(4))

Fricas [A] (verification not implemented)

none

Time = 0.37 (sec) , antiderivative size = 36, normalized size of antiderivative = 1.29 \[ \int \frac {e^4 \left (4-4 x+9 x^2-9 x^3\right )+\left (36 x^3-36 x^2 \log (x)\right ) \log \left (48+108 x^2\right )+\left (4-4 x+9 x^2-9 x^3\right ) \log ^2\left (48+108 x^2\right )}{e^8 \left (4 x+9 x^3\right )+e^4 \left (-4 x^2-9 x^4\right )+e^4 \left (4 x+9 x^3\right ) \log (x)+\left (-4 x^2-9 x^4+e^4 \left (8 x+18 x^3\right )+\left (4 x+9 x^3\right ) \log (x)\right ) \log ^2\left (48+108 x^2\right )+\left (4 x+9 x^3\right ) \log ^4\left (48+108 x^2\right )} \, dx=\log \left (\log \left (108 \, x^{2} + 48\right )^{2} - x + e^{4} + \log \left (x\right )\right ) - \log \left (\log \left (108 \, x^{2} + 48\right )^{2} + e^{4}\right ) \]

[In]

integrate(((-9*x^3+9*x^2-4*x+4)*log(108*x^2+48)^2+(-36*x^2*log(x)+36*x^3)*log(108*x^2+48)+(-9*x^3+9*x^2-4*x+4)
*exp(4))/((9*x^3+4*x)*log(108*x^2+48)^4+((9*x^3+4*x)*log(x)+(18*x^3+8*x)*exp(4)-9*x^4-4*x^2)*log(108*x^2+48)^2
+(9*x^3+4*x)*exp(4)*log(x)+(9*x^3+4*x)*exp(4)^2+(-9*x^4-4*x^2)*exp(4)),x, algorithm="fricas")

[Out]

log(log(108*x^2 + 48)^2 - x + e^4 + log(x)) - log(log(108*x^2 + 48)^2 + e^4)

Sympy [F(-2)]

Exception generated. \[ \int \frac {e^4 \left (4-4 x+9 x^2-9 x^3\right )+\left (36 x^3-36 x^2 \log (x)\right ) \log \left (48+108 x^2\right )+\left (4-4 x+9 x^2-9 x^3\right ) \log ^2\left (48+108 x^2\right )}{e^8 \left (4 x+9 x^3\right )+e^4 \left (-4 x^2-9 x^4\right )+e^4 \left (4 x+9 x^3\right ) \log (x)+\left (-4 x^2-9 x^4+e^4 \left (8 x+18 x^3\right )+\left (4 x+9 x^3\right ) \log (x)\right ) \log ^2\left (48+108 x^2\right )+\left (4 x+9 x^3\right ) \log ^4\left (48+108 x^2\right )} \, dx=\text {Exception raised: PolynomialError} \]

[In]

integrate(((-9*x**3+9*x**2-4*x+4)*ln(108*x**2+48)**2+(-36*x**2*ln(x)+36*x**3)*ln(108*x**2+48)+(-9*x**3+9*x**2-
4*x+4)*exp(4))/((9*x**3+4*x)*ln(108*x**2+48)**4+((9*x**3+4*x)*ln(x)+(18*x**3+8*x)*exp(4)-9*x**4-4*x**2)*ln(108
*x**2+48)**2+(9*x**3+4*x)*exp(4)*ln(x)+(9*x**3+4*x)*exp(4)**2+(-9*x**4-4*x**2)*exp(4)),x)

[Out]

Exception raised: PolynomialError >> 1/(81*x**6 + 72*x**4 + 16*x**2) contains an element of the set of generat
ors.

Maxima [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 102 vs. \(2 (25) = 50\).

Time = 0.34 (sec) , antiderivative size = 102, normalized size of antiderivative = 3.64 \[ \int \frac {e^4 \left (4-4 x+9 x^2-9 x^3\right )+\left (36 x^3-36 x^2 \log (x)\right ) \log \left (48+108 x^2\right )+\left (4-4 x+9 x^2-9 x^3\right ) \log ^2\left (48+108 x^2\right )}{e^8 \left (4 x+9 x^3\right )+e^4 \left (-4 x^2-9 x^4\right )+e^4 \left (4 x+9 x^3\right ) \log (x)+\left (-4 x^2-9 x^4+e^4 \left (8 x+18 x^3\right )+\left (4 x+9 x^3\right ) \log (x)\right ) \log ^2\left (48+108 x^2\right )+\left (4 x+9 x^3\right ) \log ^4\left (48+108 x^2\right )} \, dx=\log \left (\log \left (3\right )^{2} + 4 \, \log \left (3\right ) \log \left (2\right ) + 4 \, \log \left (2\right )^{2} + 2 \, {\left (\log \left (3\right ) + 2 \, \log \left (2\right )\right )} \log \left (9 \, x^{2} + 4\right ) + \log \left (9 \, x^{2} + 4\right )^{2} - x + e^{4} + \log \left (x\right )\right ) - \log \left (\log \left (3\right )^{2} + 4 \, \log \left (3\right ) \log \left (2\right ) + 4 \, \log \left (2\right )^{2} + 2 \, {\left (\log \left (3\right ) + 2 \, \log \left (2\right )\right )} \log \left (9 \, x^{2} + 4\right ) + \log \left (9 \, x^{2} + 4\right )^{2} + e^{4}\right ) \]

[In]

integrate(((-9*x^3+9*x^2-4*x+4)*log(108*x^2+48)^2+(-36*x^2*log(x)+36*x^3)*log(108*x^2+48)+(-9*x^3+9*x^2-4*x+4)
*exp(4))/((9*x^3+4*x)*log(108*x^2+48)^4+((9*x^3+4*x)*log(x)+(18*x^3+8*x)*exp(4)-9*x^4-4*x^2)*log(108*x^2+48)^2
+(9*x^3+4*x)*exp(4)*log(x)+(9*x^3+4*x)*exp(4)^2+(-9*x^4-4*x^2)*exp(4)),x, algorithm="maxima")

[Out]

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

Giac [A] (verification not implemented)

none

Time = 0.97 (sec) , antiderivative size = 36, normalized size of antiderivative = 1.29 \[ \int \frac {e^4 \left (4-4 x+9 x^2-9 x^3\right )+\left (36 x^3-36 x^2 \log (x)\right ) \log \left (48+108 x^2\right )+\left (4-4 x+9 x^2-9 x^3\right ) \log ^2\left (48+108 x^2\right )}{e^8 \left (4 x+9 x^3\right )+e^4 \left (-4 x^2-9 x^4\right )+e^4 \left (4 x+9 x^3\right ) \log (x)+\left (-4 x^2-9 x^4+e^4 \left (8 x+18 x^3\right )+\left (4 x+9 x^3\right ) \log (x)\right ) \log ^2\left (48+108 x^2\right )+\left (4 x+9 x^3\right ) \log ^4\left (48+108 x^2\right )} \, dx=\log \left (\log \left (108 \, x^{2} + 48\right )^{2} - x + e^{4} + \log \left (x\right )\right ) - \log \left (\log \left (108 \, x^{2} + 48\right )^{2} + e^{4}\right ) \]

[In]

integrate(((-9*x^3+9*x^2-4*x+4)*log(108*x^2+48)^2+(-36*x^2*log(x)+36*x^3)*log(108*x^2+48)+(-9*x^3+9*x^2-4*x+4)
*exp(4))/((9*x^3+4*x)*log(108*x^2+48)^4+((9*x^3+4*x)*log(x)+(18*x^3+8*x)*exp(4)-9*x^4-4*x^2)*log(108*x^2+48)^2
+(9*x^3+4*x)*exp(4)*log(x)+(9*x^3+4*x)*exp(4)^2+(-9*x^4-4*x^2)*exp(4)),x, algorithm="giac")

[Out]

log(log(108*x^2 + 48)^2 - x + e^4 + log(x)) - log(log(108*x^2 + 48)^2 + e^4)

Mupad [F(-1)]

Timed out. \[ \int \frac {e^4 \left (4-4 x+9 x^2-9 x^3\right )+\left (36 x^3-36 x^2 \log (x)\right ) \log \left (48+108 x^2\right )+\left (4-4 x+9 x^2-9 x^3\right ) \log ^2\left (48+108 x^2\right )}{e^8 \left (4 x+9 x^3\right )+e^4 \left (-4 x^2-9 x^4\right )+e^4 \left (4 x+9 x^3\right ) \log (x)+\left (-4 x^2-9 x^4+e^4 \left (8 x+18 x^3\right )+\left (4 x+9 x^3\right ) \log (x)\right ) \log ^2\left (48+108 x^2\right )+\left (4 x+9 x^3\right ) \log ^4\left (48+108 x^2\right )} \, dx=-\int \frac {\left (9\,x^3-9\,x^2+4\,x-4\right )\,{\ln \left (108\,x^2+48\right )}^2+\left (36\,x^2\,\ln \left (x\right )-36\,x^3\right )\,\ln \left (108\,x^2+48\right )+{\mathrm {e}}^4\,\left (9\,x^3-9\,x^2+4\,x-4\right )}{\left (9\,x^3+4\,x\right )\,{\ln \left (108\,x^2+48\right )}^4+\left ({\mathrm {e}}^4\,\left (18\,x^3+8\,x\right )+\ln \left (x\right )\,\left (9\,x^3+4\,x\right )-4\,x^2-9\,x^4\right )\,{\ln \left (108\,x^2+48\right )}^2+{\mathrm {e}}^8\,\left (9\,x^3+4\,x\right )-{\mathrm {e}}^4\,\left (9\,x^4+4\,x^2\right )+{\mathrm {e}}^4\,\ln \left (x\right )\,\left (9\,x^3+4\,x\right )} \,d x \]

[In]

int(-(log(108*x^2 + 48)*(36*x^2*log(x) - 36*x^3) + log(108*x^2 + 48)^2*(4*x - 9*x^2 + 9*x^3 - 4) + exp(4)*(4*x
 - 9*x^2 + 9*x^3 - 4))/(log(108*x^2 + 48)^4*(4*x + 9*x^3) + exp(8)*(4*x + 9*x^3) + log(108*x^2 + 48)^2*(exp(4)
*(8*x + 18*x^3) + log(x)*(4*x + 9*x^3) - 4*x^2 - 9*x^4) - exp(4)*(4*x^2 + 9*x^4) + exp(4)*log(x)*(4*x + 9*x^3)
),x)

[Out]

-int((log(108*x^2 + 48)*(36*x^2*log(x) - 36*x^3) + log(108*x^2 + 48)^2*(4*x - 9*x^2 + 9*x^3 - 4) + exp(4)*(4*x
 - 9*x^2 + 9*x^3 - 4))/(log(108*x^2 + 48)^4*(4*x + 9*x^3) + exp(8)*(4*x + 9*x^3) + log(108*x^2 + 48)^2*(exp(4)
*(8*x + 18*x^3) + log(x)*(4*x + 9*x^3) - 4*x^2 - 9*x^4) - exp(4)*(4*x^2 + 9*x^4) + exp(4)*log(x)*(4*x + 9*x^3)
), x)