\(\int \frac {(-6 x+3 \log (4)) \log (\frac {x}{2})+(-2 x^2+x \log (4)) \log ^2(\frac {x}{2})+(3 x-3 \log (4)+(-x^2+x \log (4)) \log ^2(\frac {x}{2})) \log (-x^2+x \log (4))}{(-x^2+x \log (4)) \log ^2(\frac {x}{2})} \, dx\) [8168]

Optimal result

Integrand size = 95, antiderivative size = 22 \[ \int \frac {(-6 x+3 \log (4)) \log \left (\frac {x}{2}\right )+\left (-2 x^2+x \log (4)\right ) \log ^2\left (\frac {x}{2}\right )+\left (3 x-3 \log (4)+\left (-x^2+x \log (4)\right ) \log ^2\left (\frac {x}{2}\right )\right ) \log \left (-x^2+x \log (4)\right )}{\left (-x^2+x \log (4)\right ) \log ^2\left (\frac {x}{2}\right )} \, dx=\left (x+\frac {3}{\log \left (\frac {x}{2}\right )}\right ) \log (x (-x+\log (4))) \]

[Out]

ln(x*(2*ln(2)-x))*(3/ln(1/2*x)+x)

Rubi [F]

\[ \int \frac {(-6 x+3 \log (4)) \log \left (\frac {x}{2}\right )+\left (-2 x^2+x \log (4)\right ) \log ^2\left (\frac {x}{2}\right )+\left (3 x-3 \log (4)+\left (-x^2+x \log (4)\right ) \log ^2\left (\frac {x}{2}\right )\right ) \log \left (-x^2+x \log (4)\right )}{\left (-x^2+x \log (4)\right ) \log ^2\left (\frac {x}{2}\right )} \, dx=\int \frac {(-6 x+3 \log (4)) \log \left (\frac {x}{2}\right )+\left (-2 x^2+x \log (4)\right ) \log ^2\left (\frac {x}{2}\right )+\left (3 x-3 \log (4)+\left (-x^2+x \log (4)\right ) \log ^2\left (\frac {x}{2}\right )\right ) \log \left (-x^2+x \log (4)\right )}{\left (-x^2+x \log (4)\right ) \log ^2\left (\frac {x}{2}\right )} \, dx \]

[In]

Int[((-6*x + 3*Log[4])*Log[x/2] + (-2*x^2 + x*Log[4])*Log[x/2]^2 + (3*x - 3*Log[4] + (-x^2 + x*Log[4])*Log[x/2
]^2)*Log[-x^2 + x*Log[4]])/((-x^2 + x*Log[4])*Log[x/2]^2),x]

[Out]

x*Log[-(x*(x - Log[4]))] + 3*Defer[Int][(2*x - Log[4])/(x*(x - Log[4])*Log[x/2]), x] - 3*Defer[Int][Log[x*(-x
+ Log[4])]/(x*Log[x/2]^2), x]

Rubi steps \begin{align*} \text {integral}& = \int \frac {(-6 x+3 \log (4)) \log \left (\frac {x}{2}\right )+\left (-2 x^2+x \log (4)\right ) \log ^2\left (\frac {x}{2}\right )+\left (3 x-3 \log (4)+\left (-x^2+x \log (4)\right ) \log ^2\left (\frac {x}{2}\right )\right ) \log \left (-x^2+x \log (4)\right )}{x (-x+\log (4)) \log ^2\left (\frac {x}{2}\right )} \, dx \\ & = \int \left (\frac {(2 x-\log (4)) \left (3+x \log \left (\frac {x}{2}\right )\right )}{x (x-\log (4)) \log \left (\frac {x}{2}\right )}+\frac {\left (-3+x \log ^2\left (\frac {x}{2}\right )\right ) \log (x (-x+\log (4)))}{x \log ^2\left (\frac {x}{2}\right )}\right ) \, dx \\ & = \int \frac {(2 x-\log (4)) \left (3+x \log \left (\frac {x}{2}\right )\right )}{x (x-\log (4)) \log \left (\frac {x}{2}\right )} \, dx+\int \frac {\left (-3+x \log ^2\left (\frac {x}{2}\right )\right ) \log (x (-x+\log (4)))}{x \log ^2\left (\frac {x}{2}\right )} \, dx \\ & = \int \left (\frac {2 x-\log (4)}{x-\log (4)}+\frac {3 (2 x-\log (4))}{x (x-\log (4)) \log \left (\frac {x}{2}\right )}\right ) \, dx+\int \left (\log (x (-x+\log (4)))-\frac {3 \log (x (-x+\log (4)))}{x \log ^2\left (\frac {x}{2}\right )}\right ) \, dx \\ & = 3 \int \frac {2 x-\log (4)}{x (x-\log (4)) \log \left (\frac {x}{2}\right )} \, dx-3 \int \frac {\log (x (-x+\log (4)))}{x \log ^2\left (\frac {x}{2}\right )} \, dx+\int \frac {2 x-\log (4)}{x-\log (4)} \, dx+\int \log (x (-x+\log (4))) \, dx \\ & = x \log (-x (x-\log (4)))-2 \int 1 \, dx+3 \int \frac {2 x-\log (4)}{x (x-\log (4)) \log \left (\frac {x}{2}\right )} \, dx-3 \int \frac {\log (x (-x+\log (4)))}{x \log ^2\left (\frac {x}{2}\right )} \, dx+\log (4) \int \frac {1}{-x+\log (4)} \, dx+\int \left (2+\frac {\log (4)}{x-\log (4)}\right ) \, dx \\ & = x \log (-x (x-\log (4)))+3 \int \frac {2 x-\log (4)}{x (x-\log (4)) \log \left (\frac {x}{2}\right )} \, dx-3 \int \frac {\log (x (-x+\log (4)))}{x \log ^2\left (\frac {x}{2}\right )} \, dx \\ \end{align*}

Mathematica [A] (verified)

Time = 0.05 (sec) , antiderivative size = 28, normalized size of antiderivative = 1.27 \[ \int \frac {(-6 x+3 \log (4)) \log \left (\frac {x}{2}\right )+\left (-2 x^2+x \log (4)\right ) \log ^2\left (\frac {x}{2}\right )+\left (3 x-3 \log (4)+\left (-x^2+x \log (4)\right ) \log ^2\left (\frac {x}{2}\right )\right ) \log \left (-x^2+x \log (4)\right )}{\left (-x^2+x \log (4)\right ) \log ^2\left (\frac {x}{2}\right )} \, dx=\frac {\left (3+x \log \left (\frac {x}{2}\right )\right ) \log (x (-x+\log (4)))}{\log \left (\frac {x}{2}\right )} \]

[In]

Integrate[((-6*x + 3*Log[4])*Log[x/2] + (-2*x^2 + x*Log[4])*Log[x/2]^2 + (3*x - 3*Log[4] + (-x^2 + x*Log[4])*L
og[x/2]^2)*Log[-x^2 + x*Log[4]])/((-x^2 + x*Log[4])*Log[x/2]^2),x]

[Out]

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

Maple [A] (verified)

Time = 3.56 (sec) , antiderivative size = 39, normalized size of antiderivative = 1.77

method	result	size
parallelrisch	\(\frac {x \ln \left (\frac {x}{2}\right ) \ln \left (x \left (2 \ln \left (2\right )-x \right )\right )+3 \ln \left (x \left (2 \ln \left (2\right )-x \right )\right )}{\ln \left (\frac {x}{2}\right )}\)	\(39\)
risch	\(\frac {\left (-2 i x \ln \left (2\right )+2 i x \ln \left (x \right )+6 i\right ) \ln \left (\ln \left (2\right )-\frac {x}{2}\right )}{-2 i \ln \left (2\right )+2 i \ln \left (x \right )}+\frac {4 x \ln \left (x \right )^{2}-4 x \ln \left (2\right ) \ln \left (x \right )+12 \ln \left (2\right )-2 i \pi \ln \left (2\right ) x \,\operatorname {csgn}\left (i x \right ) \operatorname {csgn}\left (i x \left (\ln \left (2\right )-\frac {x}{2}\right )\right )^{2}-2 i \pi x \,\operatorname {csgn}\left (i x \right ) \operatorname {csgn}\left (i \left (\ln \left (2\right )-\frac {x}{2}\right )\right ) \operatorname {csgn}\left (i x \left (\ln \left (2\right )-\frac {x}{2}\right )\right ) \ln \left (x \right )-6 i \pi \,\operatorname {csgn}\left (i x \right ) \operatorname {csgn}\left (i \left (\ln \left (2\right )-\frac {x}{2}\right )\right ) \operatorname {csgn}\left (i x \left (\ln \left (2\right )-\frac {x}{2}\right )\right )+2 i \pi x \,\operatorname {csgn}\left (i \left (\ln \left (2\right )-\frac {x}{2}\right )\right ) \operatorname {csgn}\left (i x \left (\ln \left (2\right )-\frac {x}{2}\right )\right )^{2} \ln \left (x \right )+2 i \pi x \,\operatorname {csgn}\left (i x \right ) \operatorname {csgn}\left (i x \left (\ln \left (2\right )-\frac {x}{2}\right )\right )^{2} \ln \left (x \right )+2 i \pi \ln \left (2\right ) x \operatorname {csgn}\left (i x \left (\ln \left (2\right )-\frac {x}{2}\right )\right )^{3}-6 i \pi \operatorname {csgn}\left (i x \left (\ln \left (2\right )-\frac {x}{2}\right )\right )^{3}+6 i \pi \,\operatorname {csgn}\left (i x \right ) \operatorname {csgn}\left (i x \left (\ln \left (2\right )-\frac {x}{2}\right )\right )^{2}+6 i \pi \,\operatorname {csgn}\left (i \left (\ln \left (2\right )-\frac {x}{2}\right )\right ) \operatorname {csgn}\left (i x \left (\ln \left (2\right )-\frac {x}{2}\right )\right )^{2}-2 i \pi x \operatorname {csgn}\left (i x \left (\ln \left (2\right )-\frac {x}{2}\right )\right )^{3} \ln \left (x \right )+2 i \pi \ln \left (2\right ) x \,\operatorname {csgn}\left (i x \right ) \operatorname {csgn}\left (i \left (\ln \left (2\right )-\frac {x}{2}\right )\right ) \operatorname {csgn}\left (i x \left (\ln \left (2\right )-\frac {x}{2}\right )\right )-2 i \pi \ln \left (2\right ) x \,\operatorname {csgn}\left (i \left (\ln \left (2\right )-\frac {x}{2}\right )\right ) \operatorname {csgn}\left (i x \left (\ln \left (2\right )-\frac {x}{2}\right )\right )^{2}}{4 \ln \left (x \right )-4 \ln \left (2\right )}\)	\(382\)

[In]

int((((2*x*ln(2)-x^2)*ln(1/2*x)^2-6*ln(2)+3*x)*ln(2*x*ln(2)-x^2)+(2*x*ln(2)-2*x^2)*ln(1/2*x)^2+(6*ln(2)-6*x)*l
n(1/2*x))/(2*x*ln(2)-x^2)/ln(1/2*x)^2,x,method=_RETURNVERBOSE)

[Out]

(x*ln(1/2*x)*ln(x*(2*ln(2)-x))+3*ln(x*(2*ln(2)-x)))/ln(1/2*x)

Fricas [A] (verification not implemented)

none

Time = 0.25 (sec) , antiderivative size = 27, normalized size of antiderivative = 1.23 \[ \int \frac {(-6 x+3 \log (4)) \log \left (\frac {x}{2}\right )+\left (-2 x^2+x \log (4)\right ) \log ^2\left (\frac {x}{2}\right )+\left (3 x-3 \log (4)+\left (-x^2+x \log (4)\right ) \log ^2\left (\frac {x}{2}\right )\right ) \log \left (-x^2+x \log (4)\right )}{\left (-x^2+x \log (4)\right ) \log ^2\left (\frac {x}{2}\right )} \, dx=\frac {{\left (x \log \left (\frac {1}{2} \, x\right ) + 3\right )} \log \left (-x^{2} + 2 \, x \log \left (2\right )\right )}{\log \left (\frac {1}{2} \, x\right )} \]

[In]

integrate((((2*x*log(2)-x^2)*log(1/2*x)^2-6*log(2)+3*x)*log(2*x*log(2)-x^2)+(2*x*log(2)-2*x^2)*log(1/2*x)^2+(6
*log(2)-6*x)*log(1/2*x))/(2*x*log(2)-x^2)/log(1/2*x)^2,x, algorithm="fricas")

[Out]

(x*log(1/2*x) + 3)*log(-x^2 + 2*x*log(2))/log(1/2*x)

Sympy [F(-2)]

Exception generated. \[ \int \frac {(-6 x+3 \log (4)) \log \left (\frac {x}{2}\right )+\left (-2 x^2+x \log (4)\right ) \log ^2\left (\frac {x}{2}\right )+\left (3 x-3 \log (4)+\left (-x^2+x \log (4)\right ) \log ^2\left (\frac {x}{2}\right )\right ) \log \left (-x^2+x \log (4)\right )}{\left (-x^2+x \log (4)\right ) \log ^2\left (\frac {x}{2}\right )} \, dx=\text {Exception raised: TypeError} \]

[In]

integrate((((2*x*ln(2)-x**2)*ln(1/2*x)**2-6*ln(2)+3*x)*ln(2*x*ln(2)-x**2)+(2*x*ln(2)-2*x**2)*ln(1/2*x)**2+(6*l
n(2)-6*x)*ln(1/2*x))/(2*x*ln(2)-x**2)/ln(1/2*x)**2,x)

[Out]

Exception raised: TypeError >> '>' not supported between instances of 'Poly' and 'int'

Maxima [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 49 vs. \(2 (21) = 42\).

Time = 0.32 (sec) , antiderivative size = 49, normalized size of antiderivative = 2.23 \[ \int \frac {(-6 x+3 \log (4)) \log \left (\frac {x}{2}\right )+\left (-2 x^2+x \log (4)\right ) \log ^2\left (\frac {x}{2}\right )+\left (3 x-3 \log (4)+\left (-x^2+x \log (4)\right ) \log ^2\left (\frac {x}{2}\right )\right ) \log \left (-x^2+x \log (4)\right )}{\left (-x^2+x \log (4)\right ) \log ^2\left (\frac {x}{2}\right )} \, dx=\frac {x \log \left (2\right ) \log \left (x\right ) - x \log \left (x\right )^{2} + {\left (x \log \left (2\right ) - x \log \left (x\right ) - 3\right )} \log \left (-x + 2 \, \log \left (2\right )\right ) - 3 \, \log \left (2\right )}{\log \left (2\right ) - \log \left (x\right )} \]

[In]

integrate((((2*x*log(2)-x^2)*log(1/2*x)^2-6*log(2)+3*x)*log(2*x*log(2)-x^2)+(2*x*log(2)-2*x^2)*log(1/2*x)^2+(6
*log(2)-6*x)*log(1/2*x))/(2*x*log(2)-x^2)/log(1/2*x)^2,x, algorithm="maxima")

[Out]

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

Giac [A] (verification not implemented)

none

Time = 0.31 (sec) , antiderivative size = 41, normalized size of antiderivative = 1.86 \[ \int \frac {(-6 x+3 \log (4)) \log \left (\frac {x}{2}\right )+\left (-2 x^2+x \log (4)\right ) \log ^2\left (\frac {x}{2}\right )+\left (3 x-3 \log (4)+\left (-x^2+x \log (4)\right ) \log ^2\left (\frac {x}{2}\right )\right ) \log \left (-x^2+x \log (4)\right )}{\left (-x^2+x \log (4)\right ) \log ^2\left (\frac {x}{2}\right )} \, dx=x \log \left (x\right ) + {\left (x - \frac {3}{\log \left (2\right ) - \log \left (x\right )}\right )} \log \left (-x + 2 \, \log \left (2\right )\right ) - \frac {3 \, \log \left (2\right )}{\log \left (2\right ) - \log \left (x\right )} \]

[In]

integrate((((2*x*log(2)-x^2)*log(1/2*x)^2-6*log(2)+3*x)*log(2*x*log(2)-x^2)+(2*x*log(2)-2*x^2)*log(1/2*x)^2+(6
*log(2)-6*x)*log(1/2*x))/(2*x*log(2)-x^2)/log(1/2*x)^2,x, algorithm="giac")

[Out]

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

Mupad [F(-1)]

Timed out. \[ \int \frac {(-6 x+3 \log (4)) \log \left (\frac {x}{2}\right )+\left (-2 x^2+x \log (4)\right ) \log ^2\left (\frac {x}{2}\right )+\left (3 x-3 \log (4)+\left (-x^2+x \log (4)\right ) \log ^2\left (\frac {x}{2}\right )\right ) \log \left (-x^2+x \log (4)\right )}{\left (-x^2+x \log (4)\right ) \log ^2\left (\frac {x}{2}\right )} \, dx=\int \frac {\ln \left (2\,x\,\ln \left (2\right )-x^2\right )\,\left (\left (2\,x\,\ln \left (2\right )-x^2\right )\,{\ln \left (\frac {x}{2}\right )}^2+3\,x-6\,\ln \left (2\right )\right )-\ln \left (\frac {x}{2}\right )\,\left (6\,x-6\,\ln \left (2\right )\right )+{\ln \left (\frac {x}{2}\right )}^2\,\left (2\,x\,\ln \left (2\right )-2\,x^2\right )}{{\ln \left (\frac {x}{2}\right )}^2\,\left (2\,x\,\ln \left (2\right )-x^2\right )} \,d x \]

[In]

int((log(2*x*log(2) - x^2)*(3*x - 6*log(2) + log(x/2)^2*(2*x*log(2) - x^2)) - log(x/2)*(6*x - 6*log(2)) + log(
x/2)^2*(2*x*log(2) - 2*x^2))/(log(x/2)^2*(2*x*log(2) - x^2)),x)

[Out]

int((log(2*x*log(2) - x^2)*(3*x - 6*log(2) + log(x/2)^2*(2*x*log(2) - x^2)) - log(x/2)*(6*x - 6*log(2)) + log(
x/2)^2*(2*x*log(2) - 2*x^2))/(log(x/2)^2*(2*x*log(2) - x^2)), x)