3.85.37 $\int (7-6\log (4))dx$

Optimal. Leaf size=11 $$x+6(x-x\log (4))$$

________________________________________________________________________________________

Rubi [A]  time = 0.00, antiderivative size = 8, normalized size of antiderivative = 0.73, 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{array}{c}x(7-6\log (4))\end{array}$$

Antiderivative was successfully verified.

[In]

Int[7 - 6*Log[4],x]

[Out]

x*(7 - 6*Log[4])

Rule 8

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

Rubi steps

$$\begin{array}{c}\begin{array}{rl}\text{integral}& =x(7-6\log (4))\end{array}\end{array}$$

________________________________________________________________________________________

Mathematica [A]  time = 0.00, size = 9, normalized size = 0.82 $$\begin{array}{c}7x-6x\log (4)\end{array}$$

Antiderivative was successfully verified.

[In]

Integrate[7 - 6*Log[4],x]

[Out]

7*x - 6*x*Log[4]

________________________________________________________________________________________

fricas [A]  time = 0.90, size = 9, normalized size = 0.82 $$\begin{array}{c}-12x\log (2)+7x\end{array}$$

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(-12*log(2)+7,x, algorithm="fricas")

[Out]

-12*x*log(2) + 7*x

________________________________________________________________________________________

giac [A]  time = 0.20, size = 9, normalized size = 0.82 $$\begin{array}{c}-x(12\log (2)-7)\end{array}$$

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(-12*log(2)+7,x, algorithm="giac")

[Out]

-x*(12*log(2) - 7)

________________________________________________________________________________________

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

method	result	size
default	$(-12\ln (2)+7)x$	$9$
norman	$(-12\ln (2)+7)x$	$9$
risch	$7x-12x\ln (2)$	$10$

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(-12*ln(2)+7,x,method=_RETURNVERBOSE)

[Out]

(-12*ln(2)+7)*x

________________________________________________________________________________________

maxima [A]  time = 0.36, size = 9, normalized size = 0.82 $$\begin{array}{c}-x(12\log (2)-7)\end{array}$$

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(-12*log(2)+7,x, algorithm="maxima")

[Out]

-x*(12*log(2) - 7)

________________________________________________________________________________________

mupad [B]  time = 0.00, size = 9, normalized size = 0.82 $$\begin{array}{c}-x(12\ln (2)-7)\end{array}$$

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(7 - 12*log(2),x)

[Out]

-x*(12*log(2) - 7)

________________________________________________________________________________________

sympy [A]  time = 0.05, size = 7, normalized size = 0.64 $$\begin{array}{c}x(7-12\log (2))\end{array}$$

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(-12*ln(2)+7,x)

[Out]

x*(7 - 12*log(2))

________________________________________________________________________________________