3.10.72 \(\int \frac {78+24 x+6 e^5 x \log (x)+(-12+24 x+e^5 (-3+6 x)+e^5 (-3+6 x) \log (x)) \log ((-1+2 x) \log (2))}{(-169+234 x+192 x^2+32 x^3+e^5 (-26 x+44 x^2+16 x^3) \log (x)+e^{10} (-x^2+2 x^3) \log ^2(x)) \log ^2((-1+2 x) \log (2))} \, dx\)

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

________________________________________________________________________________________

Rubi [F]  time = 6.15, antiderivative size = 0, normalized size of antiderivative = 0.00, number of steps used = 0, number of rules used = 0, integrand size = 0, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.000, Rules used = {} \begin {gather*} \int \frac {78+24 x+6 e^5 x \log (x)+\left (-12+24 x+e^5 (-3+6 x)+e^5 (-3+6 x) \log (x)\right ) \log ((-1+2 x) \log (2))}{\left (-169+234 x+192 x^2+32 x^3+e^5 \left (-26 x+44 x^2+16 x^3\right ) \log (x)+e^{10} \left (-x^2+2 x^3\right ) \log ^2(x)\right ) \log ^2((-1+2 x) \log (2))} \, dx \end {gather*}

Verification is not applicable to the result.

[In]

Int[(78 + 24*x + 6*E^5*x*Log[x] + (-12 + 24*x + E^5*(-3 + 6*x) + E^5*(-3 + 6*x)*Log[x])*Log[(-1 + 2*x)*Log[2]]
)/((-169 + 234*x + 192*x^2 + 32*x^3 + E^5*(-26*x + 44*x^2 + 16*x^3)*Log[x] + E^10*(-x^2 + 2*x^3)*Log[x]^2)*Log
[(-1 + 2*x)*Log[2]]^2),x]

[Out]

12*Defer[Int][1/((13 + 4*x + E^5*x*Log[x])^2*Log[-Log[2] + 2*x*Log[2]]^2), x] + 90*Defer[Int][1/((-1 + 2*x)*(1
3 + 4*x + E^5*x*Log[x])^2*Log[-Log[2] + 2*x*Log[2]]^2), x] + 3*E^5*Defer[Int][Log[x]/((13 + 4*x + E^5*x*Log[x]
)^2*Log[-Log[2] + 2*x*Log[2]]^2), x] + 3*E^5*Defer[Int][Log[x]/((-1 + 2*x)*(13 + 4*x + E^5*x*Log[x])^2*Log[-Lo
g[2] + 2*x*Log[2]]^2), x] + 3*(4 + E^5)*Defer[Int][1/((13 + 4*x + E^5*x*Log[x])^2*Log[-Log[2] + 2*x*Log[2]]),
x] + 3*(4 + E^5)*Defer[Int][1/((1 - 2*x)*(13 + 4*x + E^5*x*Log[x])^2*Log[-Log[2] + 2*x*Log[2]]), x] + 3*(4 + E
^5)*Defer[Int][1/((-1 + 2*x)*(13 + 4*x + E^5*x*Log[x])^2*Log[-Log[2] + 2*x*Log[2]]), x] + 3*E^5*Defer[Int][Log
[x]/((13 + 4*x + E^5*x*Log[x])^2*Log[-Log[2] + 2*x*Log[2]]), x] + 3*E^5*Defer[Int][Log[x]/((1 - 2*x)*(13 + 4*x
+ E^5*x*Log[x])^2*Log[-Log[2] + 2*x*Log[2]]), x] + 3*E^5*Defer[Int][Log[x]/((-1 + 2*x)*(13 + 4*x + E^5*x*Log[
x])^2*Log[-Log[2] + 2*x*Log[2]]), x]

Rubi steps

\begin {gather*} \begin {aligned} \text {integral} &=\int \frac {-78-24 x-6 e^5 x \log (x)-\left (-12+24 x+e^5 (-3+6 x)+e^5 (-3+6 x) \log (x)\right ) \log ((-1+2 x) \log (2))}{(1-2 x) \left (13+4 x+e^5 x \log (x)\right )^2 \log ^2(-\log (2)+2 x \log (2))} \, dx\\ &=\int \left (\frac {78}{(-1+2 x) \left (13+4 x+e^5 x \log (x)\right )^2 \log ^2(-\log (2)+2 x \log (2))}+\frac {24 x}{(-1+2 x) \left (13+4 x+e^5 x \log (x)\right )^2 \log ^2(-\log (2)+2 x \log (2))}+\frac {6 e^5 x \log (x)}{(-1+2 x) \left (13+4 x+e^5 x \log (x)\right )^2 \log ^2(-\log (2)+2 x \log (2))}+\frac {12 \left (1+\frac {e^5}{4}\right )}{(1-2 x) \left (13+4 x+e^5 x \log (x)\right )^2 \log (-\log (2)+2 x \log (2))}+\frac {24 \left (1+\frac {e^5}{4}\right ) x}{(-1+2 x) \left (13+4 x+e^5 x \log (x)\right )^2 \log (-\log (2)+2 x \log (2))}+\frac {3 e^5 \log (x)}{(1-2 x) \left (13+4 x+e^5 x \log (x)\right )^2 \log (-\log (2)+2 x \log (2))}+\frac {6 e^5 x \log (x)}{(-1+2 x) \left (13+4 x+e^5 x \log (x)\right )^2 \log (-\log (2)+2 x \log (2))}\right ) \, dx\\ &=24 \int \frac {x}{(-1+2 x) \left (13+4 x+e^5 x \log (x)\right )^2 \log ^2(-\log (2)+2 x \log (2))} \, dx+78 \int \frac {1}{(-1+2 x) \left (13+4 x+e^5 x \log (x)\right )^2 \log ^2(-\log (2)+2 x \log (2))} \, dx+\left (3 e^5\right ) \int \frac {\log (x)}{(1-2 x) \left (13+4 x+e^5 x \log (x)\right )^2 \log (-\log (2)+2 x \log (2))} \, dx+\left (6 e^5\right ) \int \frac {x \log (x)}{(-1+2 x) \left (13+4 x+e^5 x \log (x)\right )^2 \log ^2(-\log (2)+2 x \log (2))} \, dx+\left (6 e^5\right ) \int \frac {x \log (x)}{(-1+2 x) \left (13+4 x+e^5 x \log (x)\right )^2 \log (-\log (2)+2 x \log (2))} \, dx+\left (3 \left (4+e^5\right )\right ) \int \frac {1}{(1-2 x) \left (13+4 x+e^5 x \log (x)\right )^2 \log (-\log (2)+2 x \log (2))} \, dx+\left (6 \left (4+e^5\right )\right ) \int \frac {x}{(-1+2 x) \left (13+4 x+e^5 x \log (x)\right )^2 \log (-\log (2)+2 x \log (2))} \, dx\\ &=24 \int \left (\frac {1}{2 \left (13+4 x+e^5 x \log (x)\right )^2 \log ^2(-\log (2)+2 x \log (2))}+\frac {1}{2 (-1+2 x) \left (13+4 x+e^5 x \log (x)\right )^2 \log ^2(-\log (2)+2 x \log (2))}\right ) \, dx+78 \int \frac {1}{(-1+2 x) \left (13+4 x+e^5 x \log (x)\right )^2 \log ^2(-\log (2)+2 x \log (2))} \, dx+\left (3 e^5\right ) \int \frac {\log (x)}{(1-2 x) \left (13+4 x+e^5 x \log (x)\right )^2 \log (-\log (2)+2 x \log (2))} \, dx+\left (6 e^5\right ) \int \left (\frac {\log (x)}{2 \left (13+4 x+e^5 x \log (x)\right )^2 \log ^2(-\log (2)+2 x \log (2))}+\frac {\log (x)}{2 (-1+2 x) \left (13+4 x+e^5 x \log (x)\right )^2 \log ^2(-\log (2)+2 x \log (2))}\right ) \, dx+\left (6 e^5\right ) \int \left (\frac {\log (x)}{2 \left (13+4 x+e^5 x \log (x)\right )^2 \log (-\log (2)+2 x \log (2))}+\frac {\log (x)}{2 (-1+2 x) \left (13+4 x+e^5 x \log (x)\right )^2 \log (-\log (2)+2 x \log (2))}\right ) \, dx+\left (3 \left (4+e^5\right )\right ) \int \frac {1}{(1-2 x) \left (13+4 x+e^5 x \log (x)\right )^2 \log (-\log (2)+2 x \log (2))} \, dx+\left (6 \left (4+e^5\right )\right ) \int \left (\frac {1}{2 \left (13+4 x+e^5 x \log (x)\right )^2 \log (-\log (2)+2 x \log (2))}+\frac {1}{2 (-1+2 x) \left (13+4 x+e^5 x \log (x)\right )^2 \log (-\log (2)+2 x \log (2))}\right ) \, dx\\ &=12 \int \frac {1}{\left (13+4 x+e^5 x \log (x)\right )^2 \log ^2(-\log (2)+2 x \log (2))} \, dx+12 \int \frac {1}{(-1+2 x) \left (13+4 x+e^5 x \log (x)\right )^2 \log ^2(-\log (2)+2 x \log (2))} \, dx+78 \int \frac {1}{(-1+2 x) \left (13+4 x+e^5 x \log (x)\right )^2 \log ^2(-\log (2)+2 x \log (2))} \, dx+\left (3 e^5\right ) \int \frac {\log (x)}{\left (13+4 x+e^5 x \log (x)\right )^2 \log ^2(-\log (2)+2 x \log (2))} \, dx+\left (3 e^5\right ) \int \frac {\log (x)}{(-1+2 x) \left (13+4 x+e^5 x \log (x)\right )^2 \log ^2(-\log (2)+2 x \log (2))} \, dx+\left (3 e^5\right ) \int \frac {\log (x)}{\left (13+4 x+e^5 x \log (x)\right )^2 \log (-\log (2)+2 x \log (2))} \, dx+\left (3 e^5\right ) \int \frac {\log (x)}{(1-2 x) \left (13+4 x+e^5 x \log (x)\right )^2 \log (-\log (2)+2 x \log (2))} \, dx+\left (3 e^5\right ) \int \frac {\log (x)}{(-1+2 x) \left (13+4 x+e^5 x \log (x)\right )^2 \log (-\log (2)+2 x \log (2))} \, dx+\left (3 \left (4+e^5\right )\right ) \int \frac {1}{\left (13+4 x+e^5 x \log (x)\right )^2 \log (-\log (2)+2 x \log (2))} \, dx+\left (3 \left (4+e^5\right )\right ) \int \frac {1}{(1-2 x) \left (13+4 x+e^5 x \log (x)\right )^2 \log (-\log (2)+2 x \log (2))} \, dx+\left (3 \left (4+e^5\right )\right ) \int \frac {1}{(-1+2 x) \left (13+4 x+e^5 x \log (x)\right )^2 \log (-\log (2)+2 x \log (2))} \, dx\\ \end {aligned} \end {gather*}

________________________________________________________________________________________

Mathematica [A]  time = 0.05, size = 28, normalized size = 1.00 \begin {gather*} \frac {3}{\left (-13-4 x-e^5 x \log (x)\right ) \log ((-1+2 x) \log (2))} \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[(78 + 24*x + 6*E^5*x*Log[x] + (-12 + 24*x + E^5*(-3 + 6*x) + E^5*(-3 + 6*x)*Log[x])*Log[(-1 + 2*x)*L
og[2]])/((-169 + 234*x + 192*x^2 + 32*x^3 + E^5*(-26*x + 44*x^2 + 16*x^3)*Log[x] + E^10*(-x^2 + 2*x^3)*Log[x]^
2)*Log[(-1 + 2*x)*Log[2]]^2),x]

[Out]

3/((-13 - 4*x - E^5*x*Log[x])*Log[(-1 + 2*x)*Log[2]])

________________________________________________________________________________________

fricas [A]  time = 0.92, size = 26, normalized size = 0.93 \begin {gather*} -\frac {3}{{\left (x e^{5} \log \relax (x) + 4 \, x + 13\right )} \log \left ({\left (2 \, x - 1\right )} \log \relax (2)\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((6*x-3)*exp(5)*log(x)+(6*x-3)*exp(5)+24*x-12)*log((2*x-1)*log(2))+6*x*exp(5)*log(x)+24*x+78)/((2*x
^3-x^2)*exp(5)^2*log(x)^2+(16*x^3+44*x^2-26*x)*exp(5)*log(x)+32*x^3+192*x^2+234*x-169)/log((2*x-1)*log(2))^2,x
, algorithm="fricas")

[Out]

-3/((x*e^5*log(x) + 4*x + 13)*log((2*x - 1)*log(2)))

________________________________________________________________________________________

giac [A]  time = 0.49, size = 49, normalized size = 1.75 \begin {gather*} -\frac {3}{x e^{5} \log \left (2 \, x \log \relax (2) - \log \relax (2)\right ) \log \relax (x) + 4 \, x \log \left (2 \, x \log \relax (2) - \log \relax (2)\right ) + 13 \, \log \left (2 \, x \log \relax (2) - \log \relax (2)\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((6*x-3)*exp(5)*log(x)+(6*x-3)*exp(5)+24*x-12)*log((2*x-1)*log(2))+6*x*exp(5)*log(x)+24*x+78)/((2*x
^3-x^2)*exp(5)^2*log(x)^2+(16*x^3+44*x^2-26*x)*exp(5)*log(x)+32*x^3+192*x^2+234*x-169)/log((2*x-1)*log(2))^2,x
, algorithm="giac")

[Out]

-3/(x*e^5*log(2*x*log(2) - log(2))*log(x) + 4*x*log(2*x*log(2) - log(2)) + 13*log(2*x*log(2) - log(2)))

________________________________________________________________________________________

maple [A]  time = 0.04, size = 27, normalized size = 0.96

method	result	size
risch	\(-\frac {3}{\left (x \,{\mathrm e}^{5} \ln \relax (x )+4 x +13\right ) \ln \left (\left (2 x -1\right ) \ln \relax (2)\right )}\)	\(27\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((((6*x-3)*exp(5)*ln(x)+(6*x-3)*exp(5)+24*x-12)*ln((2*x-1)*ln(2))+6*x*exp(5)*ln(x)+24*x+78)/((2*x^3-x^2)*ex
p(5)^2*ln(x)^2+(16*x^3+44*x^2-26*x)*exp(5)*ln(x)+32*x^3+192*x^2+234*x-169)/ln((2*x-1)*ln(2))^2,x,method=_RETUR
NVERBOSE)

[Out]

-3/(x*exp(5)*ln(x)+4*x+13)/ln((2*x-1)*ln(2))

________________________________________________________________________________________

maxima [A]  time = 0.59, size = 43, normalized size = 1.54 \begin {gather*} -\frac {3}{x e^{5} \log \relax (x) \log \left (\log \relax (2)\right ) + {\left (x e^{5} \log \relax (x) + 4 \, x + 13\right )} \log \left (2 \, x - 1\right ) + 4 \, x \log \left (\log \relax (2)\right ) + 13 \, \log \left (\log \relax (2)\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((6*x-3)*exp(5)*log(x)+(6*x-3)*exp(5)+24*x-12)*log((2*x-1)*log(2))+6*x*exp(5)*log(x)+24*x+78)/((2*x
^3-x^2)*exp(5)^2*log(x)^2+(16*x^3+44*x^2-26*x)*exp(5)*log(x)+32*x^3+192*x^2+234*x-169)/log((2*x-1)*log(2))^2,x
, algorithm="maxima")

[Out]

-3/(x*e^5*log(x)*log(log(2)) + (x*e^5*log(x) + 4*x + 13)*log(2*x - 1) + 4*x*log(log(2)) + 13*log(log(2)))

________________________________________________________________________________________

mupad [F]  time = 0.00, size = -1, normalized size = -0.04 \begin {gather*} \int \frac {24\,x+\ln \left (\ln \relax (2)\,\left (2\,x-1\right )\right )\,\left (24\,x+{\mathrm {e}}^5\,\left (6\,x-3\right )+{\mathrm {e}}^5\,\ln \relax (x)\,\left (6\,x-3\right )-12\right )+6\,x\,{\mathrm {e}}^5\,\ln \relax (x)+78}{{\ln \left (\ln \relax (2)\,\left (2\,x-1\right )\right )}^2\,\left (234\,x+192\,x^2+32\,x^3+{\mathrm {e}}^5\,\ln \relax (x)\,\left (16\,x^3+44\,x^2-26\,x\right )-{\mathrm {e}}^{10}\,{\ln \relax (x)}^2\,\left (x^2-2\,x^3\right )-169\right )} \,d x \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((24*x + log(log(2)*(2*x - 1))*(24*x + exp(5)*(6*x - 3) + exp(5)*log(x)*(6*x - 3) - 12) + 6*x*exp(5)*log(x)
+ 78)/(log(log(2)*(2*x - 1))^2*(234*x + 192*x^2 + 32*x^3 + exp(5)*log(x)*(44*x^2 - 26*x + 16*x^3) - exp(10)*l
og(x)^2*(x^2 - 2*x^3) - 169)),x)

[Out]

int((24*x + log(log(2)*(2*x - 1))*(24*x + exp(5)*(6*x - 3) + exp(5)*log(x)*(6*x - 3) - 12) + 6*x*exp(5)*log(x)
+ 78)/(log(log(2)*(2*x - 1))^2*(234*x + 192*x^2 + 32*x^3 + exp(5)*log(x)*(44*x^2 - 26*x + 16*x^3) - exp(10)*l
og(x)^2*(x^2 - 2*x^3) - 169)), x)

________________________________________________________________________________________

sympy [A]  time = 0.38, size = 26, normalized size = 0.93 \begin {gather*} - \frac {3}{\left (x e^{5} \log {\relax (x )} + 4 x + 13\right ) \log {\left (\left (2 x - 1\right ) \log {\relax (2 )} \right )}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((6*x-3)*exp(5)*ln(x)+(6*x-3)*exp(5)+24*x-12)*ln((2*x-1)*ln(2))+6*x*exp(5)*ln(x)+24*x+78)/((2*x**3-
x**2)*exp(5)**2*ln(x)**2+(16*x**3+44*x**2-26*x)*exp(5)*ln(x)+32*x**3+192*x**2+234*x-169)/ln((2*x-1)*ln(2))**2,
x)

[Out]

-3/((x*exp(5)*log(x) + 4*x + 13)*log((2*x - 1)*log(2)))

________________________________________________________________________________________