3.32.99 \(\int \frac {8+8 x+2 x^2+8 (i \pi +\log (3))+(-4-x) \log (16+8 x+x^2)}{4+x} \, dx\)

Optimal. Leaf size=29 \[ 2 x+x^2-(x-4 (i \pi +\log (3))) \log \left ((-4-x)^2\right ) \]

________________________________________________________________________________________

Rubi [A]  time = 0.18, antiderivative size = 33, normalized size of antiderivative = 1.14, number of steps used = 7, number of rules used = 5, integrand size = 41, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.122, Rules used = {6741, 6742, 698, 2389, 2295} \begin {gather*} x^2+2 x+2 (4+4 i \pi +\log (81)) \log (x+4)-(x+4) \log \left ((x+4)^2\right ) \end {gather*}

Antiderivative was successfully verified.

[In]

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

[Out]

2*x + x^2 + 2*(4 + (4*I)*Pi + Log[81])*Log[4 + x] - (4 + x)*Log[(4 + x)^2]

Rule 698

Int[((d_.) + (e_.)*(x_))^(m_)*((a_.) + (b_.)*(x_) + (c_.)*(x_)^2)^(p_.), x_Symbol] :> Int[ExpandIntegrand[(d +
e*x)^m*(a + b*x + c*x^2)^p, x], x] /; FreeQ[{a, b, c, d, e, m}, x] && NeQ[b^2 - 4*a*c, 0] && NeQ[c*d^2 - b*d*
e + a*e^2, 0] && NeQ[2*c*d - b*e, 0] && IntegerQ[p] && (GtQ[p, 0] || (EqQ[a, 0] && IntegerQ[m]))

Rule 2295

Int[Log[(c_.)*(x_)^(n_.)], x_Symbol] :> Simp[x*Log[c*x^n], x] - Simp[n*x, x] /; FreeQ[{c, n}, x]

Rule 2389

Int[((a_.) + Log[(c_.)*((d_) + (e_.)*(x_))^(n_.)]*(b_.))^(p_.), x_Symbol] :> Dist[1/e, Subst[Int[(a + b*Log[c*
x^n])^p, x], x, d + e*x], x] /; FreeQ[{a, b, c, d, e, n, p}, x]

Rule 6741

Int[u_, x_Symbol] :> With[{v = NormalizeIntegrand[u, x]}, Int[v, x] /; v =!= u]

Rule 6742

Int[u_, x_Symbol] :> With[{v = ExpandIntegrand[u, x]}, Int[v, x] /; SumQ[v]]

Rubi steps

\begin {gather*} \begin {aligned} \text {integral} &=\int \frac {8 x+2 x^2+8 (1+i \pi +\log (3))+(-4-x) \log \left (16+8 x+x^2\right )}{4+x} \, dx\\ &=\int \left (\frac {2 i \left (4 \pi -4 i x-i x^2-i (4+\log (81))\right )}{4+x}-\log \left ((4+x)^2\right )\right ) \, dx\\ &=2 i \int \frac {4 \pi -4 i x-i x^2-i (4+\log (81))}{4+x} \, dx-\int \log \left ((4+x)^2\right ) \, dx\\ &=2 i \int \left (-i x+\frac {4 \pi -i (4+\log (81))}{4+x}\right ) \, dx-\operatorname {Subst}\left (\int \log \left (x^2\right ) \, dx,x,4+x\right )\\ &=2 x+x^2+2 (4+4 i \pi +\log (81)) \log (4+x)-(4+x) \log \left ((4+x)^2\right )\\ \end {aligned} \end {gather*}

________________________________________________________________________________________

Mathematica [A]  time = 0.03, size = 34, normalized size = 1.17 \begin {gather*} -16+2 x+x^2+2 (4+4 i \pi +\log (81)) \log (4+x)-(4+x) \log \left ((4+x)^2\right ) \end {gather*}

Antiderivative was successfully verified.

[In]

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

[Out]

-16 + 2*x + x^2 + 2*(4 + (4*I)*Pi + Log[81])*Log[4 + x] - (4 + x)*Log[(4 + x)^2]

________________________________________________________________________________________

fricas [A]  time = 0.59, size = 28, normalized size = 0.97 \begin {gather*} x^{2} + {\left (4 i \, \pi - x + 4 \, \log \relax (3)\right )} \log \left (x^{2} + 8 \, x + 16\right ) + 2 \, x \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

x^2 + (4*I*pi - x + 4*log(3))*log(x^2 + 8*x + 16) + 2*x

________________________________________________________________________________________

giac [A]  time = 0.22, size = 33, normalized size = 1.14 \begin {gather*} x^{2} - x \log \left (x^{2} + 8 \, x + 16\right ) - 8 \, {\left (-i \, \pi - \log \relax (3)\right )} \log \left (x + 4\right ) + 2 \, x \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

x^2 - x*log(x^2 + 8*x + 16) - 8*(-I*pi - log(3))*log(x + 4) + 2*x

________________________________________________________________________________________

maple [A]  time = 0.57, size = 36, normalized size = 1.24

method	result	size
default	\(8 \ln \relax (3) \ln \left (4+x \right )+x^{2}+8 i \pi \ln \left (4+x \right )-\ln \left (x^{2}+8 x +16\right ) x +2 x\)	\(36\)
risch	\(8 \ln \relax (3) \ln \left (4+x \right )+x^{2}+8 i \pi \ln \left (4+x \right )-\ln \left (x^{2}+8 x +16\right ) x +2 x\)	\(36\)
norman	\(x^{2}+\left (4 i \pi +4 \ln \relax (3)\right ) \ln \left (x^{2}+8 x +16\right )+2 x -\ln \left (x^{2}+8 x +16\right ) x\)	\(39\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(((-x-4)*ln(x^2+8*x+16)+8*ln(3)+8*I*Pi+2*x^2+8*x+8)/(4+x),x,method=_RETURNVERBOSE)

[Out]

8*ln(3)*ln(4+x)+x^2+8*I*Pi*ln(4+x)-ln(x^2+8*x+16)*x+2*x

________________________________________________________________________________________

maxima [B]  time = 0.35, size = 49, normalized size = 1.69 \begin {gather*} x^{2} - {\left (x - 4 \, \log \left (x + 4\right )\right )} \log \left (x^{2} + 8 \, x + 16\right ) + 8 i \, \pi \log \left (x + 4\right ) + 8 \, \log \relax (3) \log \left (x + 4\right ) - 8 \, \log \left (x + 4\right )^{2} + 2 \, x \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

x^2 - (x - 4*log(x + 4))*log(x^2 + 8*x + 16) + 8*I*pi*log(x + 4) + 8*log(3)*log(x + 4) - 8*log(x + 4)^2 + 2*x

________________________________________________________________________________________

mupad [B]  time = 0.28, size = 36, normalized size = 1.24 \begin {gather*} 2\,x+4\,\ln \relax (3)\,\ln \left ({\left (x+4\right )}^2\right )-x\,\ln \left ({\left (x+4\right )}^2\right )+x^2+\Pi \,\ln \left ({\left (x+4\right )}^2\right )\,4{}\mathrm {i} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

2*x + Pi*log((x + 4)^2)*4i + 4*log(3)*log((x + 4)^2) - x*log((x + 4)^2) + x^2

________________________________________________________________________________________

sympy [A]  time = 0.29, size = 31, normalized size = 1.07 \begin {gather*} x^{2} - x \log {\left (x^{2} + 8 x + 16 \right )} + 2 x + 8 \left (\log {\relax (3 )} + i \pi \right ) \log {\left (x + 4 \right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((-x-4)*ln(x**2+8*x+16)+8*ln(3)+8*I*pi+2*x**2+8*x+8)/(4+x),x)

[Out]

x**2 - x*log(x**2 + 8*x + 16) + 2*x + 8*(log(3) + I*pi)*log(x + 4)

________________________________________________________________________________________