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

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

________________________________________________________________________________________

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

Verification is not applicable to the result.

[In]

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

[Out]

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

Rubi steps

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

________________________________________________________________________________________

Mathematica [A]  time = 0.94, size = 22, normalized size = 1.00 \begin {gather*} \log \left (x+x^2+\log \left (-3-e^{e^x} (-2+x)+2 x\right )\right ) \end {gather*}

Antiderivative was successfully verified.

[In]

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

[Out]

Log[x + x^2 + Log[-3 - E^E^x*(-2 + x) + 2*x]]

________________________________________________________________________________________

fricas [A]  time = 1.02, size = 20, normalized size = 0.91 \begin {gather*} \log \left (x^{2} + x + \log \left (-{\left (x - 2\right )} e^{\left (e^{x}\right )} + 2 \, x - 3\right )\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

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

________________________________________________________________________________________

giac [A]  time = 0.31, size = 37, normalized size = 1.68 \begin {gather*} \log \left (x^{2} + x + \log \left (-{\left (x e^{\left (x + e^{x}\right )} - 2 \, x e^{x} - 2 \, e^{\left (x + e^{x}\right )} + 3 \, e^{x}\right )} e^{\left (-x\right )}\right )\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

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

________________________________________________________________________________________

maple [A]  time = 0.08, size = 22, normalized size = 1.00

method	result	size
risch	\(\ln \left (x^{2}+x +\ln \left (\left (2-x \right ) {\mathrm e}^{{\mathrm e}^{x}}+2 x -3\right )\right )\)	\(22\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

ln(x^2+x+ln((2-x)*exp(exp(x))+2*x-3))

________________________________________________________________________________________

maxima [A]  time = 0.47, size = 20, normalized size = 0.91 \begin {gather*} \log \left (x^{2} + x + \log \left (-{\left (x - 2\right )} e^{\left (e^{x}\right )} + 2 \, x - 3\right )\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

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

________________________________________________________________________________________

mupad [F]  time = 0.00, size = -1, normalized size = -0.05 \begin {gather*} \int \frac {4\,x-{\mathrm {e}}^{{\mathrm {e}}^x}\,\left (3\,x-{\mathrm {e}}^x\,\left (x-2\right )-2\,x^2+1\right )-4\,x^2+1}{3\,x+\ln \left (2\,x-{\mathrm {e}}^{{\mathrm {e}}^x}\,\left (x-2\right )-3\right )\,\left ({\mathrm {e}}^{{\mathrm {e}}^x}\,\left (x-2\right )-2\,x+3\right )+x^2-2\,x^3-{\mathrm {e}}^{{\mathrm {e}}^x}\,\left (-x^3+x^2+2\,x\right )} \,d x \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

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

________________________________________________________________________________________

sympy [A]  time = 0.88, size = 20, normalized size = 0.91 \begin {gather*} \log {\left (x^{2} + x + \log {\left (2 x + \left (2 - x\right ) e^{e^{x}} - 3 \right )} \right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

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

________________________________________________________________________________________