3.76.78 \(\int \frac {-x-x^2+x^3-2 x^4+(x^2-2 x^3) \log (x)+(-x+2 x^3+(-1+2 x^2) \log (x)) \log (x^2+x \log (x))+(1+2 x-x^2+3 x^3+(1-x+3 x^2) \log (x)+(-3 x^2-3 x \log (x)) \log (x^2+x \log (x))) \log (x-\log (x^2+x \log (x)))+(-x^2-x \log (x)+(x+\log (x)) \log (x^2+x \log (x))) \log ^2(x-\log (x^2+x \log (x)))}{x^3-x^5+(x^2-x^4) \log (x)+(-x^2+x^4+(-x+x^3) \log (x)) \log (x^2+x \log (x))+(2 x^4+2 x^3 \log (x)+(-2 x^3-2 x^2 \log (x)) \log (x^2+x \log (x))) \log (x-\log (x^2+x \log (x)))+(-x^3-x^2 \log (x)+(x^2+x \log (x)) \log (x^2+x \log (x))) \log ^2(x-\log (x^2+x \log (x)))} \, dx\)

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

________________________________________________________________________________________

Rubi [F]  time = 70.06, 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 {-x-x^2+x^3-2 x^4+\left (x^2-2 x^3\right ) \log (x)+\left (-x+2 x^3+\left (-1+2 x^2\right ) \log (x)\right ) \log \left (x^2+x \log (x)\right )+\left (1+2 x-x^2+3 x^3+\left (1-x+3 x^2\right ) \log (x)+\left (-3 x^2-3 x \log (x)\right ) \log \left (x^2+x \log (x)\right )\right ) \log \left (x-\log \left (x^2+x \log (x)\right )\right )+\left (-x^2-x \log (x)+(x+\log (x)) \log \left (x^2+x \log (x)\right )\right ) \log ^2\left (x-\log \left (x^2+x \log (x)\right )\right )}{x^3-x^5+\left (x^2-x^4\right ) \log (x)+\left (-x^2+x^4+\left (-x+x^3\right ) \log (x)\right ) \log \left (x^2+x \log (x)\right )+\left (2 x^4+2 x^3 \log (x)+\left (-2 x^3-2 x^2 \log (x)\right ) \log \left (x^2+x \log (x)\right )\right ) \log \left (x-\log \left (x^2+x \log (x)\right )\right )+\left (-x^3-x^2 \log (x)+\left (x^2+x \log (x)\right ) \log \left (x^2+x \log (x)\right )\right ) \log ^2\left (x-\log \left (x^2+x \log (x)\right )\right )} \, dx \end {gather*}

Verification is not applicable to the result.

[In]

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

[Out]

Log[x] - Defer[Int][(-1 + x - Log[x - Log[x*(x + Log[x])]])^(-1), x] + Defer[Int][1/(x*(-1 + x - Log[x - Log[x
*(x + Log[x])]])), x]/2 + Defer[Int][x/(-1 + x - Log[x - Log[x*(x + Log[x])]]), x]/2 + Defer[Int][1/((x + Log[
x])*(x - Log[x*(x + Log[x])])*(-1 + x - Log[x - Log[x*(x + Log[x])]])), x] + Defer[Int][1/(x*(x + Log[x])*(x -
Log[x*(x + Log[x])])*(-1 + x - Log[x - Log[x*(x + Log[x])]])), x]/2 - Defer[Int][x/((x + Log[x])*(x - Log[x*(
x + Log[x])])*(-1 + x - Log[x - Log[x*(x + Log[x])]])), x] + (3*Defer[Int][x^2/((x + Log[x])*(x - Log[x*(x + L
og[x])])*(-1 + x - Log[x - Log[x*(x + Log[x])]])), x])/2 - Defer[Int][x^3/((x + Log[x])*(x - Log[x*(x + Log[x]
)])*(-1 + x - Log[x - Log[x*(x + Log[x])]])), x]/2 - Defer[Int][Log[x]/((x + Log[x])*(x - Log[x*(x + Log[x])])
*(-1 + x - Log[x - Log[x*(x + Log[x])]])), x] + Defer[Int][Log[x]/(x*(x + Log[x])*(x - Log[x*(x + Log[x])])*(-
1 + x - Log[x - Log[x*(x + Log[x])]])), x]/2 + (3*Defer[Int][(x*Log[x])/((x + Log[x])*(x - Log[x*(x + Log[x])]
)*(-1 + x - Log[x - Log[x*(x + Log[x])]])), x])/2 - Defer[Int][(x^2*Log[x])/((x + Log[x])*(x - Log[x*(x + Log[
x])])*(-1 + x - Log[x - Log[x*(x + Log[x])]])), x]/2 - Defer[Int][(1 + x - Log[x - Log[x*(x + Log[x])]])^(-1),
x] - Defer[Int][1/(x*(1 + x - Log[x - Log[x*(x + Log[x])]])), x]/2 - Defer[Int][x/(1 + x - Log[x - Log[x*(x +
Log[x])]]), x]/2 + Defer[Int][1/((x + Log[x])*(x - Log[x*(x + Log[x])])*(1 + x - Log[x - Log[x*(x + Log[x])]]
)), x] + Defer[Int][1/(x*(x + Log[x])*(x - Log[x*(x + Log[x])])*(1 + x - Log[x - Log[x*(x + Log[x])]])), x]/2
+ (3*Defer[Int][x^2/((x + Log[x])*(x - Log[x*(x + Log[x])])*(1 + x - Log[x - Log[x*(x + Log[x])]])), x])/2 + D
efer[Int][x^3/((x + Log[x])*(x - Log[x*(x + Log[x])])*(1 + x - Log[x - Log[x*(x + Log[x])]])), x]/2 + Defer[In
t][Log[x]/(x*(x + Log[x])*(x - Log[x*(x + Log[x])])*(1 + x - Log[x - Log[x*(x + Log[x])]])), x]/2 + (3*Defer[I
nt][(x*Log[x])/((x + Log[x])*(x - Log[x*(x + Log[x])])*(1 + x - Log[x - Log[x*(x + Log[x])]])), x])/2 + Defer[
Int][(x^2*Log[x])/((x + Log[x])*(x - Log[x*(x + Log[x])])*(1 + x - Log[x - Log[x*(x + Log[x])]])), x]/2 + Defe
r[Int][(x*Log[x^2 + x*Log[x]])/((x - Log[x*(x + Log[x])])*(1 + x - Log[x - Log[x*(x + Log[x])]])), x] + (3*Def
er[Int][(x*Log[x^2 + x*Log[x]])/((-x - Log[x])*(x - Log[x*(x + Log[x])])*(1 + x - Log[x - Log[x*(x + Log[x])]]
)), x])/2 + (3*Defer[Int][(x^2*Log[x^2 + x*Log[x]])/((-x - Log[x])*(x - Log[x*(x + Log[x])])*(1 + x - Log[x -
Log[x*(x + Log[x])]])), x])/2 + (3*Defer[Int][(Log[x]*Log[x^2 + x*Log[x]])/((-x - Log[x])*(x - Log[x*(x + Log[
x])])*(1 + x - Log[x - Log[x*(x + Log[x])]])), x])/2 + (3*Defer[Int][(x*Log[x]*Log[x^2 + x*Log[x]])/((-x - Log
[x])*(x - Log[x*(x + Log[x])])*(1 + x - Log[x - Log[x*(x + Log[x])]])), x])/2 + Defer[Int][Log[x^2 + x*Log[x]]
/(x*(-x + Log[x*(x + Log[x])])*(1 + x - Log[x - Log[x*(x + Log[x])]])), x]/2 + Defer[Int][(x*Log[x^2 + x*Log[x
]])/((x - Log[x*(x + Log[x])])*(1 - x + Log[x - Log[x*(x + Log[x])]])), x] - (3*Defer[Int][(x*Log[x^2 + x*Log[
x]])/((-x - Log[x])*(x - Log[x*(x + Log[x])])*(1 - x + Log[x - Log[x*(x + Log[x])]])), x])/2 - (3*Defer[Int][(
Log[x]*Log[x^2 + x*Log[x]])/((-x - Log[x])*(x - Log[x*(x + Log[x])])*(1 - x + Log[x - Log[x*(x + Log[x])]])),
x])/2 - (3*Defer[Int][(x^2*Log[x^2 + x*Log[x]])/((x + Log[x])*(x - Log[x*(x + Log[x])])*(1 - x + Log[x - Log[x
*(x + Log[x])]])), x])/2 - (3*Defer[Int][(x*Log[x]*Log[x^2 + x*Log[x]])/((x + Log[x])*(x - Log[x*(x + Log[x])]
)*(1 - x + Log[x - Log[x*(x + Log[x])]])), x])/2 + Defer[Int][Log[x^2 + x*Log[x]]/(x*(-x + Log[x*(x + Log[x])]
)*(1 - x + Log[x - Log[x*(x + Log[x])]])), x]/2

Rubi steps

\begin {gather*} \begin {aligned} \text {integral} &=\int \frac {-x-x^2+x^3-2 x^4+\left (x^2-2 x^3\right ) \log (x)+\left (-x+2 x^3+\left (-1+2 x^2\right ) \log (x)\right ) \log \left (x^2+x \log (x)\right )+\left (1+2 x-x^2+3 x^3+\left (1-x+3 x^2\right ) \log (x)+\left (-3 x^2-3 x \log (x)\right ) \log \left (x^2+x \log (x)\right )\right ) \log \left (x-\log \left (x^2+x \log (x)\right )\right )+\left (-x^2-x \log (x)+(x+\log (x)) \log \left (x^2+x \log (x)\right )\right ) \log ^2\left (x-\log \left (x^2+x \log (x)\right )\right )}{x (x+\log (x)) (x-\log (x (x+\log (x)))) \left (1-x^2+2 x \log (x-\log (x (x+\log (x))))-\log ^2(x-\log (x (x+\log (x))))\right )} \, dx\\ &=\int \left (\frac {1}{(x+\log (x)) (x-\log (x (x+\log (x)))) (-1+x-\log (x-\log (x (x+\log (x))))) (1+x-\log (x-\log (x (x+\log (x)))))}+\frac {x}{(x+\log (x)) (x-\log (x (x+\log (x)))) (-1+x-\log (x-\log (x (x+\log (x))))) (1+x-\log (x-\log (x (x+\log (x)))))}-\frac {x^2}{(x+\log (x)) (x-\log (x (x+\log (x)))) (-1+x-\log (x-\log (x (x+\log (x))))) (1+x-\log (x-\log (x (x+\log (x)))))}+\frac {2 x^3}{(x+\log (x)) (x-\log (x (x+\log (x)))) (-1+x-\log (x-\log (x (x+\log (x))))) (1+x-\log (x-\log (x (x+\log (x)))))}+\frac {x (-1+2 x) \log (x)}{(x+\log (x)) (x-\log (x (x+\log (x)))) (-1+x-\log (x-\log (x (x+\log (x))))) (1+x-\log (x-\log (x (x+\log (x)))))}-\frac {\left (1+2 x-x^2+3 x^3+\log (x)-x \log (x)+3 x^2 \log (x)-3 x^2 \log (x (x+\log (x)))-3 x \log (x) \log (x (x+\log (x)))\right ) \log (x-\log (x (x+\log (x))))}{x (x+\log (x)) (x-\log (x (x+\log (x)))) (-1+x-\log (x-\log (x (x+\log (x))))) (1+x-\log (x-\log (x (x+\log (x)))))}+\frac {\log ^2(x-\log (x (x+\log (x))))}{x (-1+x-\log (x-\log (x (x+\log (x))))) (1+x-\log (x-\log (x (x+\log (x)))))}+\frac {\left (-1+2 x^2\right ) \log \left (x^2+x \log (x)\right )}{x (x-\log (x (x+\log (x)))) (1+x-\log (x-\log (x (x+\log (x))))) (1-x+\log (x-\log (x (x+\log (x)))))}\right ) \, dx\\ &=2 \int \frac {x^3}{(x+\log (x)) (x-\log (x (x+\log (x)))) (-1+x-\log (x-\log (x (x+\log (x))))) (1+x-\log (x-\log (x (x+\log (x)))))} \, dx+\int \frac {1}{(x+\log (x)) (x-\log (x (x+\log (x)))) (-1+x-\log (x-\log (x (x+\log (x))))) (1+x-\log (x-\log (x (x+\log (x)))))} \, dx+\int \frac {x}{(x+\log (x)) (x-\log (x (x+\log (x)))) (-1+x-\log (x-\log (x (x+\log (x))))) (1+x-\log (x-\log (x (x+\log (x)))))} \, dx-\int \frac {x^2}{(x+\log (x)) (x-\log (x (x+\log (x)))) (-1+x-\log (x-\log (x (x+\log (x))))) (1+x-\log (x-\log (x (x+\log (x)))))} \, dx+\int \frac {x (-1+2 x) \log (x)}{(x+\log (x)) (x-\log (x (x+\log (x)))) (-1+x-\log (x-\log (x (x+\log (x))))) (1+x-\log (x-\log (x (x+\log (x)))))} \, dx-\int \frac {\left (1+2 x-x^2+3 x^3+\log (x)-x \log (x)+3 x^2 \log (x)-3 x^2 \log (x (x+\log (x)))-3 x \log (x) \log (x (x+\log (x)))\right ) \log (x-\log (x (x+\log (x))))}{x (x+\log (x)) (x-\log (x (x+\log (x)))) (-1+x-\log (x-\log (x (x+\log (x))))) (1+x-\log (x-\log (x (x+\log (x)))))} \, dx+\int \frac {\log ^2(x-\log (x (x+\log (x))))}{x (-1+x-\log (x-\log (x (x+\log (x))))) (1+x-\log (x-\log (x (x+\log (x)))))} \, dx+\int \frac {\left (-1+2 x^2\right ) \log \left (x^2+x \log (x)\right )}{x (x-\log (x (x+\log (x)))) (1+x-\log (x-\log (x (x+\log (x))))) (1-x+\log (x-\log (x (x+\log (x)))))} \, dx\\ &=2 \int \left (\frac {x^3}{2 (x+\log (x)) (x-\log (x (x+\log (x)))) (-1+x-\log (x-\log (x (x+\log (x)))))}-\frac {x^3}{2 (x+\log (x)) (x-\log (x (x+\log (x)))) (1+x-\log (x-\log (x (x+\log (x)))))}\right ) \, dx+\int \left (\frac {1}{x}+\frac {(-1+x)^2}{2 x (-1+x-\log (x-\log (x (x+\log (x)))))}-\frac {(1+x)^2}{2 x (1+x-\log (x-\log (x (x+\log (x)))))}\right ) \, dx+\int \left (\frac {1}{2 (x+\log (x)) (x-\log (x (x+\log (x)))) (-1+x-\log (x-\log (x (x+\log (x)))))}-\frac {1}{2 (x+\log (x)) (x-\log (x (x+\log (x)))) (1+x-\log (x-\log (x (x+\log (x)))))}\right ) \, dx+\int \left (\frac {x}{2 (x+\log (x)) (x-\log (x (x+\log (x)))) (-1+x-\log (x-\log (x (x+\log (x)))))}-\frac {x}{2 (x+\log (x)) (x-\log (x (x+\log (x)))) (1+x-\log (x-\log (x (x+\log (x)))))}\right ) \, dx-\int \left (\frac {x^2}{2 (x+\log (x)) (x-\log (x (x+\log (x)))) (-1+x-\log (x-\log (x (x+\log (x)))))}-\frac {x^2}{2 (x+\log (x)) (x-\log (x (x+\log (x)))) (1+x-\log (x-\log (x (x+\log (x)))))}\right ) \, dx+\int \left (\frac {x (-1+2 x) \log (x)}{2 (x+\log (x)) (x-\log (x (x+\log (x)))) (-1+x-\log (x-\log (x (x+\log (x)))))}-\frac {x (-1+2 x) \log (x)}{2 (x+\log (x)) (x-\log (x (x+\log (x)))) (1+x-\log (x-\log (x (x+\log (x)))))}\right ) \, dx-\int \left (\frac {(-1+x) \left (1+2 x-x^2+3 x^3+\log (x)-x \log (x)+3 x^2 \log (x)-3 x^2 \log (x (x+\log (x)))-3 x \log (x) \log (x (x+\log (x)))\right )}{2 x (x+\log (x)) (x-\log (x (x+\log (x)))) (-1+x-\log (x-\log (x (x+\log (x)))))}-\frac {(1+x) \left (1+2 x-x^2+3 x^3+\log (x)-x \log (x)+3 x^2 \log (x)-3 x^2 \log (x (x+\log (x)))-3 x \log (x) \log (x (x+\log (x)))\right )}{2 x (x+\log (x)) (x-\log (x (x+\log (x)))) (1+x-\log (x-\log (x (x+\log (x)))))}\right ) \, dx+\int \left (\frac {\left (-1+2 x^2\right ) \log \left (x^2+x \log (x)\right )}{2 x (x-\log (x (x+\log (x)))) (1+x-\log (x-\log (x (x+\log (x)))))}+\frac {\left (-1+2 x^2\right ) \log \left (x^2+x \log (x)\right )}{2 x (x-\log (x (x+\log (x)))) (1-x+\log (x-\log (x (x+\log (x)))))}\right ) \, dx\\ &=\text {Rest of rules removed due to large latex content} \end {aligned} \end {gather*}

________________________________________________________________________________________

Mathematica [A]  time = 0.25, size = 46, normalized size = 1.48 \begin {gather*} \log (x)+\frac {1}{2} \log \left (1-x^2+2 x \log (x-\log (x (x+\log (x))))-\log ^2(x-\log (x (x+\log (x))))\right ) \end {gather*}

Antiderivative was successfully verified.

[In]

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

[Out]

Log[x] + Log[1 - x^2 + 2*x*Log[x - Log[x*(x + Log[x])]] - Log[x - Log[x*(x + Log[x])]]^2]/2

________________________________________________________________________________________

fricas [A]  time = 0.64, size = 44, normalized size = 1.42 \begin {gather*} \frac {1}{2} \, \log \left (x^{2} - 2 \, x \log \left (x - \log \left (x^{2} + x \log \relax (x)\right )\right ) + \log \left (x - \log \left (x^{2} + x \log \relax (x)\right )\right )^{2} - 1\right ) + \log \relax (x) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((x+log(x))*log(x*log(x)+x^2)-x*log(x)-x^2)*log(-log(x*log(x)+x^2)+x)^2+((-3*x*log(x)-3*x^2)*log(x*
log(x)+x^2)+(3*x^2-x+1)*log(x)+3*x^3-x^2+2*x+1)*log(-log(x*log(x)+x^2)+x)+((2*x^2-1)*log(x)+2*x^3-x)*log(x*log
(x)+x^2)+(-2*x^3+x^2)*log(x)-2*x^4+x^3-x^2-x)/(((x*log(x)+x^2)*log(x*log(x)+x^2)-x^2*log(x)-x^3)*log(-log(x*lo
g(x)+x^2)+x)^2+((-2*x^2*log(x)-2*x^3)*log(x*log(x)+x^2)+2*x^3*log(x)+2*x^4)*log(-log(x*log(x)+x^2)+x)+((x^3-x)
*log(x)+x^4-x^2)*log(x*log(x)+x^2)+(-x^4+x^2)*log(x)-x^5+x^3),x, algorithm="fricas")

[Out]

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

________________________________________________________________________________________

giac [A]  time = 1.83, size = 44, normalized size = 1.42 \begin {gather*} \frac {1}{2} \, \log \left (x^{2} - 2 \, x \log \left (x - \log \left (x + \log \relax (x)\right ) - \log \relax (x)\right ) + \log \left (x - \log \left (x + \log \relax (x)\right ) - \log \relax (x)\right )^{2} - 1\right ) + \log \relax (x) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((x+log(x))*log(x*log(x)+x^2)-x*log(x)-x^2)*log(-log(x*log(x)+x^2)+x)^2+((-3*x*log(x)-3*x^2)*log(x*
log(x)+x^2)+(3*x^2-x+1)*log(x)+3*x^3-x^2+2*x+1)*log(-log(x*log(x)+x^2)+x)+((2*x^2-1)*log(x)+2*x^3-x)*log(x*log
(x)+x^2)+(-2*x^3+x^2)*log(x)-2*x^4+x^3-x^2-x)/(((x*log(x)+x^2)*log(x*log(x)+x^2)-x^2*log(x)-x^3)*log(-log(x*lo
g(x)+x^2)+x)^2+((-2*x^2*log(x)-2*x^3)*log(x*log(x)+x^2)+2*x^3*log(x)+2*x^4)*log(-log(x*log(x)+x^2)+x)+((x^3-x)
*log(x)+x^4-x^2)*log(x*log(x)+x^2)+(-x^4+x^2)*log(x)-x^5+x^3),x, algorithm="giac")

[Out]

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

________________________________________________________________________________________

maple [C]  time = 0.19, size = 145, normalized size = 4.68

method	result	size
risch	\(\ln \relax (x )+\frac {\ln \left (x^{2}-2 \ln \left (-\ln \relax (x )-\ln \left (x +\ln \relax (x )\right )+\frac {i \pi \,\mathrm {csgn}\left (i x \left (x +\ln \relax (x )\right )\right ) \left (-\mathrm {csgn}\left (i x \left (x +\ln \relax (x )\right )\right )+\mathrm {csgn}\left (i x \right )\right ) \left (-\mathrm {csgn}\left (i x \left (x +\ln \relax (x )\right )\right )+\mathrm {csgn}\left (i \left (x +\ln \relax (x )\right )\right )\right )}{2}+x \right ) x +\ln \left (-\ln \relax (x )-\ln \left (x +\ln \relax (x )\right )+\frac {i \pi \,\mathrm {csgn}\left (i x \left (x +\ln \relax (x )\right )\right ) \left (-\mathrm {csgn}\left (i x \left (x +\ln \relax (x )\right )\right )+\mathrm {csgn}\left (i x \right )\right ) \left (-\mathrm {csgn}\left (i x \left (x +\ln \relax (x )\right )\right )+\mathrm {csgn}\left (i \left (x +\ln \relax (x )\right )\right )\right )}{2}+x \right )^{2}-1\right )}{2}\)	\(145\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

ln(x)+1/2*ln(x^2-2*ln(-ln(x)-ln(x+ln(x))+1/2*I*Pi*csgn(I*x*(x+ln(x)))*(-csgn(I*x*(x+ln(x)))+csgn(I*x))*(-csgn(
I*x*(x+ln(x)))+csgn(I*(x+ln(x))))+x)*x+ln(-ln(x)-ln(x+ln(x))+1/2*I*Pi*csgn(I*x*(x+ln(x)))*(-csgn(I*x*(x+ln(x))
)+csgn(I*x))*(-csgn(I*x*(x+ln(x)))+csgn(I*(x+ln(x))))+x)^2-1)

________________________________________________________________________________________

maxima [A]  time = 0.58, size = 47, normalized size = 1.52 \begin {gather*} \log \relax (x) + \frac {1}{2} \, \log \left (-x + \log \left (x - \log \left (x + \log \relax (x)\right ) - \log \relax (x)\right ) + 1\right ) + \frac {1}{2} \, \log \left (-x + \log \left (x - \log \left (x + \log \relax (x)\right ) - \log \relax (x)\right ) - 1\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((x+log(x))*log(x*log(x)+x^2)-x*log(x)-x^2)*log(-log(x*log(x)+x^2)+x)^2+((-3*x*log(x)-3*x^2)*log(x*
log(x)+x^2)+(3*x^2-x+1)*log(x)+3*x^3-x^2+2*x+1)*log(-log(x*log(x)+x^2)+x)+((2*x^2-1)*log(x)+2*x^3-x)*log(x*log
(x)+x^2)+(-2*x^3+x^2)*log(x)-2*x^4+x^3-x^2-x)/(((x*log(x)+x^2)*log(x*log(x)+x^2)-x^2*log(x)-x^3)*log(-log(x*lo
g(x)+x^2)+x)^2+((-2*x^2*log(x)-2*x^3)*log(x*log(x)+x^2)+2*x^3*log(x)+2*x^4)*log(-log(x*log(x)+x^2)+x)+((x^3-x)
*log(x)+x^4-x^2)*log(x*log(x)+x^2)+(-x^4+x^2)*log(x)-x^5+x^3),x, algorithm="maxima")

[Out]

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

________________________________________________________________________________________

mupad [B]  time = 7.04, size = 40, normalized size = 1.29 \begin {gather*} \frac {\ln \left (x^2-2\,x\,\ln \left (x-\ln \left (x\,\left (x+\ln \relax (x)\right )\right )\right )+{\ln \left (x-\ln \left (x\,\left (x+\ln \relax (x)\right )\right )\right )}^2-1\right )}{2}+\ln \relax (x) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((x - log(x*log(x) + x^2)*(2*x^3 - x + log(x)*(2*x^2 - 1)) + log(x - log(x*log(x) + x^2))^2*(x*log(x) - log
(x*log(x) + x^2)*(x + log(x)) + x^2) - log(x)*(x^2 - 2*x^3) - log(x - log(x*log(x) + x^2))*(2*x - log(x*log(x)
+ x^2)*(3*x*log(x) + 3*x^2) + log(x)*(3*x^2 - x + 1) - x^2 + 3*x^3 + 1) + x^2 - x^3 + 2*x^4)/(log(x*log(x) +
x^2)*(log(x)*(x - x^3) + x^2 - x^4) - log(x - log(x*log(x) + x^2))*(2*x^3*log(x) - log(x*log(x) + x^2)*(2*x^2*
log(x) + 2*x^3) + 2*x^4) - log(x)*(x^2 - x^4) + log(x - log(x*log(x) + x^2))^2*(x^2*log(x) - log(x*log(x) + x^
2)*(x*log(x) + x^2) + x^3) - x^3 + x^5),x)

[Out]

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

________________________________________________________________________________________

sympy [A]  time = 12.42, size = 42, normalized size = 1.35 \begin {gather*} \log {\relax (x )} + \frac {\log {\left (x^{2} - 2 x \log {\left (x - \log {\left (x^{2} + x \log {\relax (x )} \right )} \right )} + \log {\left (x - \log {\left (x^{2} + x \log {\relax (x )} \right )} \right )}^{2} - 1 \right )}}{2} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((x+ln(x))*ln(x*ln(x)+x**2)-x*ln(x)-x**2)*ln(-ln(x*ln(x)+x**2)+x)**2+((-3*x*ln(x)-3*x**2)*ln(x*ln(x
)+x**2)+(3*x**2-x+1)*ln(x)+3*x**3-x**2+2*x+1)*ln(-ln(x*ln(x)+x**2)+x)+((2*x**2-1)*ln(x)+2*x**3-x)*ln(x*ln(x)+x
**2)+(-2*x**3+x**2)*ln(x)-2*x**4+x**3-x**2-x)/(((x*ln(x)+x**2)*ln(x*ln(x)+x**2)-x**2*ln(x)-x**3)*ln(-ln(x*ln(x
)+x**2)+x)**2+((-2*x**2*ln(x)-2*x**3)*ln(x*ln(x)+x**2)+2*x**3*ln(x)+2*x**4)*ln(-ln(x*ln(x)+x**2)+x)+((x**3-x)*
ln(x)+x**4-x**2)*ln(x*ln(x)+x**2)+(-x**4+x**2)*ln(x)-x**5+x**3),x)

[Out]

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

________________________________________________________________________________________