[next] [prev] [prev-tail] [tail] [up]

3.68.24 \(\int \frac {e^{-2 x} ((-72+48 x-8 x^2+(18-12 x+2 x^2+18 x^4-12 x^5+2 x^6) \log (\frac {2+2 x^4}{x^4})) \log (x \log (\frac {2+2 x^4}{x^4}))+(-24 x+14 x^2-2 x^3-24 x^5+14 x^6-2 x^7) \log (\frac {2+2 x^4}{x^4}) \log ^2(x \log (\frac {2+2 x^4}{x^4})))}{(x+x^5) \log (\frac {2+2 x^4}{x^4})} \, dx\)

Optimal. Leaf size=26 \[ 3+e^{-2 x} (-3+x)^2 \log ^2\left (x \log \left (2+\frac {2}{x^4}\right )\right ) \]

________________________________________________________________________________________

Rubi [F]  time = 163.18, antiderivative size = 0, normalized size of antiderivative = 0.00, number of steps used = 0, number of rules used = 0, integrand size = 0, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.000, Rules used = {} \begin {gather*} \int \frac {e^{-2 x} \left (\left (-72+48 x-8 x^2+\left (18-12 x+2 x^2+18 x^4-12 x^5+2 x^6\right ) \log \left (\frac {2+2 x^4}{x^4}\right )\right ) \log \left (x \log \left (\frac {2+2 x^4}{x^4}\right )\right )+\left (-24 x+14 x^2-2 x^3-24 x^5+14 x^6-2 x^7\right ) \log \left (\frac {2+2 x^4}{x^4}\right ) \log ^2\left (x \log \left (\frac {2+2 x^4}{x^4}\right )\right )\right )}{\left (x+x^5\right ) \log \left (\frac {2+2 x^4}{x^4}\right )} \, dx \end {gather*}

Verification is not applicable to the result.

[In]

Int[((-72 + 48*x - 8*x^2 + (18 - 12*x + 2*x^2 + 18*x^4 - 12*x^5 + 2*x^6)*Log[(2 + 2*x^4)/x^4])*Log[x*Log[(2 +
2*x^4)/x^4]] + (-24*x + 14*x^2 - 2*x^3 - 24*x^5 + 14*x^6 - 2*x^7)*Log[(2 + 2*x^4)/x^4]*Log[x*Log[(2 + 2*x^4)/x
^4]]^2)/(E^(2*x)*(x + x^5)*Log[(2 + 2*x^4)/x^4]),x]

[Out]

-1/2*1/E^(2*x) - (11*ExpIntegralEi[-2*x])/2 + 36*x*HypergeometricPFQ[{1, 1, 1}, {2, 2, 2}, -2*x] - 18*EulerGam
ma*Log[x] - 18*(ExpIntegralE[1, 2*x] + ExpIntegralEi[-2*x])*Log[x] - 9*Log[2*x]^2 + (11*Log[x*Log[2 + 2/x^4]])
/(2*E^(2*x)) - (x*Log[x*Log[2 + 2/x^4]])/E^(2*x) + 18*ExpIntegralEi[-2*x]*Log[x*Log[2 + 2/x^4]] - (I/2)*E^(2*(
-1)^(1/4))*Defer[Int][ExpIntegralEi[-2*(-1)^(1/4) - 2*x]/x, x] + (I/2)*E^((1 + I)*Sqrt[2])*Defer[Int][ExpInteg
ralEi[-2*(-1)^(1/4) - 2*x]/x, x] - ((I/2)*Defer[Int][ExpIntegralEi[2*(-1)^(1/4) - 2*x]/x, x])/E^(2*(-1)^(1/4))
 + ((I/2)*Defer[Int][ExpIntegralEi[2*(-1)^(1/4) - 2*x]/x, x])/E^((1 + I)*Sqrt[2]) + (I/2)*E^(2*(-1)^(3/4))*Def
er[Int][ExpIntegralEi[-2*(-1)^(3/4) - 2*x]/x, x] - ((I/2)*Defer[Int][ExpIntegralEi[-2*(-1)^(3/4) - 2*x]/x, x])
/E^((1 - I)*Sqrt[2]) + ((I/2)*Defer[Int][ExpIntegralEi[2*(-1)^(3/4) - 2*x]/x, x])/E^(2*(-1)^(3/4)) - (I/2)*E^(
(1 - I)*Sqrt[2])*Defer[Int][ExpIntegralEi[2*(-1)^(3/4) - 2*x]/x, x] + (11*Defer[Int][1/(E^(2*x)*((-1)^(1/4) -
x)*Log[2 + 2/x^4]), x])/2 - (-1)^(1/4)*Defer[Int][1/(E^(2*x)*((-1)^(1/4) - x)*Log[2 + 2/x^4]), x] + (11*Defer[
Int][1/(E^(2*x)*(-(-1)^(3/4) - x)*Log[2 + 2/x^4]), x])/2 + (-1)^(3/4)*Defer[Int][1/(E^(2*x)*(-(-1)^(3/4) - x)*
Log[2 + 2/x^4]), x] + 22*Defer[Int][1/(E^(2*x)*x*Log[2 + 2/x^4]), x] - (11*Defer[Int][1/(E^(2*x)*((-1)^(1/4) +
 x)*Log[2 + 2/x^4]), x])/2 - (-1)^(1/4)*Defer[Int][1/(E^(2*x)*((-1)^(1/4) + x)*Log[2 + 2/x^4]), x] - (11*Defer
[Int][1/(E^(2*x)*(-(-1)^(3/4) + x)*Log[2 + 2/x^4]), x])/2 + (-1)^(3/4)*Defer[Int][1/(E^(2*x)*(-(-1)^(3/4) + x)
*Log[2 + 2/x^4]), x] + (I/2)*E^(2*(-1)^(1/4))*Defer[Int][ExpIntegralEi[-2*(-1)^(1/4) - 2*x]/(((-1)^(1/4) - x)*
Log[2 + 2/x^4]), x] - (I/2)*E^((1 + I)*Sqrt[2])*Defer[Int][ExpIntegralEi[-2*(-1)^(1/4) - 2*x]/(((-1)^(1/4) - x
)*Log[2 + 2/x^4]), x] + (I/2)*E^(2*(-1)^(1/4))*Defer[Int][ExpIntegralEi[-2*(-1)^(1/4) - 2*x]/((-(-1)^(3/4) - x
)*Log[2 + 2/x^4]), x] - (I/2)*E^((1 + I)*Sqrt[2])*Defer[Int][ExpIntegralEi[-2*(-1)^(1/4) - 2*x]/((-(-1)^(3/4)
- x)*Log[2 + 2/x^4]), x] + (2*I)*E^(2*(-1)^(1/4))*Defer[Int][ExpIntegralEi[-2*(-1)^(1/4) - 2*x]/(x*Log[2 + 2/x
^4]), x] - (2*I)*E^((1 + I)*Sqrt[2])*Defer[Int][ExpIntegralEi[-2*(-1)^(1/4) - 2*x]/(x*Log[2 + 2/x^4]), x] - (I
/2)*E^(2*(-1)^(1/4))*Defer[Int][ExpIntegralEi[-2*(-1)^(1/4) - 2*x]/(((-1)^(1/4) + x)*Log[2 + 2/x^4]), x] + (I/
2)*E^((1 + I)*Sqrt[2])*Defer[Int][ExpIntegralEi[-2*(-1)^(1/4) - 2*x]/(((-1)^(1/4) + x)*Log[2 + 2/x^4]), x] - (
I/2)*E^(2*(-1)^(1/4))*Defer[Int][ExpIntegralEi[-2*(-1)^(1/4) - 2*x]/((-(-1)^(3/4) + x)*Log[2 + 2/x^4]), x] + (
I/2)*E^((1 + I)*Sqrt[2])*Defer[Int][ExpIntegralEi[-2*(-1)^(1/4) - 2*x]/((-(-1)^(3/4) + x)*Log[2 + 2/x^4]), x]
+ ((I/2)*Defer[Int][ExpIntegralEi[2*(-1)^(1/4) - 2*x]/(((-1)^(1/4) - x)*Log[2 + 2/x^4]), x])/E^(2*(-1)^(1/4))
- ((I/2)*Defer[Int][ExpIntegralEi[2*(-1)^(1/4) - 2*x]/(((-1)^(1/4) - x)*Log[2 + 2/x^4]), x])/E^((1 + I)*Sqrt[2
]) + ((I/2)*Defer[Int][ExpIntegralEi[2*(-1)^(1/4) - 2*x]/((-(-1)^(3/4) - x)*Log[2 + 2/x^4]), x])/E^(2*(-1)^(1/
4)) - ((I/2)*Defer[Int][ExpIntegralEi[2*(-1)^(1/4) - 2*x]/((-(-1)^(3/4) - x)*Log[2 + 2/x^4]), x])/E^((1 + I)*S
qrt[2]) + ((2*I)*Defer[Int][ExpIntegralEi[2*(-1)^(1/4) - 2*x]/(x*Log[2 + 2/x^4]), x])/E^(2*(-1)^(1/4)) - ((2*I
)*Defer[Int][ExpIntegralEi[2*(-1)^(1/4) - 2*x]/(x*Log[2 + 2/x^4]), x])/E^((1 + I)*Sqrt[2]) - ((I/2)*Defer[Int]
[ExpIntegralEi[2*(-1)^(1/4) - 2*x]/(((-1)^(1/4) + x)*Log[2 + 2/x^4]), x])/E^(2*(-1)^(1/4)) + ((I/2)*Defer[Int]
[ExpIntegralEi[2*(-1)^(1/4) - 2*x]/(((-1)^(1/4) + x)*Log[2 + 2/x^4]), x])/E^((1 + I)*Sqrt[2]) - ((I/2)*Defer[I
nt][ExpIntegralEi[2*(-1)^(1/4) - 2*x]/((-(-1)^(3/4) + x)*Log[2 + 2/x^4]), x])/E^(2*(-1)^(1/4)) + ((I/2)*Defer[
Int][ExpIntegralEi[2*(-1)^(1/4) - 2*x]/((-(-1)^(3/4) + x)*Log[2 + 2/x^4]), x])/E^((1 + I)*Sqrt[2]) - (I/2)*E^(
2*(-1)^(3/4))*Defer[Int][ExpIntegralEi[-2*(-1)^(3/4) - 2*x]/(((-1)^(1/4) - x)*Log[2 + 2/x^4]), x] + ((I/2)*Def
er[Int][ExpIntegralEi[-2*(-1)^(3/4) - 2*x]/(((-1)^(1/4) - x)*Log[2 + 2/x^4]), x])/E^((1 - I)*Sqrt[2]) - (I/2)*
E^(2*(-1)^(3/4))*Defer[Int][ExpIntegralEi[-2*(-1)^(3/4) - 2*x]/((-(-1)^(3/4) - x)*Log[2 + 2/x^4]), x] + ((I/2)
*Defer[Int][ExpIntegralEi[-2*(-1)^(3/4) - 2*x]/((-(-1)^(3/4) - x)*Log[2 + 2/x^4]), x])/E^((1 - I)*Sqrt[2]) - (
2*I)*E^(2*(-1)^(3/4))*Defer[Int][ExpIntegralEi[-2*(-1)^(3/4) - 2*x]/(x*Log[2 + 2/x^4]), x] + ((2*I)*Defer[Int]
[ExpIntegralEi[-2*(-1)^(3/4) - 2*x]/(x*Log[2 + 2/x^4]), x])/E^((1 - I)*Sqrt[2]) + (I/2)*E^(2*(-1)^(3/4))*Defer
[Int][ExpIntegralEi[-2*(-1)^(3/4) - 2*x]/(((-1)^(1/4) + x)*Log[2 + 2/x^4]), x] - ((I/2)*Defer[Int][ExpIntegral
Ei[-2*(-1)^(3/4) - 2*x]/(((-1)^(1/4) + x)*Log[2 + 2/x^4]), x])/E^((1 - I)*Sqrt[2]) + (I/2)*E^(2*(-1)^(3/4))*De
fer[Int][ExpIntegralEi[-2*(-1)^(3/4) - 2*x]/((-(-1)^(3/4) + x)*Log[2 + 2/x^4]), x] - ((I/2)*Defer[Int][ExpInte
gralEi[-2*(-1)^(3/4) - 2*x]/((-(-1)^(3/4) + x)*Log[2 + 2/x^4]), x])/E^((1 - I)*Sqrt[2]) - ((I/2)*Defer[Int][Ex
pIntegralEi[2*(-1)^(3/4) - 2*x]/(((-1)^(1/4) - x)*Log[2 + 2/x^4]), x])/E^(2*(-1)^(3/4)) + (I/2)*E^((1 - I)*Sqr
t[2])*Defer[Int][ExpIntegralEi[2*(-1)^(3/4) - 2*x]/(((-1)^(1/4) - x)*Log[2 + 2/x^4]), x] - ((I/2)*Defer[Int][E
xpIntegralEi[2*(-1)^(3/4) - 2*x]/((-(-1)^(3/4) - x)*Log[2 + 2/x^4]), x])/E^(2*(-1)^(3/4)) + (I/2)*E^((1 - I)*S
qrt[2])*Defer[Int][ExpIntegralEi[2*(-1)^(3/4) - 2*x]/((-(-1)^(3/4) - x)*Log[2 + 2/x^4]), x] - ((2*I)*Defer[Int
][ExpIntegralEi[2*(-1)^(3/4) - 2*x]/(x*Log[2 + 2/x^4]), x])/E^(2*(-1)^(3/4)) + (2*I)*E^((1 - I)*Sqrt[2])*Defer
[Int][ExpIntegralEi[2*(-1)^(3/4) - 2*x]/(x*Log[2 + 2/x^4]), x] + ((I/2)*Defer[Int][ExpIntegralEi[2*(-1)^(3/4)
- 2*x]/(((-1)^(1/4) + x)*Log[2 + 2/x^4]), x])/E^(2*(-1)^(3/4)) - (I/2)*E^((1 - I)*Sqrt[2])*Defer[Int][ExpInteg
ralEi[2*(-1)^(3/4) - 2*x]/(((-1)^(1/4) + x)*Log[2 + 2/x^4]), x] + ((I/2)*Defer[Int][ExpIntegralEi[2*(-1)^(3/4)
 - 2*x]/((-(-1)^(3/4) + x)*Log[2 + 2/x^4]), x])/E^(2*(-1)^(3/4)) - (I/2)*E^((1 - I)*Sqrt[2])*Defer[Int][ExpInt
egralEi[2*(-1)^(3/4) - 2*x]/((-(-1)^(3/4) + x)*Log[2 + 2/x^4]), x] + 18*Defer[Int][ExpIntegralEi[-2*x]/(((-1)^
(1/4) - x)*Log[2 + 2/x^4]), x] + 18*Defer[Int][ExpIntegralEi[-2*x]/((-(-1)^(3/4) - x)*Log[2 + 2/x^4]), x] + 72
*Defer[Int][ExpIntegralEi[-2*x]/(x*Log[2 + 2/x^4]), x] - 18*Defer[Int][ExpIntegralEi[-2*x]/(((-1)^(1/4) + x)*L
og[2 + 2/x^4]), x] - 18*Defer[Int][ExpIntegralEi[-2*x]/((-(-1)^(3/4) + x)*Log[2 + 2/x^4]), x] - (18 + 2*I)*Def
er[Int][Log[x*Log[2 + 2/x^4]]/(E^(2*x)*((-1)^(1/4) - x)*Log[2 + 2/x^4]), x] + 12*(-1)^(1/4)*Defer[Int][Log[x*L
og[2 + 2/x^4]]/(E^(2*x)*((-1)^(1/4) - x)*Log[2 + 2/x^4]), x] - (18 - 2*I)*Defer[Int][Log[x*Log[2 + 2/x^4]]/(E^
(2*x)*(-(-1)^(3/4) - x)*Log[2 + 2/x^4]), x] - 12*(-1)^(3/4)*Defer[Int][Log[x*Log[2 + 2/x^4]]/(E^(2*x)*(-(-1)^(
3/4) - x)*Log[2 + 2/x^4]), x] - 72*Defer[Int][Log[x*Log[2 + 2/x^4]]/(E^(2*x)*x*Log[2 + 2/x^4]), x] + (18 + 2*I
)*Defer[Int][Log[x*Log[2 + 2/x^4]]/(E^(2*x)*((-1)^(1/4) + x)*Log[2 + 2/x^4]), x] + 12*(-1)^(1/4)*Defer[Int][Lo
g[x*Log[2 + 2/x^4]]/(E^(2*x)*((-1)^(1/4) + x)*Log[2 + 2/x^4]), x] + (18 - 2*I)*Defer[Int][Log[x*Log[2 + 2/x^4]
]/(E^(2*x)*(-(-1)^(3/4) + x)*Log[2 + 2/x^4]), x] - 12*(-1)^(3/4)*Defer[Int][Log[x*Log[2 + 2/x^4]]/(E^(2*x)*(-(
-1)^(3/4) + x)*Log[2 + 2/x^4]), x] - 24*Defer[Int][Log[x*Log[2 + 2/x^4]]^2/E^(2*x), x] + 14*Defer[Int][(x*Log[
x*Log[2 + 2/x^4]]^2)/E^(2*x), x] - 2*Defer[Int][(x^2*Log[x*Log[2 + 2/x^4]]^2)/E^(2*x), x]

Rubi steps

Aborted

________________________________________________________________________________________

Mathematica [F]  time = 0.37, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {e^{-2 x} \left (\left (-72+48 x-8 x^2+\left (18-12 x+2 x^2+18 x^4-12 x^5+2 x^6\right ) \log \left (\frac {2+2 x^4}{x^4}\right )\right ) \log \left (x \log \left (\frac {2+2 x^4}{x^4}\right )\right )+\left (-24 x+14 x^2-2 x^3-24 x^5+14 x^6-2 x^7\right ) \log \left (\frac {2+2 x^4}{x^4}\right ) \log ^2\left (x \log \left (\frac {2+2 x^4}{x^4}\right )\right )\right )}{\left (x+x^5\right ) \log \left (\frac {2+2 x^4}{x^4}\right )} \, dx \end {gather*}

Verification is not applicable to the result.

[In]

Integrate[((-72 + 48*x - 8*x^2 + (18 - 12*x + 2*x^2 + 18*x^4 - 12*x^5 + 2*x^6)*Log[(2 + 2*x^4)/x^4])*Log[x*Log
[(2 + 2*x^4)/x^4]] + (-24*x + 14*x^2 - 2*x^3 - 24*x^5 + 14*x^6 - 2*x^7)*Log[(2 + 2*x^4)/x^4]*Log[x*Log[(2 + 2*
x^4)/x^4]]^2)/(E^(2*x)*(x + x^5)*Log[(2 + 2*x^4)/x^4]),x]

[Out]

Integrate[((-72 + 48*x - 8*x^2 + (18 - 12*x + 2*x^2 + 18*x^4 - 12*x^5 + 2*x^6)*Log[(2 + 2*x^4)/x^4])*Log[x*Log
[(2 + 2*x^4)/x^4]] + (-24*x + 14*x^2 - 2*x^3 - 24*x^5 + 14*x^6 - 2*x^7)*Log[(2 + 2*x^4)/x^4]*Log[x*Log[(2 + 2*
x^4)/x^4]]^2)/(E^(2*x)*(x + x^5)*Log[(2 + 2*x^4)/x^4]), x]

________________________________________________________________________________________

fricas [A]  time = 0.46, size = 29, normalized size = 1.12 \begin {gather*} {\left (x^{2} - 6 \, x + 9\right )} e^{\left (-2 \, x\right )} \log \left (x \log \left (\frac {2 \, {\left (x^{4} + 1\right )}}{x^{4}}\right )\right )^{2} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((-2*x^7+14*x^6-24*x^5-2*x^3+14*x^2-24*x)*log((2*x^4+2)/x^4)*log(x*log((2*x^4+2)/x^4))^2+((2*x^6-12*
x^5+18*x^4+2*x^2-12*x+18)*log((2*x^4+2)/x^4)-8*x^2+48*x-72)*log(x*log((2*x^4+2)/x^4)))/(x^5+x)/exp(x)^2/log((2
*x^4+2)/x^4),x, algorithm="fricas")

[Out]

(x^2 - 6*x + 9)*e^(-2*x)*log(x*log(2*(x^4 + 1)/x^4))^2

________________________________________________________________________________________

giac [F(-1)]  time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((-2*x^7+14*x^6-24*x^5-2*x^3+14*x^2-24*x)*log((2*x^4+2)/x^4)*log(x*log((2*x^4+2)/x^4))^2+((2*x^6-12*
x^5+18*x^4+2*x^2-12*x+18)*log((2*x^4+2)/x^4)-8*x^2+48*x-72)*log(x*log((2*x^4+2)/x^4)))/(x^5+x)/exp(x)^2/log((2
*x^4+2)/x^4),x, algorithm="giac")

[Out]

Timed out

________________________________________________________________________________________

maple [C]  time = 10.31, size = 109826, normalized size = 4224.08

method result size
risch \(\text {Expression too large to display}\) \(109826\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(((-2*x^7+14*x^6-24*x^5-2*x^3+14*x^2-24*x)*ln((2*x^4+2)/x^4)*ln(x*ln((2*x^4+2)/x^4))^2+((2*x^6-12*x^5+18*x^
4+2*x^2-12*x+18)*ln((2*x^4+2)/x^4)-8*x^2+48*x-72)*ln(x*ln((2*x^4+2)/x^4)))/(x^5+x)/exp(x)^2/ln((2*x^4+2)/x^4),
x,method=_RETURNVERBOSE)

[Out]

result too large to display

________________________________________________________________________________________

maxima [B]  time = 0.54, size = 77, normalized size = 2.96 \begin {gather*} {\left (x^{2} - 6 \, x + 9\right )} e^{\left (-2 \, x\right )} \log \relax (x)^{2} + 2 \, {\left (x^{2} - 6 \, x + 9\right )} e^{\left (-2 \, x\right )} \log \relax (x) \log \left (\log \relax (2) + \log \left (x^{4} + 1\right ) - 4 \, \log \relax (x)\right ) + {\left (x^{2} - 6 \, x + 9\right )} e^{\left (-2 \, x\right )} \log \left (\log \relax (2) + \log \left (x^{4} + 1\right ) - 4 \, \log \relax (x)\right )^{2} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((-2*x^7+14*x^6-24*x^5-2*x^3+14*x^2-24*x)*log((2*x^4+2)/x^4)*log(x*log((2*x^4+2)/x^4))^2+((2*x^6-12*
x^5+18*x^4+2*x^2-12*x+18)*log((2*x^4+2)/x^4)-8*x^2+48*x-72)*log(x*log((2*x^4+2)/x^4)))/(x^5+x)/exp(x)^2/log((2
*x^4+2)/x^4),x, algorithm="maxima")

[Out]

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

________________________________________________________________________________________

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

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((exp(-2*x)*(log(x*log((2*x^4 + 2)/x^4))*(48*x + log((2*x^4 + 2)/x^4)*(2*x^2 - 12*x + 18*x^4 - 12*x^5 + 2*x
^6 + 18) - 8*x^2 - 72) - log((2*x^4 + 2)/x^4)*log(x*log((2*x^4 + 2)/x^4))^2*(24*x - 14*x^2 + 2*x^3 + 24*x^5 -
14*x^6 + 2*x^7)))/(log((2*x^4 + 2)/x^4)*(x + x^5)),x)

[Out]

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

________________________________________________________________________________________

sympy [F(-1)]  time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((-2*x**7+14*x**6-24*x**5-2*x**3+14*x**2-24*x)*ln((2*x**4+2)/x**4)*ln(x*ln((2*x**4+2)/x**4))**2+((2*
x**6-12*x**5+18*x**4+2*x**2-12*x+18)*ln((2*x**4+2)/x**4)-8*x**2+48*x-72)*ln(x*ln((2*x**4+2)/x**4)))/(x**5+x)/e
xp(x)**2/ln((2*x**4+2)/x**4),x)

[Out]

Timed out

________________________________________________________________________________________

[next] [prev] [prev-tail] [front] [up]