3.24.64 \(\int \frac {-2 x^2+e^{2 x \log ^2(2)+2 (-5-x) \log ^2(2) \log (x)} (-10 e^2 \log ^2(2)-2 e^2 x \log ^2(2) \log (x))}{x} \, dx\) [2364]

Optimal. Leaf size=26 \[ 2+e^{2+2 \log ^2(2) (x-(5+x) \log (x))}-x^2 \]

[Out]

2+exp(ln(2)^2*(x-ln(x)*(5+x)))^2*exp(1)^2-x^2

________________________________________________________________________________________

Rubi [F]
time = 0.27, 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 {-2 x^2+e^{2 x \log ^2(2)+2 (-5-x) \log ^2(2) \log (x)} \left (-10 e^2 \log ^2(2)-2 e^2 x \log ^2(2) \log (x)\right )}{x} \, dx \end {gather*}

Verification is not applicable to the result.

[In]

Int[(-2*x^2 + E^(2*x*Log[2]^2 + 2*(-5 - x)*Log[2]^2*Log[x])*(-10*E^2*Log[2]^2 - 2*E^2*x*Log[2]^2*Log[x]))/x,x]

[Out]

-x^2 - 10*Log[2]^2*Defer[Int][E^(2 + 2*x*Log[2]^2)*x^(-1 - 10*Log[2]^2 - 2*x*Log[2]^2), x] - 2*Log[2]^2*Log[x]
*Defer[Int][E^(2 + 2*x*Log[2]^2)*x^(-10*Log[2]^2 - 2*x*Log[2]^2), x] + 2*Log[2]^2*Defer[Int][Defer[Int][E^(2 +
2*x*Log[2]^2)*x^(-10*Log[2]^2 - 2*x*Log[2]^2), x]/x, x]

Rubi steps

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

________________________________________________________________________________________

Mathematica [A]
time = 0.10, size = 29, normalized size = 1.12 \begin {gather*} -x^2+e^{2+2 x \log ^2(2)} x^{-2 (5+x) \log ^2(2)} \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[(-2*x^2 + E^(2*x*Log[2]^2 + 2*(-5 - x)*Log[2]^2*Log[x])*(-10*E^2*Log[2]^2 - 2*E^2*x*Log[2]^2*Log[x])
)/x,x]

[Out]

-x^2 + E^(2 + 2*x*Log[2]^2)/x^(2*(5 + x)*Log[2]^2)

________________________________________________________________________________________

Maple [A]
time = 0.30, size = 34, normalized size = 1.31

method	result	size
risch	\(x^{-2 \left (5+x \right ) \ln \left (2\right )^{2}} {\mathrm e}^{2+2 x \ln \left (2\right )^{2}}-x^{2}\)	\(31\)
default	\({\mathrm e}^{2} {\mathrm e}^{2 \left (-x -5\right ) \ln \left (2\right )^{2} \ln \left (x \right )+2 x \ln \left (2\right )^{2}}-x^{2}\)	\(34\)
norman	\({\mathrm e}^{2} {\mathrm e}^{2 \left (-x -5\right ) \ln \left (2\right )^{2} \ln \left (x \right )+2 x \ln \left (2\right )^{2}}-x^{2}\)	\(34\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(((-2*x*exp(1)^2*ln(2)^2*ln(x)-10*exp(1)^2*ln(2)^2)*exp((-x-5)*ln(2)^2*ln(x)+x*ln(2)^2)^2-2*x^2)/x,x,method
=_RETURNVERBOSE)

[Out]

exp(1)^2*exp((-x-5)*ln(2)^2*ln(x)+x*ln(2)^2)^2-x^2

________________________________________________________________________________________

Maxima [A]
time = 0.53, size = 33, normalized size = 1.27 \begin {gather*} -x^{2} + e^{\left (-2 \, x \log \left (2\right )^{2} \log \left (x\right ) + 2 \, x \log \left (2\right )^{2} - 10 \, \log \left (2\right )^{2} \log \left (x\right ) + 2\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((-2*x*exp(1)^2*log(2)^2*log(x)-10*exp(1)^2*log(2)^2)*exp((-x-5)*log(2)^2*log(x)+x*log(2)^2)^2-2*x^2
)/x,x, algorithm="maxima")

[Out]

-x^2 + e^(-2*x*log(2)^2*log(x) + 2*x*log(2)^2 - 10*log(2)^2*log(x) + 2)

________________________________________________________________________________________

Fricas [A]
time = 0.44, size = 27, normalized size = 1.04 \begin {gather*} -x^{2} + e^{\left (-2 \, {\left (x + 5\right )} \log \left (2\right )^{2} \log \left (x\right ) + 2 \, x \log \left (2\right )^{2} + 2\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((-2*x*exp(1)^2*log(2)^2*log(x)-10*exp(1)^2*log(2)^2)*exp((-x-5)*log(2)^2*log(x)+x*log(2)^2)^2-2*x^2
)/x,x, algorithm="fricas")

[Out]

-x^2 + e^(-2*(x + 5)*log(2)^2*log(x) + 2*x*log(2)^2 + 2)

________________________________________________________________________________________

Sympy [A]
time = 0.13, size = 31, normalized size = 1.19 \begin {gather*} - x^{2} + e^{2} e^{2 x \log {\left (2 \right )}^{2} + 2 \left (- x - 5\right ) \log {\left (2 \right )}^{2} \log {\left (x \right )}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((-2*x*exp(1)**2*ln(2)**2*ln(x)-10*exp(1)**2*ln(2)**2)*exp((-x-5)*ln(2)**2*ln(x)+x*ln(2)**2)**2-2*x*
*2)/x,x)

[Out]

-x**2 + exp(2)*exp(2*x*log(2)**2 + 2*(-x - 5)*log(2)**2*log(x))

________________________________________________________________________________________

Giac [A]
time = 0.43, size = 33, normalized size = 1.27 \begin {gather*} -x^{2} + e^{\left (-2 \, x \log \left (2\right )^{2} \log \left (x\right ) + 2 \, x \log \left (2\right )^{2} - 10 \, \log \left (2\right )^{2} \log \left (x\right ) + 2\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((-2*x*exp(1)^2*log(2)^2*log(x)-10*exp(1)^2*log(2)^2)*exp((-x-5)*log(2)^2*log(x)+x*log(2)^2)^2-2*x^2
)/x,x, algorithm="giac")

[Out]

-x^2 + e^(-2*x*log(2)^2*log(x) + 2*x*log(2)^2 - 10*log(2)^2*log(x) + 2)

________________________________________________________________________________________

Mupad [B]
time = 1.49, size = 38, normalized size = 1.46 \begin {gather*} \frac {{\mathrm {e}}^{2\,x\,{\ln \left (2\right )}^2}\,{\mathrm {e}}^2}{x^{10\,{\ln \left (2\right )}^2}\,x^{2\,x\,{\ln \left (2\right )}^2}}-x^2 \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(-(exp(2*x*log(2)^2 - 2*log(2)^2*log(x)*(x + 5))*(10*exp(2)*log(2)^2 + 2*x*exp(2)*log(2)^2*log(x)) + 2*x^2)
/x,x)

[Out]

(exp(2*x*log(2)^2)*exp(2))/(x^(10*log(2)^2)*x^(2*x*log(2)^2)) - x^2

________________________________________________________________________________________