3.57.48 \(\int \frac {-3 e^{8 x-2 x \log (2)}+e^{4 x-x \log (2)} (-64+16 \log (2))}{256-96 e^{4 x-x \log (2)} x+9 e^{8 x-2 x \log (2)} x^2} \, dx\)

Optimal. Leaf size=19 \[ \frac {1}{-16 e^{-x (4-\log (2))}+3 x} \]

________________________________________________________________________________________

Rubi [F]  time = 3.15, 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 {-3 e^{8 x-2 x \log (2)}+e^{4 x-x \log (2)} (-64+16 \log (2))}{256-96 e^{4 x-x \log (2)} x+9 e^{8 x-2 x \log (2)} x^2} \, dx \end {gather*}

Verification is not applicable to the result.

[In]

Int[(-3*E^(8*x - 2*x*Log[2]) + E^(4*x - x*Log[2])*(-64 + 16*Log[2]))/(256 - 96*E^(4*x - x*Log[2])*x + 9*E^(8*x
 - 2*x*Log[2])*x^2),x]

[Out]

1/(3*x) - Defer[Int][4^(4 + x)/(x^2*(-2^(4 + x) + 3*E^(4*x)*x)^2), x]/3 - ((4 - Log[2])*Defer[Int][4^(4 + x)/(
x*(-2^(4 + x) + 3*E^(4*x)*x)^2), x])/3 - Defer[Int][2^(5 + x)/(x^2*(-2^(4 + x) + 3*E^(4*x)*x)), x]/3 - ((4 - L
og[2])*Defer[Int][2^(4 + x)/(x*(-2^(4 + x) + 3*E^(4*x)*x)), x])/3

Rubi steps

\begin {gather*} \begin {aligned} \text {integral} &=\int \frac {-3 e^{8 x}+2^{4+x} e^{4 x} (-4+\log (2))}{\left (2^{4+x}-3 e^{4 x} x\right )^2} \, dx\\ &=\int \left (-\frac {1}{3 x^2}+\frac {2^{8+2 x} (-1-x (4-\log (2)))}{3 x^2 \left (2^{4+x}-3 e^{4 x} x\right )^2}+\frac {2^{4+x} (2+x (4-\log (2)))}{3 x^2 \left (2^{4+x}-3 e^{4 x} x\right )}\right ) \, dx\\ &=\frac {1}{3 x}+\frac {1}{3} \int \frac {2^{8+2 x} (-1-x (4-\log (2)))}{x^2 \left (2^{4+x}-3 e^{4 x} x\right )^2} \, dx+\frac {1}{3} \int \frac {2^{4+x} (2+x (4-\log (2)))}{x^2 \left (2^{4+x}-3 e^{4 x} x\right )} \, dx\\ &=\frac {1}{3 x}+\frac {1}{3} \int \frac {4^{4+x} (-1+x (-4+\log (2)))}{x^2 \left (2^{4+x}-3 e^{4 x} x\right )^2} \, dx+\frac {1}{3} \int \left (-\frac {2^{5+x}}{x^2 \left (-2^{4+x}+3 e^{4 x} x\right )}+\frac {2^{4+x} (-4+\log (2))}{x \left (-2^{4+x}+3 e^{4 x} x\right )}\right ) \, dx\\ &=\frac {1}{3 x}-\frac {1}{3} \int \frac {2^{5+x}}{x^2 \left (-2^{4+x}+3 e^{4 x} x\right )} \, dx+\frac {1}{3} \int \left (-\frac {4^{4+x}}{x^2 \left (-2^{4+x}+3 e^{4 x} x\right )^2}+\frac {4^{4+x} (-4+\log (2))}{x \left (-2^{4+x}+3 e^{4 x} x\right )^2}\right ) \, dx+\frac {1}{3} (-4+\log (2)) \int \frac {2^{4+x}}{x \left (-2^{4+x}+3 e^{4 x} x\right )} \, dx\\ &=\frac {1}{3 x}-\frac {1}{3} \int \frac {4^{4+x}}{x^2 \left (-2^{4+x}+3 e^{4 x} x\right )^2} \, dx-\frac {1}{3} \int \frac {2^{5+x}}{x^2 \left (-2^{4+x}+3 e^{4 x} x\right )} \, dx+\frac {1}{3} (-4+\log (2)) \int \frac {4^{4+x}}{x \left (-2^{4+x}+3 e^{4 x} x\right )^2} \, dx+\frac {1}{3} (-4+\log (2)) \int \frac {2^{4+x}}{x \left (-2^{4+x}+3 e^{4 x} x\right )} \, dx\\ \end {aligned} \end {gather*}

________________________________________________________________________________________

Mathematica [A]  time = 0.67, size = 23, normalized size = 1.21 \begin {gather*} -\frac {e^{4 x}}{2^{4+x}-3 e^{4 x} x} \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[(-3*E^(8*x - 2*x*Log[2]) + E^(4*x - x*Log[2])*(-64 + 16*Log[2]))/(256 - 96*E^(4*x - x*Log[2])*x + 9*
E^(8*x - 2*x*Log[2])*x^2),x]

[Out]

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

________________________________________________________________________________________

fricas [A]  time = 0.48, size = 28, normalized size = 1.47 \begin {gather*} \frac {e^{\left (-x \log \relax (2) + 4 \, x\right )}}{3 \, x e^{\left (-x \log \relax (2) + 4 \, x\right )} - 16} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((-3*exp(-x*log(2)+3*x)^2*exp(x)^2+(16*log(2)-64)*exp(-x*log(2)+3*x)*exp(x))/(9*x^2*exp(-x*log(2)+3*x
)^2*exp(x)^2-96*x*exp(-x*log(2)+3*x)*exp(x)+256),x, algorithm="fricas")

[Out]

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

________________________________________________________________________________________

giac [A]  time = 0.19, size = 28, normalized size = 1.47 \begin {gather*} \frac {e^{\left (-x \log \relax (2) + 4 \, x\right )}}{3 \, x e^{\left (-x \log \relax (2) + 4 \, x\right )} - 16} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((-3*exp(-x*log(2)+3*x)^2*exp(x)^2+(16*log(2)-64)*exp(-x*log(2)+3*x)*exp(x))/(9*x^2*exp(-x*log(2)+3*x
)^2*exp(x)^2-96*x*exp(-x*log(2)+3*x)*exp(x)+256),x, algorithm="giac")

[Out]

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

________________________________________________________________________________________

maple [A]  time = 0.16, size = 26, normalized size = 1.37




method result size



risch \(\frac {1}{3 x}+\frac {16}{3 x \left (3 \left (\frac {1}{2}\right )^{x} x \,{\mathrm e}^{4 x}-16\right )}\) \(26\)
norman \(\frac {{\mathrm e}^{-x \ln \relax (2)+3 x} {\mathrm e}^{x}}{3 x \,{\mathrm e}^{-x \ln \relax (2)+3 x} {\mathrm e}^{x}-16}\) \(33\)



Verification of antiderivative is not currently implemented for this CAS.

[In]

int((-3*exp(-x*ln(2)+3*x)^2*exp(x)^2+(16*ln(2)-64)*exp(-x*ln(2)+3*x)*exp(x))/(9*x^2*exp(-x*ln(2)+3*x)^2*exp(x)
^2-96*x*exp(-x*ln(2)+3*x)*exp(x)+256),x,method=_RETURNVERBOSE)

[Out]

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

________________________________________________________________________________________

maxima [A]  time = 0.49, size = 20, normalized size = 1.05 \begin {gather*} \frac {e^{\left (4 \, x\right )}}{3 \, x e^{\left (4 \, x\right )} - 16 \cdot 2^{x}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((-3*exp(-x*log(2)+3*x)^2*exp(x)^2+(16*log(2)-64)*exp(-x*log(2)+3*x)*exp(x))/(9*x^2*exp(-x*log(2)+3*x
)^2*exp(x)^2-96*x*exp(-x*log(2)+3*x)*exp(x)+256),x, algorithm="maxima")

[Out]

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

________________________________________________________________________________________

mupad [F]  time = 0.00, size = -1, normalized size = -0.05 \begin {gather*} \int -\frac {3\,{\mathrm {e}}^{2\,x}\,{\mathrm {e}}^{6\,x-2\,x\,\ln \relax (2)}-{\mathrm {e}}^x\,{\mathrm {e}}^{3\,x-x\,\ln \relax (2)}\,\left (16\,\ln \relax (2)-64\right )}{9\,x^2\,{\mathrm {e}}^{2\,x}\,{\mathrm {e}}^{6\,x-2\,x\,\ln \relax (2)}-96\,x\,{\mathrm {e}}^x\,{\mathrm {e}}^{3\,x-x\,\ln \relax (2)}+256} \,d x \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(-(3*exp(2*x)*exp(6*x - 2*x*log(2)) - exp(x)*exp(3*x - x*log(2))*(16*log(2) - 64))/(9*x^2*exp(2*x)*exp(6*x
- 2*x*log(2)) - 96*x*exp(x)*exp(3*x - x*log(2)) + 256),x)

[Out]

int(-(3*exp(2*x)*exp(6*x - 2*x*log(2)) - exp(x)*exp(3*x - x*log(2))*(16*log(2) - 64))/(9*x^2*exp(2*x)*exp(6*x
- 2*x*log(2)) - 96*x*exp(x)*exp(3*x - x*log(2)) + 256), x)

________________________________________________________________________________________

sympy [F]  time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} - \int \frac {3 e^{8 x}}{9 x^{2} e^{8 x} - 96 x e^{4 x} e^{x \log {\relax (2 )}} + 256 e^{2 x \log {\relax (2 )}}}\, dx - \int \frac {64 e^{4 x} e^{x \log {\relax (2 )}}}{9 x^{2} e^{8 x} - 96 x e^{4 x} e^{x \log {\relax (2 )}} + 256 e^{2 x \log {\relax (2 )}}}\, dx - \int \left (- \frac {16 e^{4 x} e^{x \log {\relax (2 )}} \log {\relax (2 )}}{9 x^{2} e^{8 x} - 96 x e^{4 x} e^{x \log {\relax (2 )}} + 256 e^{2 x \log {\relax (2 )}}}\right )\, dx \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((-3*exp(-x*ln(2)+3*x)**2*exp(x)**2+(16*ln(2)-64)*exp(-x*ln(2)+3*x)*exp(x))/(9*x**2*exp(-x*ln(2)+3*x)
**2*exp(x)**2-96*x*exp(-x*ln(2)+3*x)*exp(x)+256),x)

[Out]

-Integral(3*exp(8*x)/(9*x**2*exp(8*x) - 96*x*exp(4*x)*exp(x*log(2)) + 256*exp(2*x*log(2))), x) - Integral(64*e
xp(4*x)*exp(x*log(2))/(9*x**2*exp(8*x) - 96*x*exp(4*x)*exp(x*log(2)) + 256*exp(2*x*log(2))), x) - Integral(-16
*exp(4*x)*exp(x*log(2))*log(2)/(9*x**2*exp(8*x) - 96*x*exp(4*x)*exp(x*log(2)) + 256*exp(2*x*log(2))), x)

________________________________________________________________________________________