\(\int \frac {9+3 \log (4)}{(144+24 x+x^2) \log (2)+(120+10 x) \log (2) \log (4)+25 \log (2) \log ^2(4)} \, dx\) [1068]

   Optimal result
   Rubi [A] (verified)
   Mathematica [A] (verified)
   Maple [A] (verified)
   Fricas [A] (verification not implemented)
   Sympy [A] (verification not implemented)
   Maxima [A] (verification not implemented)
   Giac [A] (verification not implemented)
   Mupad [B] (verification not implemented)

Optimal result

Integrand size = 39, antiderivative size = 25 \[ \int \frac {9+3 \log (4)}{\left (144+24 x+x^2\right ) \log (2)+(120+10 x) \log (2) \log (4)+25 \log (2) \log ^2(4)} \, dx=1-\frac {15}{\log (2) \left (25-\frac {5 (3-x)}{3+\log (4)}\right )} \]

[Out]

1-15/ln(2)/(25-5*(-x+3)/(2*ln(2)+3))

Rubi [A] (verified)

Time = 0.01 (sec) , antiderivative size = 19, normalized size of antiderivative = 0.76, number of steps used = 5, number of rules used = 4, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.103, Rules used = {12, 2006, 27, 32} \[ \int \frac {9+3 \log (4)}{\left (144+24 x+x^2\right ) \log (2)+(120+10 x) \log (2) \log (4)+25 \log (2) \log ^2(4)} \, dx=-\frac {3 (3+\log (4))}{\log (2) (x+12+5 \log (4))} \]

[In]

Int[(9 + 3*Log[4])/((144 + 24*x + x^2)*Log[2] + (120 + 10*x)*Log[2]*Log[4] + 25*Log[2]*Log[4]^2),x]

[Out]

(-3*(3 + Log[4]))/(Log[2]*(12 + x + 5*Log[4]))

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 32

Int[((a_.) + (b_.)*(x_))^(m_), x_Symbol] :> Simp[(a + b*x)^(m + 1)/(b*(m + 1)), x] /; FreeQ[{a, b, m}, x] && N
eQ[m, -1]

Rule 2006

Int[(u_)^(p_), x_Symbol] :> Int[ExpandToSum[u, x]^p, x] /; FreeQ[p, x] && QuadraticQ[u, x] &&  !QuadraticMatch
Q[u, x]

Rubi steps \begin{align*} \text {integral}& = (9+3 \log (4)) \int \frac {1}{\left (144+24 x+x^2\right ) \log (2)+(120+10 x) \log (2) \log (4)+25 \log (2) \log ^2(4)} \, dx \\ & = (9+3 \log (4)) \int \frac {1}{x^2 \log (2)+2 x \log (2) (12+5 \log (4))+\log (2) (12+5 \log (4))^2} \, dx \\ & = (9+3 \log (4)) \int \frac {1}{\log (2) (12+x+5 \log (4))^2} \, dx \\ & = \frac {(9+3 \log (4)) \int \frac {1}{(12+x+5 \log (4))^2} \, dx}{\log (2)} \\ & = -\frac {3 (3+\log (4))}{\log (2) (12+x+5 \log (4))} \\ \end{align*}

Mathematica [A] (verified)

Time = 0.01 (sec) , antiderivative size = 19, normalized size of antiderivative = 0.76 \[ \int \frac {9+3 \log (4)}{\left (144+24 x+x^2\right ) \log (2)+(120+10 x) \log (2) \log (4)+25 \log (2) \log ^2(4)} \, dx=-\frac {3 (3+\log (4))}{\log (2) (12+x+5 \log (4))} \]

[In]

Integrate[(9 + 3*Log[4])/((144 + 24*x + x^2)*Log[2] + (120 + 10*x)*Log[2]*Log[4] + 25*Log[2]*Log[4]^2),x]

[Out]

(-3*(3 + Log[4]))/(Log[2]*(12 + x + 5*Log[4]))

Maple [A] (verified)

Time = 0.15 (sec) , antiderivative size = 22, normalized size of antiderivative = 0.88

method result size
gosper \(-\frac {3 \left (2 \ln \left (2\right )+3\right )}{\ln \left (2\right ) \left (10 \ln \left (2\right )+x +12\right )}\) \(22\)
default \(-\frac {6 \ln \left (2\right )+9}{\ln \left (2\right ) \left (10 \ln \left (2\right )+x +12\right )}\) \(22\)
norman \(-\frac {3 \left (2 \ln \left (2\right )+3\right )}{\ln \left (2\right ) \left (10 \ln \left (2\right )+x +12\right )}\) \(22\)
parallelrisch \(-\frac {6 \ln \left (2\right )+9}{\ln \left (2\right ) \left (10 \ln \left (2\right )+x +12\right )}\) \(22\)
risch \(-\frac {6}{10 \ln \left (2\right )+x +12}-\frac {9}{\ln \left (2\right ) \left (10 \ln \left (2\right )+x +12\right )}\) \(28\)
meijerg \(\frac {3 x}{\left (10 \ln \left (2\right )+12\right ) \left (5 \ln \left (2\right )+6\right ) \left (1+\frac {x}{10 \ln \left (2\right )+12}\right )}+\frac {9 x}{2 \ln \left (2\right ) \left (10 \ln \left (2\right )+12\right ) \left (5 \ln \left (2\right )+6\right ) \left (1+\frac {x}{10 \ln \left (2\right )+12}\right )}\) \(74\)

[In]

int((6*ln(2)+9)/(100*ln(2)^3+2*(10*x+120)*ln(2)^2+(x^2+24*x+144)*ln(2)),x,method=_RETURNVERBOSE)

[Out]

-3*(2*ln(2)+3)/ln(2)/(10*ln(2)+x+12)

Fricas [A] (verification not implemented)

none

Time = 0.25 (sec) , antiderivative size = 23, normalized size of antiderivative = 0.92 \[ \int \frac {9+3 \log (4)}{\left (144+24 x+x^2\right ) \log (2)+(120+10 x) \log (2) \log (4)+25 \log (2) \log ^2(4)} \, dx=-\frac {3 \, {\left (2 \, \log \left (2\right ) + 3\right )}}{{\left (x + 12\right )} \log \left (2\right ) + 10 \, \log \left (2\right )^{2}} \]

[In]

integrate((6*log(2)+9)/(100*log(2)^3+2*(10*x+120)*log(2)^2+(x^2+24*x+144)*log(2)),x, algorithm="fricas")

[Out]

-3*(2*log(2) + 3)/((x + 12)*log(2) + 10*log(2)^2)

Sympy [A] (verification not implemented)

Time = 0.10 (sec) , antiderivative size = 24, normalized size of antiderivative = 0.96 \[ \int \frac {9+3 \log (4)}{\left (144+24 x+x^2\right ) \log (2)+(120+10 x) \log (2) \log (4)+25 \log (2) \log ^2(4)} \, dx=- \frac {6 \log {\left (2 \right )} + 9}{x \log {\left (2 \right )} + 10 \log {\left (2 \right )}^{2} + 12 \log {\left (2 \right )}} \]

[In]

integrate((6*ln(2)+9)/(100*ln(2)**3+2*(10*x+120)*ln(2)**2+(x**2+24*x+144)*ln(2)),x)

[Out]

-(6*log(2) + 9)/(x*log(2) + 10*log(2)**2 + 12*log(2))

Maxima [A] (verification not implemented)

none

Time = 0.18 (sec) , antiderivative size = 25, normalized size of antiderivative = 1.00 \[ \int \frac {9+3 \log (4)}{\left (144+24 x+x^2\right ) \log (2)+(120+10 x) \log (2) \log (4)+25 \log (2) \log ^2(4)} \, dx=-\frac {3 \, {\left (2 \, \log \left (2\right ) + 3\right )}}{x \log \left (2\right ) + 10 \, \log \left (2\right )^{2} + 12 \, \log \left (2\right )} \]

[In]

integrate((6*log(2)+9)/(100*log(2)^3+2*(10*x+120)*log(2)^2+(x^2+24*x+144)*log(2)),x, algorithm="maxima")

[Out]

-3*(2*log(2) + 3)/(x*log(2) + 10*log(2)^2 + 12*log(2))

Giac [A] (verification not implemented)

none

Time = 0.26 (sec) , antiderivative size = 21, normalized size of antiderivative = 0.84 \[ \int \frac {9+3 \log (4)}{\left (144+24 x+x^2\right ) \log (2)+(120+10 x) \log (2) \log (4)+25 \log (2) \log ^2(4)} \, dx=-\frac {3 \, {\left (2 \, \log \left (2\right ) + 3\right )}}{{\left (x + 10 \, \log \left (2\right ) + 12\right )} \log \left (2\right )} \]

[In]

integrate((6*log(2)+9)/(100*log(2)^3+2*(10*x+120)*log(2)^2+(x^2+24*x+144)*log(2)),x, algorithm="giac")

[Out]

-3*(2*log(2) + 3)/((x + 10*log(2) + 12)*log(2))

Mupad [B] (verification not implemented)

Time = 0.10 (sec) , antiderivative size = 19, normalized size of antiderivative = 0.76 \[ \int \frac {9+3 \log (4)}{\left (144+24 x+x^2\right ) \log (2)+(120+10 x) \log (2) \log (4)+25 \log (2) \log ^2(4)} \, dx=-\frac {\ln \left (64\right )+9}{\ln \left (2\right )\,\left (x+10\,\ln \left (2\right )+12\right )} \]

[In]

int((6*log(2) + 9)/(2*log(2)^2*(10*x + 120) + 100*log(2)^3 + log(2)*(24*x + x^2 + 144)),x)

[Out]

-(log(64) + 9)/(log(2)*(x + 10*log(2) + 12))