3.59.47 \(\int (-5+\log (8)) \, dx\)

Optimal. Leaf size=22 \[ \left (65536 \left (1+\frac {e^{e^{25}}}{3}\right )^8+x\right ) (-5+\log (8)) \]

________________________________________________________________________________________

Rubi [A]  time = 0.00, antiderivative size = 9, normalized size of antiderivative = 0.41, number of steps used = 1, number of rules used = 1, integrand size = 4, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.250, Rules used = {8} \begin {gather*} -x (5-\log (8)) \end {gather*}

Antiderivative was successfully verified.

[In]

Int[-5 + Log[8],x]

[Out]

-(x*(5 - Log[8]))

Rule 8

Int[a_, x_Symbol] :> Simp[a*x, x] /; FreeQ[a, x]

Rubi steps

\begin {gather*} \begin {aligned} \text {integral} &=-x (5-\log (8))\\ \end {aligned} \end {gather*}

________________________________________________________________________________________

Mathematica [A]  time = 0.00, size = 8, normalized size = 0.36 \begin {gather*} -5 x+x \log (8) \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[-5 + Log[8],x]

[Out]

-5*x + x*Log[8]

________________________________________________________________________________________

fricas [A]  time = 0.55, size = 9, normalized size = 0.41 \begin {gather*} 3 \, x \log \relax (2) - 5 \, x \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(3*log(2)-5,x, algorithm="fricas")

[Out]

3*x*log(2) - 5*x

________________________________________________________________________________________

giac [A]  time = 0.17, size = 8, normalized size = 0.36 \begin {gather*} x {\left (3 \, \log \relax (2) - 5\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(3*log(2)-5,x, algorithm="giac")

[Out]

x*(3*log(2) - 5)

________________________________________________________________________________________

maple [A]  time = 0.02, size = 9, normalized size = 0.41

method	result	size
default	\(\left (3 \ln \relax (2)-5\right ) x\)	\(9\)
norman	\(\left (3 \ln \relax (2)-5\right ) x\)	\(9\)
risch	\(3 x \ln \relax (2)-5 x\)	\(10\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(3*ln(2)-5,x,method=_RETURNVERBOSE)

[Out]

(3*ln(2)-5)*x

________________________________________________________________________________________

maxima [A]  time = 0.35, size = 8, normalized size = 0.36 \begin {gather*} x {\left (3 \, \log \relax (2) - 5\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(3*log(2)-5,x, algorithm="maxima")

[Out]

x*(3*log(2) - 5)

________________________________________________________________________________________

mupad [B]  time = 0.00, size = 8, normalized size = 0.36 \begin {gather*} x\,\left (3\,\ln \relax (2)-5\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(3*log(2) - 5,x)

[Out]

x*(3*log(2) - 5)

________________________________________________________________________________________

sympy [A]  time = 0.04, size = 7, normalized size = 0.32 \begin {gather*} x \left (-5 + 3 \log {\relax (2 )}\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(3*ln(2)-5,x)

[Out]

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

________________________________________________________________________________________