3.36.32 \(\int \frac {1}{5+\log (5)} \, dx\)

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

________________________________________________________________________________________

Rubi [A]  time = 0.00, antiderivative size = 8, normalized size of antiderivative = 0.30, number of steps used = 1, number of rules used = 1, integrand size = 6, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.167, Rules used = {8} \begin {gather*} \frac {x}{5+\log (5)} \end {gather*}

Antiderivative was successfully verified.

[In]

Int[(5 + Log[5])^(-1),x]

[Out]

x/(5 + Log[5])

Rule 8

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

Rubi steps

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

________________________________________________________________________________________

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

Antiderivative was successfully verified.

[In]

Integrate[(5 + Log[5])^(-1),x]

[Out]

x/(5 + Log[5])

________________________________________________________________________________________

fricas [A]  time = 0.83, size = 8, normalized size = 0.30 \begin {gather*} \frac {x}{\log \relax (5) + 5} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(1/(5+log(5)),x, algorithm="fricas")

[Out]

x/(log(5) + 5)

________________________________________________________________________________________

giac [A]  time = 0.14, size = 8, normalized size = 0.30 \begin {gather*} \frac {x}{\log \relax (5) + 5} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(1/(5+log(5)),x, algorithm="giac")

[Out]

x/(log(5) + 5)

________________________________________________________________________________________

maple [A]  time = 0.01, size = 9, normalized size = 0.33

method	result	size
default	\(\frac {x}{5+\ln \relax (5)}\)	\(9\)
norman	\(\frac {x}{5+\ln \relax (5)}\)	\(9\)
risch	\(\frac {x}{5+\ln \relax (5)}\)	\(9\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(1/(5+ln(5)),x,method=_RETURNVERBOSE)

[Out]

x/(5+ln(5))

________________________________________________________________________________________

maxima [A]  time = 0.58, size = 8, normalized size = 0.30 \begin {gather*} \frac {x}{\log \relax (5) + 5} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(1/(5+log(5)),x, algorithm="maxima")

[Out]

x/(log(5) + 5)

________________________________________________________________________________________

mupad [B]  time = 0.00, size = 8, normalized size = 0.30 \begin {gather*} \frac {x}{\ln \relax (5)+5} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(1/(log(5) + 5),x)

[Out]

x/(log(5) + 5)

________________________________________________________________________________________

sympy [A]  time = 0.05, size = 5, normalized size = 0.19 \begin {gather*} \frac {x}{\log {\relax (5 )} + 5} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(1/(5+ln(5)),x)

[Out]

x/(log(5) + 5)

________________________________________________________________________________________