3.63.64 \(\int \frac {e^{-1-x+x \log (2)+x^2 \log (\frac {1}{-4 x+x^2})} (4+3 x-2 x^2+(-4+x) \log (2)+(-8 x+2 x^2) \log (\frac {1}{-4 x+x^2}))}{-16+4 x} \, dx\)

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

________________________________________________________________________________________

Rubi [A]  time = 0.40, antiderivative size = 26, normalized size of antiderivative = 0.81, number of steps used = 1, number of rules used = 1, integrand size = 69, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.014, Rules used = {6706} \begin {gather*} 2^{x-2} e^{-x-1} \left (\frac {1}{x^2-4 x}\right )^{x^2} \end {gather*}

Antiderivative was successfully verified.

[In]

Int[(E^(-1 - x + x*Log[2] + x^2*Log[(-4*x + x^2)^(-1)])*(4 + 3*x - 2*x^2 + (-4 + x)*Log[2] + (-8*x + 2*x^2)*Lo
g[(-4*x + x^2)^(-1)]))/(-16 + 4*x),x]

[Out]

2^(-2 + x)*E^(-1 - x)*((-4*x + x^2)^(-1))^x^2

Rule 6706

Int[(F_)^(v_)*(u_), x_Symbol] :> With[{q = DerivativeDivides[v, u, x]}, Simp[(q*F^v)/Log[F], x] /;  !FalseQ[q]
] /; FreeQ[F, x]

Rubi steps

\begin {gather*} \begin {aligned} \text {integral} &=2^{-2+x} e^{-1-x} \left (\frac {1}{-4 x+x^2}\right )^{x^2}\\ \end {aligned} \end {gather*}

________________________________________________________________________________________

Mathematica [A]  time = 1.49, size = 26, normalized size = 0.81 \begin {gather*} 2^{-2+x} e^{-1-x} \left (\frac {1}{-4 x+x^2}\right )^{x^2} \end {gather*}

Antiderivative was successfully verified.

[In]

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

[Out]

2^(-2 + x)*E^(-1 - x)*((-4*x + x^2)^(-1))^x^2

________________________________________________________________________________________

fricas [A]  time = 0.75, size = 26, normalized size = 0.81 \begin {gather*} \frac {1}{4} \, e^{\left (x^{2} \log \left (\frac {1}{x^{2} - 4 \, x}\right ) + x \log \relax (2) - x - 1\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

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

________________________________________________________________________________________

giac [A]  time = 0.28, size = 25, normalized size = 0.78 \begin {gather*} \frac {1}{4} \, e^{\left (-x^{2} \log \left (x^{2} - 4 \, x\right ) + x \log \relax (2) - x - 1\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

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

________________________________________________________________________________________

maple [A]  time = 0.37, size = 25, normalized size = 0.78

method	result	size
risch	\(\frac {\left (\frac {1}{x^{2}-4 x}\right )^{x^{2}} 2^{x} {\mathrm e}^{-x -1}}{4}\)	\(25\)
default	\(\frac {{\mathrm e}^{x^{2} \ln \left (\frac {1}{x^{2}-4 x}\right )+x \ln \relax (2)-x -1}}{4}\)	\(27\)
norman	\(\frac {{\mathrm e}^{x^{2} \ln \left (\frac {1}{x^{2}-4 x}\right )+x \ln \relax (2)-x -1}}{4}\)	\(27\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(((2*x^2-8*x)*ln(1/(x^2-4*x))+(x-4)*ln(2)-2*x^2+3*x+4)*exp(x^2*ln(1/(x^2-4*x))+x*ln(2)-x-1)/(4*x-16),x,meth
od=_RETURNVERBOSE)

[Out]

1/4*(1/(x^2-4*x))^(x^2)*2^x*exp(-x-1)

________________________________________________________________________________________

maxima [A]  time = 0.55, size = 28, normalized size = 0.88 \begin {gather*} \frac {1}{4} \, e^{\left (-x^{2} \log \left (x - 4\right ) - x^{2} \log \relax (x) + x \log \relax (2) - x - 1\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

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

________________________________________________________________________________________

mupad [B]  time = 4.51, size = 28, normalized size = 0.88 \begin {gather*} \frac {2^x\,{\mathrm {e}}^{-x-1}\,{\left (-\frac {1}{4\,x-x^2}\right )}^{x^2}}{4} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

(2^x*exp(- x - 1)*(-1/(4*x - x^2))^(x^2))/4

________________________________________________________________________________________

sympy [A]  time = 0.52, size = 24, normalized size = 0.75 \begin {gather*} \frac {e^{x^{2} \log {\left (\frac {1}{x^{2} - 4 x} \right )} - x + x \log {\relax (2 )} - 1}}{4} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

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

________________________________________________________________________________________