3.71.17 \(\int \frac {4^{-\frac {1}{x^4}} (16+3 x-64 x^2+64 x^4)^{\frac {1}{x^4}} (12 x-512 x^2+1024 x^4+(-256-48 x+1024 x^2-1024 x^4) \log (\frac {1}{4} (16+3 x-64 x^2+64 x^4)))}{16 x^5+3 x^6-64 x^7+64 x^9} \, dx\)

Optimal. Leaf size=25 \[ 4 \left (x+\frac {1}{4} \left (-x+\left (4-8 x^2\right )^2\right )\right )^{\frac {1}{x^4}} \]

________________________________________________________________________________________

Rubi [F]  time = 3.20, 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 {4^{-\frac {1}{x^4}} \left (16+3 x-64 x^2+64 x^4\right )^{\frac {1}{x^4}} \left (12 x-512 x^2+1024 x^4+\left (-256-48 x+1024 x^2-1024 x^4\right ) \log \left (\frac {1}{4} \left (16+3 x-64 x^2+64 x^4\right )\right )\right )}{16 x^5+3 x^6-64 x^7+64 x^9} \, dx \end {gather*}

Verification is not applicable to the result.

[In]

Int[((16 + 3*x - 64*x^2 + 64*x^4)^x^(-4)*(12*x - 512*x^2 + 1024*x^4 + (-256 - 48*x + 1024*x^2 - 1024*x^4)*Log[
(16 + 3*x - 64*x^2 + 64*x^4)/4]))/(4^x^(-4)*(16*x^5 + 3*x^6 - 64*x^7 + 64*x^9)),x]

[Out]

3*Defer[Int][(4 + (3*x)/4 - 16*x^2 + 16*x^4)^(-1 + x^(-4))/x^4, x] - 128*Defer[Int][(4 + (3*x)/4 - 16*x^2 + 16
*x^4)^(-1 + x^(-4))/x^3, x] + 256*Defer[Int][(4 + (3*x)/4 - 16*x^2 + 16*x^4)^(-1 + x^(-4))/x, x] - Log[4 + (3*
x)/4 - 16*x^2 + 16*x^4]*Defer[Int][(4^(2 - x^(-4))*(16 + 3*x - 64*x^2 + 64*x^4)^x^(-4))/x^5, x] + 3*Defer[Int]
[Defer[Int][(4^(2 - x^(-4))*(16 + 3*x - 64*x^2 + 64*x^4)^x^(-4))/x^5, x]/(16 + 3*x - 64*x^2 + 64*x^4), x] - 12
8*Defer[Int][(x*Defer[Int][(4^(2 - x^(-4))*(16 + 3*x - 64*x^2 + 64*x^4)^x^(-4))/x^5, x])/(16 + 3*x - 64*x^2 +
64*x^4), x] + 256*Defer[Int][(x^3*Defer[Int][(4^(2 - x^(-4))*(16 + 3*x - 64*x^2 + 64*x^4)^x^(-4))/x^5, x])/(16
+ 3*x - 64*x^2 + 64*x^4), x]

Rubi steps

\begin {gather*} \begin {aligned} \text {integral} &=\int \frac {4^{-\frac {1}{x^4}} \left (16+3 x-64 x^2+64 x^4\right )^{-1+\frac {1}{x^4}} \left (12 x-512 x^2+1024 x^4+\left (-256-48 x+1024 x^2-1024 x^4\right ) \log \left (\frac {1}{4} \left (16+3 x-64 x^2+64 x^4\right )\right )\right )}{x^5} \, dx\\ &=\int \left (\frac {4^{1-\frac {1}{x^4}} \left (3-128 x+256 x^3\right ) \left (16+3 x-64 x^2+64 x^4\right )^{-1+\frac {1}{x^4}}}{x^4}-\frac {4^{2-\frac {1}{x^4}} \left (16+3 x-64 x^2+64 x^4\right )^{\frac {1}{x^4}} \log \left (4+\frac {3 x}{4}-16 x^2+16 x^4\right )}{x^5}\right ) \, dx\\ &=\int \frac {4^{1-\frac {1}{x^4}} \left (3-128 x+256 x^3\right ) \left (16+3 x-64 x^2+64 x^4\right )^{-1+\frac {1}{x^4}}}{x^4} \, dx-\int \frac {4^{2-\frac {1}{x^4}} \left (16+3 x-64 x^2+64 x^4\right )^{\frac {1}{x^4}} \log \left (4+\frac {3 x}{4}-16 x^2+16 x^4\right )}{x^5} \, dx\\ &=-\left (\log \left (4+\frac {3 x}{4}-16 x^2+16 x^4\right ) \int \frac {4^{2-\frac {1}{x^4}} \left (16+3 x-64 x^2+64 x^4\right )^{\frac {1}{x^4}}}{x^5} \, dx\right )+\int \frac {\left (3-128 x+256 x^3\right ) \left (4+\frac {3 x}{4}-16 x^2+16 x^4\right )^{-1+\frac {1}{x^4}}}{x^4} \, dx+\int \frac {\left (3-128 x+256 x^3\right ) \int \frac {4^{2-\frac {1}{x^4}} \left (16+3 x-64 x^2+64 x^4\right )^{\frac {1}{x^4}}}{x^5} \, dx}{16+3 x-64 x^2+64 x^4} \, dx\\ &=-\left (\log \left (4+\frac {3 x}{4}-16 x^2+16 x^4\right ) \int \frac {4^{2-\frac {1}{x^4}} \left (16+3 x-64 x^2+64 x^4\right )^{\frac {1}{x^4}}}{x^5} \, dx\right )+\int \left (\frac {3 \left (4+\frac {3 x}{4}-16 x^2+16 x^4\right )^{-1+\frac {1}{x^4}}}{x^4}-\frac {128 \left (4+\frac {3 x}{4}-16 x^2+16 x^4\right )^{-1+\frac {1}{x^4}}}{x^3}+\frac {256 \left (4+\frac {3 x}{4}-16 x^2+16 x^4\right )^{-1+\frac {1}{x^4}}}{x}\right ) \, dx+\int \left (\frac {3 \int \frac {4^{2-\frac {1}{x^4}} \left (16+3 x-64 x^2+64 x^4\right )^{\frac {1}{x^4}}}{x^5} \, dx}{16+3 x-64 x^2+64 x^4}-\frac {128 x \int \frac {4^{2-\frac {1}{x^4}} \left (16+3 x-64 x^2+64 x^4\right )^{\frac {1}{x^4}}}{x^5} \, dx}{16+3 x-64 x^2+64 x^4}+\frac {256 x^3 \int \frac {4^{2-\frac {1}{x^4}} \left (16+3 x-64 x^2+64 x^4\right )^{\frac {1}{x^4}}}{x^5} \, dx}{16+3 x-64 x^2+64 x^4}\right ) \, dx\\ &=3 \int \frac {\left (4+\frac {3 x}{4}-16 x^2+16 x^4\right )^{-1+\frac {1}{x^4}}}{x^4} \, dx+3 \int \frac {\int \frac {4^{2-\frac {1}{x^4}} \left (16+3 x-64 x^2+64 x^4\right )^{\frac {1}{x^4}}}{x^5} \, dx}{16+3 x-64 x^2+64 x^4} \, dx-128 \int \frac {\left (4+\frac {3 x}{4}-16 x^2+16 x^4\right )^{-1+\frac {1}{x^4}}}{x^3} \, dx-128 \int \frac {x \int \frac {4^{2-\frac {1}{x^4}} \left (16+3 x-64 x^2+64 x^4\right )^{\frac {1}{x^4}}}{x^5} \, dx}{16+3 x-64 x^2+64 x^4} \, dx+256 \int \frac {\left (4+\frac {3 x}{4}-16 x^2+16 x^4\right )^{-1+\frac {1}{x^4}}}{x} \, dx+256 \int \frac {x^3 \int \frac {4^{2-\frac {1}{x^4}} \left (16+3 x-64 x^2+64 x^4\right )^{\frac {1}{x^4}}}{x^5} \, dx}{16+3 x-64 x^2+64 x^4} \, dx-\log \left (4+\frac {3 x}{4}-16 x^2+16 x^4\right ) \int \frac {4^{2-\frac {1}{x^4}} \left (16+3 x-64 x^2+64 x^4\right )^{\frac {1}{x^4}}}{x^5} \, dx\\ \end {aligned} \end {gather*}

________________________________________________________________________________________

Mathematica [A]  time = 0.28, size = 23, normalized size = 0.92 \begin {gather*} 4 \left (4+\frac {3 x}{4}-16 x^2+16 x^4\right )^{\frac {1}{x^4}} \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[((16 + 3*x - 64*x^2 + 64*x^4)^x^(-4)*(12*x - 512*x^2 + 1024*x^4 + (-256 - 48*x + 1024*x^2 - 1024*x^4
)*Log[(16 + 3*x - 64*x^2 + 64*x^4)/4]))/(4^x^(-4)*(16*x^5 + 3*x^6 - 64*x^7 + 64*x^9)),x]

[Out]

4*(4 + (3*x)/4 - 16*x^2 + 16*x^4)^x^(-4)

________________________________________________________________________________________

fricas [A]  time = 0.68, size = 21, normalized size = 0.84 \begin {gather*} 4 \, {\left (16 \, x^{4} - 16 \, x^{2} + \frac {3}{4} \, x + 4\right )}^{\left (\frac {1}{x^{4}}\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((-1024*x^4+1024*x^2-48*x-256)*log(16*x^4-16*x^2+3/4*x+4)+1024*x^4-512*x^2+12*x)*exp(log(16*x^4-16*x
^2+3/4*x+4)/x^4)/(64*x^9-64*x^7+3*x^6+16*x^5),x, algorithm="fricas")

[Out]

4*(16*x^4 - 16*x^2 + 3/4*x + 4)^(x^(-4))

________________________________________________________________________________________

giac [F]  time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {4 \, {\left (256 \, x^{4} - 128 \, x^{2} - 4 \, {\left (64 \, x^{4} - 64 \, x^{2} + 3 \, x + 16\right )} \log \left (16 \, x^{4} - 16 \, x^{2} + \frac {3}{4} \, x + 4\right ) + 3 \, x\right )} {\left (16 \, x^{4} - 16 \, x^{2} + \frac {3}{4} \, x + 4\right )}^{\left (\frac {1}{x^{4}}\right )}}{64 \, x^{9} - 64 \, x^{7} + 3 \, x^{6} + 16 \, x^{5}}\,{d x} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((-1024*x^4+1024*x^2-48*x-256)*log(16*x^4-16*x^2+3/4*x+4)+1024*x^4-512*x^2+12*x)*exp(log(16*x^4-16*x
^2+3/4*x+4)/x^4)/(64*x^9-64*x^7+3*x^6+16*x^5),x, algorithm="giac")

[Out]

integrate(4*(256*x^4 - 128*x^2 - 4*(64*x^4 - 64*x^2 + 3*x + 16)*log(16*x^4 - 16*x^2 + 3/4*x + 4) + 3*x)*(16*x^
4 - 16*x^2 + 3/4*x + 4)^(x^(-4))/(64*x^9 - 64*x^7 + 3*x^6 + 16*x^5), x)

________________________________________________________________________________________

maple [A]  time = 0.07, size = 22, normalized size = 0.88

method	result	size
risch	\(4 \left (16 x^{4}-16 x^{2}+\frac {3}{4} x +4\right )^{\frac {1}{x^{4}}}\)	\(22\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(((-1024*x^4+1024*x^2-48*x-256)*ln(16*x^4-16*x^2+3/4*x+4)+1024*x^4-512*x^2+12*x)*exp(ln(16*x^4-16*x^2+3/4*x
+4)/x^4)/(64*x^9-64*x^7+3*x^6+16*x^5),x,method=_RETURNVERBOSE)

[Out]

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

________________________________________________________________________________________

maxima [A]  time = 0.54, size = 31, normalized size = 1.24 \begin {gather*} 4 \, e^{\left (-\frac {2 \, \log \relax (2)}{x^{4}} + \frac {\log \left (64 \, x^{4} - 64 \, x^{2} + 3 \, x + 16\right )}{x^{4}}\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((-1024*x^4+1024*x^2-48*x-256)*log(16*x^4-16*x^2+3/4*x+4)+1024*x^4-512*x^2+12*x)*exp(log(16*x^4-16*x
^2+3/4*x+4)/x^4)/(64*x^9-64*x^7+3*x^6+16*x^5),x, algorithm="maxima")

[Out]

4*e^(-2*log(2)/x^4 + log(64*x^4 - 64*x^2 + 3*x + 16)/x^4)

________________________________________________________________________________________

mupad [B]  time = 4.42, size = 21, normalized size = 0.84 \begin {gather*} 4\,{\left (16\,x^4-16\,x^2+\frac {3\,x}{4}+4\right )}^{\frac {1}{x^4}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((exp(log((3*x)/4 - 16*x^2 + 16*x^4 + 4)/x^4)*(12*x - log((3*x)/4 - 16*x^2 + 16*x^4 + 4)*(48*x - 1024*x^2 +
1024*x^4 + 256) - 512*x^2 + 1024*x^4))/(16*x^5 + 3*x^6 - 64*x^7 + 64*x^9),x)

[Out]

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

________________________________________________________________________________________

sympy [A]  time = 0.72, size = 24, normalized size = 0.96 \begin {gather*} 4 e^{\frac {\log {\left (16 x^{4} - 16 x^{2} + \frac {3 x}{4} + 4 \right )}}{x^{4}}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((-1024*x**4+1024*x**2-48*x-256)*ln(16*x**4-16*x**2+3/4*x+4)+1024*x**4-512*x**2+12*x)*exp(ln(16*x**4
-16*x**2+3/4*x+4)/x**4)/(64*x**9-64*x**7+3*x**6+16*x**5),x)

[Out]

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

________________________________________________________________________________________