3.67.66 \(\int \frac {e^{\sqrt [4]{e}} (-4+x)-4 x-2 x^2+3 x^3}{4 x^2+8 x^3+4 x^4+e^{\sqrt [4]{e}} (4 x+4 x^2)+(e^{\sqrt [4]{e}} x^2+x^3+x^4) \log (\frac {1}{2} (e^{\sqrt [4]{e}} x+x^2+x^3))} \, dx\) [6666]

Optimal. Leaf size=26 \[ \log \left (4+\frac {4}{x}+\log \left (\frac {1}{2} x \left (e^{\sqrt [4]{e}}+x+x^2\right )\right )\right ) \]

[Out]

ln(4/x+ln(1/2*x*(exp(exp(1/4))+x+x^2))+4)

________________________________________________________________________________________

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

Verification is not applicable to the result.

[In]

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

[Out]

3*Defer[Int][(4 + 4*x + x*Log[(x*(E^E^(1/4) + x + x^2))/2])^(-1), x] - ((4*I)*E^E^(1/4)*Defer[Int][1/((-1 + I*
Sqrt[-1 + 4*E^E^(1/4)] - 2*x)*(4 + 4*x + x*Log[(x*(E^E^(1/4) + x + x^2))/2])), x])/Sqrt[-1 + 4*E^E^(1/4)] - 4*
Defer[Int][1/(x*(4 + 4*x + x*Log[(x*(E^E^(1/4) + x + x^2))/2])), x] - (1 + I/Sqrt[-1 + 4*E^E^(1/4)])*Defer[Int
][1/((1 - I*Sqrt[-1 + 4*E^E^(1/4)] + 2*x)*(4 + 4*x + x*Log[(x*(E^E^(1/4) + x + x^2))/2])), x] - ((4*I)*E^E^(1/
4)*Defer[Int][1/((1 + I*Sqrt[-1 + 4*E^E^(1/4)] + 2*x)*(4 + 4*x + x*Log[(x*(E^E^(1/4) + x + x^2))/2])), x])/Sqr
t[-1 + 4*E^E^(1/4)] - (1 - I/Sqrt[-1 + 4*E^E^(1/4)])*Defer[Int][1/((1 + I*Sqrt[-1 + 4*E^E^(1/4)] + 2*x)*(4 + 4
*x + x*Log[(x*(E^E^(1/4) + x + x^2))/2])), x]

Rubi steps

\begin {gather*} \begin {aligned} \text {integral} &=\int \frac {-4 e^{\sqrt [4]{e}}-\left (4-e^{\sqrt [4]{e}}\right ) x-2 x^2+3 x^3}{x \left (e^{\sqrt [4]{e}}+x+x^2\right ) \left (4+4 x+x \log \left (\frac {1}{2} x \left (e^{\sqrt [4]{e}}+x+x^2\right )\right )\right )} \, dx\\ &=\int \left (\frac {3}{4+4 x+x \log \left (\frac {1}{2} x \left (e^{\sqrt [4]{e}}+x+x^2\right )\right )}-\frac {4}{x \left (4+4 x+x \log \left (\frac {1}{2} x \left (e^{\sqrt [4]{e}}+x+x^2\right )\right )\right )}-\frac {2 e^{\sqrt [4]{e}}+x}{\left (e^{\sqrt [4]{e}}+x+x^2\right ) \left (4+4 x+x \log \left (\frac {1}{2} x \left (e^{\sqrt [4]{e}}+x+x^2\right )\right )\right )}\right ) \, dx\\ &=3 \int \frac {1}{4+4 x+x \log \left (\frac {1}{2} x \left (e^{\sqrt [4]{e}}+x+x^2\right )\right )} \, dx-4 \int \frac {1}{x \left (4+4 x+x \log \left (\frac {1}{2} x \left (e^{\sqrt [4]{e}}+x+x^2\right )\right )\right )} \, dx-\int \frac {2 e^{\sqrt [4]{e}}+x}{\left (e^{\sqrt [4]{e}}+x+x^2\right ) \left (4+4 x+x \log \left (\frac {1}{2} x \left (e^{\sqrt [4]{e}}+x+x^2\right )\right )\right )} \, dx\\ &=3 \int \frac {1}{4+4 x+x \log \left (\frac {1}{2} x \left (e^{\sqrt [4]{e}}+x+x^2\right )\right )} \, dx-4 \int \frac {1}{x \left (4+4 x+x \log \left (\frac {1}{2} x \left (e^{\sqrt [4]{e}}+x+x^2\right )\right )\right )} \, dx-\int \left (\frac {2 e^{\sqrt [4]{e}}}{\left (e^{\sqrt [4]{e}}+x+x^2\right ) \left (4+4 x+x \log \left (\frac {1}{2} x \left (e^{\sqrt [4]{e}}+x+x^2\right )\right )\right )}+\frac {x}{\left (e^{\sqrt [4]{e}}+x+x^2\right ) \left (4+4 x+x \log \left (\frac {1}{2} x \left (e^{\sqrt [4]{e}}+x+x^2\right )\right )\right )}\right ) \, dx\\ &=3 \int \frac {1}{4+4 x+x \log \left (\frac {1}{2} x \left (e^{\sqrt [4]{e}}+x+x^2\right )\right )} \, dx-4 \int \frac {1}{x \left (4+4 x+x \log \left (\frac {1}{2} x \left (e^{\sqrt [4]{e}}+x+x^2\right )\right )\right )} \, dx-\left (2 e^{\sqrt [4]{e}}\right ) \int \frac {1}{\left (e^{\sqrt [4]{e}}+x+x^2\right ) \left (4+4 x+x \log \left (\frac {1}{2} x \left (e^{\sqrt [4]{e}}+x+x^2\right )\right )\right )} \, dx-\int \frac {x}{\left (e^{\sqrt [4]{e}}+x+x^2\right ) \left (4+4 x+x \log \left (\frac {1}{2} x \left (e^{\sqrt [4]{e}}+x+x^2\right )\right )\right )} \, dx\\ &=3 \int \frac {1}{4+4 x+x \log \left (\frac {1}{2} x \left (e^{\sqrt [4]{e}}+x+x^2\right )\right )} \, dx-4 \int \frac {1}{x \left (4+4 x+x \log \left (\frac {1}{2} x \left (e^{\sqrt [4]{e}}+x+x^2\right )\right )\right )} \, dx-\left (2 e^{\sqrt [4]{e}}\right ) \int \left (\frac {2 i}{\sqrt {-1+4 e^{\sqrt [4]{e}}} \left (-1+i \sqrt {-1+4 e^{\sqrt [4]{e}}}-2 x\right ) \left (4+4 x+x \log \left (\frac {1}{2} x \left (e^{\sqrt [4]{e}}+x+x^2\right )\right )\right )}+\frac {2 i}{\sqrt {-1+4 e^{\sqrt [4]{e}}} \left (1+i \sqrt {-1+4 e^{\sqrt [4]{e}}}+2 x\right ) \left (4+4 x+x \log \left (\frac {1}{2} x \left (e^{\sqrt [4]{e}}+x+x^2\right )\right )\right )}\right ) \, dx-\int \left (\frac {1+\frac {i}{\sqrt {-1+4 e^{\sqrt [4]{e}}}}}{\left (1-i \sqrt {-1+4 e^{\sqrt [4]{e}}}+2 x\right ) \left (4+4 x+x \log \left (\frac {1}{2} x \left (e^{\sqrt [4]{e}}+x+x^2\right )\right )\right )}+\frac {1-\frac {i}{\sqrt {-1+4 e^{\sqrt [4]{e}}}}}{\left (1+i \sqrt {-1+4 e^{\sqrt [4]{e}}}+2 x\right ) \left (4+4 x+x \log \left (\frac {1}{2} x \left (e^{\sqrt [4]{e}}+x+x^2\right )\right )\right )}\right ) \, dx\\ &=3 \int \frac {1}{4+4 x+x \log \left (\frac {1}{2} x \left (e^{\sqrt [4]{e}}+x+x^2\right )\right )} \, dx-4 \int \frac {1}{x \left (4+4 x+x \log \left (\frac {1}{2} x \left (e^{\sqrt [4]{e}}+x+x^2\right )\right )\right )} \, dx-\frac {\left (4 i e^{\sqrt [4]{e}}\right ) \int \frac {1}{\left (-1+i \sqrt {-1+4 e^{\sqrt [4]{e}}}-2 x\right ) \left (4+4 x+x \log \left (\frac {1}{2} x \left (e^{\sqrt [4]{e}}+x+x^2\right )\right )\right )} \, dx}{\sqrt {-1+4 e^{\sqrt [4]{e}}}}-\frac {\left (4 i e^{\sqrt [4]{e}}\right ) \int \frac {1}{\left (1+i \sqrt {-1+4 e^{\sqrt [4]{e}}}+2 x\right ) \left (4+4 x+x \log \left (\frac {1}{2} x \left (e^{\sqrt [4]{e}}+x+x^2\right )\right )\right )} \, dx}{\sqrt {-1+4 e^{\sqrt [4]{e}}}}-\left (1-\frac {i}{\sqrt {-1+4 e^{\sqrt [4]{e}}}}\right ) \int \frac {1}{\left (1+i \sqrt {-1+4 e^{\sqrt [4]{e}}}+2 x\right ) \left (4+4 x+x \log \left (\frac {1}{2} x \left (e^{\sqrt [4]{e}}+x+x^2\right )\right )\right )} \, dx-\left (1+\frac {i}{\sqrt {-1+4 e^{\sqrt [4]{e}}}}\right ) \int \frac {1}{\left (1-i \sqrt {-1+4 e^{\sqrt [4]{e}}}+2 x\right ) \left (4+4 x+x \log \left (\frac {1}{2} x \left (e^{\sqrt [4]{e}}+x+x^2\right )\right )\right )} \, dx\\ \end {aligned} \end {gather*}

________________________________________________________________________________________

Mathematica [A]
time = 1.95, size = 31, normalized size = 1.19 \begin {gather*} -\log (x)+\log \left (4+4 x+x \log \left (\frac {1}{2} x \left (e^{\sqrt [4]{e}}+x+x^2\right )\right )\right ) \end {gather*}

Antiderivative was successfully verified.

[In]

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

[Out]

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

________________________________________________________________________________________

Maple [A]
time = 2.84, size = 29, normalized size = 1.12

method	result	size
risch	\(\ln \left (\ln \left (\frac {x \,{\mathrm e}^{{\mathrm e}^{\frac {1}{4}}}}{2}+\frac {x^{3}}{2}+\frac {x^{2}}{2}\right )+\frac {4 x +4}{x}\right )\)	\(29\)
norman	\(-\ln \left (x \right )+\ln \left (x \ln \left (\frac {x \,{\mathrm e}^{{\mathrm e}^{\frac {1}{4}}}}{2}+\frac {x^{3}}{2}+\frac {x^{2}}{2}\right )+4 x +4\right )\)	\(32\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(((x-4)*exp(exp(1/4))+3*x^3-2*x^2-4*x)/((x^2*exp(exp(1/4))+x^4+x^3)*ln(1/2*x*exp(exp(1/4))+1/2*x^3+1/2*x^2)
+(4*x^2+4*x)*exp(exp(1/4))+4*x^4+8*x^3+4*x^2),x,method=_RETURNVERBOSE)

[Out]

ln(ln(1/2*x*exp(exp(1/4))+1/2*x^3+1/2*x^2)+4*(x+1)/x)

________________________________________________________________________________________

Maxima [A]
time = 0.52, size = 31, normalized size = 1.19 \begin {gather*} \log \left (-\frac {x {\left (\log \left (2\right ) - 4\right )} - x \log \left (x^{2} + x + e^{\left (e^{\frac {1}{4}}\right )}\right ) - x \log \left (x\right ) - 4}{x}\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

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

________________________________________________________________________________________

Fricas [A]
time = 0.36, size = 30, normalized size = 1.15 \begin {gather*} \log \left (\frac {x \log \left (\frac {1}{2} \, x^{3} + \frac {1}{2} \, x^{2} + \frac {1}{2} \, x e^{\left (e^{\frac {1}{4}}\right )}\right ) + 4 \, x + 4}{x}\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

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

________________________________________________________________________________________

Sympy [A]
time = 0.19, size = 29, normalized size = 1.12 \begin {gather*} \log {\left (\log {\left (\frac {x^{3}}{2} + \frac {x^{2}}{2} + \frac {x e^{e^{\frac {1}{4}}}}{2} \right )} + \frac {4 x + 4}{x} \right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

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

________________________________________________________________________________________

Giac [A]
time = 0.42, size = 31, normalized size = 1.19 \begin {gather*} \log \left (x \log \left (\frac {1}{2} \, x^{3} + \frac {1}{2} \, x^{2} + \frac {1}{2} \, x e^{\left (e^{\frac {1}{4}}\right )}\right ) + 4 \, x + 4\right ) - \log \left (x\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

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

________________________________________________________________________________________

Mupad [B]
time = 6.73, size = 26, normalized size = 1.00 \begin {gather*} \ln \left (\ln \left (\frac {x^3}{2}+\frac {x^2}{2}+\frac {{\mathrm {e}}^{{\mathrm {e}}^{1/4}}\,x}{2}\right )+\frac {4}{x}+4\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

log(log((x*exp(exp(1/4)))/2 + x^2/2 + x^3/2) + 4/x + 4)

________________________________________________________________________________________