3.76.97 \(\int \frac {20 e^{\frac {2 (3 e^2-3 x+\log (i \pi +\log (2)))}{e^2-x}} \log (i \pi +\log (2))}{e^4-2 e^2 x+x^2} \, dx\)

Optimal. Leaf size=28 \[ 10 \left (5+e^{6-\frac {2 \log (i \pi +\log (2))}{-e^2+x}}\right ) \]

________________________________________________________________________________________

Rubi [A]  time = 0.10, antiderivative size = 25, normalized size of antiderivative = 0.89, number of steps used = 4, number of rules used = 4, integrand size = 57, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.070, Rules used = {12, 27, 2230, 2209} \begin {gather*} 10 e^6 (\log (2)+i \pi )^{\frac {2}{e^2-x}} \end {gather*}

Antiderivative was successfully verified.

[In]

Int[(20*E^((2*(3*E^2 - 3*x + Log[I*Pi + Log[2]]))/(E^2 - x))*Log[I*Pi + Log[2]])/(E^4 - 2*E^2*x + x^2),x]

[Out]

10*E^6*(I*Pi + Log[2])^(2/(E^2 - x))

Rule 12

Int[(a_)*(u_), x_Symbol] :> Dist[a, Int[u, x], x] /; FreeQ[a, x] &&  !MatchQ[u, (b_)*(v_) /; FreeQ[b, x]]

Rule 27

Int[(u_.)*((a_) + (b_.)*(x_) + (c_.)*(x_)^2)^(p_.), x_Symbol] :> Int[u*Cancel[(b/2 + c*x)^(2*p)/c^p], x] /; Fr
eeQ[{a, b, c}, x] && EqQ[b^2 - 4*a*c, 0] && IntegerQ[p]

Rule 2209

Int[(F_)^((a_.) + (b_.)*((c_.) + (d_.)*(x_))^(n_))*((e_.) + (f_.)*(x_))^(m_.), x_Symbol] :> Simp[((e + f*x)^n*
F^(a + b*(c + d*x)^n))/(b*f*n*(c + d*x)^n*Log[F]), x] /; FreeQ[{F, a, b, c, d, e, f, n}, x] && EqQ[m, n - 1] &
& EqQ[d*e - c*f, 0]

Rule 2230

Int[(F_)^((e_.) + ((f_.)*((a_.) + (b_.)*(x_)))/((c_.) + (d_.)*(x_)))*((g_.) + (h_.)*(x_))^(m_.), x_Symbol] :>
Int[(g + h*x)^m*F^((d*e + b*f)/d - (f*(b*c - a*d))/(d*(c + d*x))), x] /; FreeQ[{F, a, b, c, d, e, f, g, h, m},
x] && NeQ[b*c - a*d, 0] && EqQ[d*g - c*h, 0]

Rubi steps

\begin {gather*} \begin {aligned} \text {integral} &=(20 \log (i \pi +\log (2))) \int \frac {\exp \left (\frac {2 \left (3 e^2-3 x+\log (i \pi +\log (2))\right )}{e^2-x}\right )}{e^4-2 e^2 x+x^2} \, dx\\ &=(20 \log (i \pi +\log (2))) \int \frac {\exp \left (\frac {2 \left (3 e^2-3 x+\log (i \pi +\log (2))\right )}{e^2-x}\right )}{\left (-e^2+x\right )^2} \, dx\\ &=(20 \log (i \pi +\log (2))) \int \frac {e^{6-\frac {2 \log (i \pi +\log (2))}{-e^2+x}}}{\left (-e^2+x\right )^2} \, dx\\ &=10 e^6 (i \pi +\log (2))^{\frac {2}{e^2-x}}\\ \end {aligned} \end {gather*}

________________________________________________________________________________________

Mathematica [A]  time = 0.01, size = 25, normalized size = 0.89 \begin {gather*} 10 e^6 (i \pi +\log (2))^{\frac {2}{e^2-x}} \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[(20*E^((2*(3*E^2 - 3*x + Log[I*Pi + Log[2]]))/(E^2 - x))*Log[I*Pi + Log[2]])/(E^4 - 2*E^2*x + x^2),x
]

[Out]

10*E^6*(I*Pi + Log[2])^(2/(E^2 - x))

________________________________________________________________________________________

fricas [A]  time = 1.01, size = 89, normalized size = 3.18 \begin {gather*} 10 \, {\left (\cosh \left (-\frac {3 \, x}{x - e^{2}} + \frac {3 \, e^{2}}{x - e^{2}} + \frac {\log \left (i \, \pi + \log \relax (2)\right )}{x - e^{2}}\right ) - \sinh \left (-\frac {3 \, x}{x - e^{2}} + \frac {3 \, e^{2}}{x - e^{2}} + \frac {\log \left (i \, \pi + \log \relax (2)\right )}{x - e^{2}}\right )\right )}^{2} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(20*log(log(2)+I*pi)*exp((log(log(2)+I*pi)+3*exp(2)-3*x)/(exp(2)-x))^2/(exp(2)^2-2*exp(2)*x+x^2),x, a
lgorithm="fricas")

[Out]

10*(cosh(-3*x/(x - e^2) + 3*e^2/(x - e^2) + log(I*pi + log(2))/(x - e^2)) - sinh(-3*x/(x - e^2) + 3*e^2/(x - e
^2) + log(I*pi + log(2))/(x - e^2)))^2

________________________________________________________________________________________

giac [F]  time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {20 \, {\left (\cosh \left (-\frac {3 \, x}{x - e^{2}} + \frac {3 \, e^{2}}{x - e^{2}} + \frac {\log \left (i \, \pi + \log \relax (2)\right )}{x - e^{2}}\right ) - \sinh \left (-\frac {3 \, x}{x - e^{2}} + \frac {3 \, e^{2}}{x - e^{2}} + \frac {\log \left (i \, \pi + \log \relax (2)\right )}{x - e^{2}}\right )\right )}^{2} \log \left (i \, \pi + \log \relax (2)\right )}{x^{2} - 2 \, x e^{2} + e^{4}}\,{d x} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(20*log(log(2)+I*pi)*exp((log(log(2)+I*pi)+3*exp(2)-3*x)/(exp(2)-x))^2/(exp(2)^2-2*exp(2)*x+x^2),x, a
lgorithm="giac")

[Out]

integrate(20*(cosh(-3*x/(x - e^2) + 3*e^2/(x - e^2) + log(I*pi + log(2))/(x - e^2)) - sinh(-3*x/(x - e^2) + 3*
e^2/(x - e^2) + log(I*pi + log(2))/(x - e^2)))^2*log(I*pi + log(2))/(x^2 - 2*x*e^2 + e^4), x)

________________________________________________________________________________________

maple [A]  time = 0.28, size = 26, normalized size = 0.93

method	result	size
derivativedivides	\(10 \,{\mathrm e}^{6-\frac {2 \ln \left (\ln \relax (2)+i \pi \right )}{x -{\mathrm e}^{2}}}\)	\(26\)
default	\(10 \,{\mathrm e}^{6-\frac {2 \ln \left (\ln \relax (2)+i \pi \right )}{x -{\mathrm e}^{2}}}\)	\(26\)
risch	\(10 \left (i \left (-i \ln \relax (2)+\pi \right )\right )^{\frac {2}{{\mathrm e}^{2}-x}} {\mathrm e}^{6}\)	\(26\)
norman	\(\frac {-10 x \,{\mathrm e}^{\frac {2 \ln \left (\ln \relax (2)+i \pi \right )+6 \,{\mathrm e}^{2}-6 x}{{\mathrm e}^{2}-x}}+10 \,{\mathrm e}^{2} {\mathrm e}^{\frac {2 \ln \left (\ln \relax (2)+i \pi \right )+6 \,{\mathrm e}^{2}-6 x}{{\mathrm e}^{2}-x}}}{{\mathrm e}^{2}-x}\)	\(74\)
gosper	error in isolve/isolve: invalid subscript selector\	N/A

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(20*ln(ln(2)+I*Pi)*exp((ln(ln(2)+I*Pi)+3*exp(2)-3*x)/(exp(2)-x))^2/(exp(2)^2-2*exp(2)*x+x^2),x,method=_RETU
RNVERBOSE)

[Out]

10*exp(3-ln(ln(2)+I*Pi)/(x-exp(2)))^2

________________________________________________________________________________________

maxima [A]  time = 0.57, size = 45, normalized size = 1.61 \begin {gather*} 10 \, \cosh \left (\frac {2 \, \log \left (i \, \pi + \log \relax (2)\right )}{x - e^{2}} - 6\right ) - 10 \, \sinh \left (\frac {2 \, \log \left (i \, \pi + \log \relax (2)\right )}{x - e^{2}} - 6\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(20*log(log(2)+I*pi)*exp((log(log(2)+I*pi)+3*exp(2)-3*x)/(exp(2)-x))^2/(exp(2)^2-2*exp(2)*x+x^2),x, a
lgorithm="maxima")

[Out]

10*cosh(2*log(I*pi + log(2))/(x - e^2) - 6) - 10*sinh(2*log(I*pi + log(2))/(x - e^2) - 6)

________________________________________________________________________________________

mupad [B]  time = 1.11, size = 24, normalized size = 0.86 \begin {gather*} \frac {10\,{\mathrm {e}}^6}{{\left (\ln \relax (2)+\Pi \,1{}\mathrm {i}\right )}^{\frac {2}{x-{\mathrm {e}}^2}}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((20*exp(-(2*(3*exp(2) - 3*x + log(Pi*1i + log(2))))/(x - exp(2)))*log(Pi*1i + log(2)))/(exp(4) - 2*x*exp(2
) + x^2),x)

[Out]

(10*exp(6))/(Pi*1i + log(2))^(2/(x - exp(2)))

________________________________________________________________________________________

sympy [A]  time = 27.81, size = 26, normalized size = 0.93 \begin {gather*} 10 e^{\frac {2 \left (- 3 x + 3 e^{2} + \log {\left (\log {\relax (2 )} + i \pi \right )}\right )}{- x + e^{2}}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(20*ln(ln(2)+I*pi)*exp((ln(ln(2)+I*pi)+3*exp(2)-3*x)/(exp(2)-x))**2/(exp(2)**2-2*exp(2)*x+x**2),x)

[Out]

10*exp(2*(-3*x + 3*exp(2) + log(log(2) + I*pi))/(-x + exp(2)))

________________________________________________________________________________________