3.10.97 \(\int \frac {6 e^{3 x}+3 e^{4 x}+e^{2 x} (4-32 x)+e^x (1-31 x)+75 x^2}{6 e^{3 x} x+3 e^{4 x} x-5 x^2+75 x^3+e^x (x-30 x^2)+e^{2 x} (4 x-30 x^2)} \, dx\)

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

________________________________________________________________________________________

Rubi [F]  time = 0.80, 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 {6 e^{3 x}+3 e^{4 x}+e^{2 x} (4-32 x)+e^x (1-31 x)+75 x^2}{6 e^{3 x} x+3 e^{4 x} x-5 x^2+75 x^3+e^x \left (x-30 x^2\right )+e^{2 x} \left (4 x-30 x^2\right )} \, dx \end {gather*}

Verification is not applicable to the result.

[In]

Int[(6*E^(3*x) + 3*E^(4*x) + E^(2*x)*(4 - 32*x) + E^x*(1 - 31*x) + 75*x^2)/(6*E^(3*x)*x + 3*E^(4*x)*x - 5*x^2
+ 75*x^3 + E^x*(x - 30*x^2) + E^(2*x)*(4*x - 30*x^2)),x]

[Out]

Log[x] - 17*Defer[Int][(1 + 3*E^x + 3*E^(2*x) - 15*x)^(-1), x] - 3*Defer[Int][E^x/(1 + 3*E^x + 3*E^(2*x) - 15*
x), x] + 5*Defer[Int][(E^x + E^(2*x) - 5*x)^(-1), x] + Defer[Int][E^x/(E^x + E^(2*x) - 5*x), x] + 30*Defer[Int
][x/(1 + 3*E^x + 3*E^(2*x) - 15*x), x] - 10*Defer[Int][x/(E^x + E^(2*x) - 5*x), x]

Rubi steps

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

________________________________________________________________________________________

Mathematica [A]  time = 0.05, size = 36, normalized size = 1.29 \begin {gather*} \log \left (1+3 e^x+3 e^{2 x}-15 x\right )-\log \left (e^x+e^{2 x}-5 x\right )+\log (x) \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[(6*E^(3*x) + 3*E^(4*x) + E^(2*x)*(4 - 32*x) + E^x*(1 - 31*x) + 75*x^2)/(6*E^(3*x)*x + 3*E^(4*x)*x -
5*x^2 + 75*x^3 + E^x*(x - 30*x^2) + E^(2*x)*(4*x - 30*x^2)),x]

[Out]

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

________________________________________________________________________________________

fricas [A]  time = 0.78, size = 32, normalized size = 1.14 \begin {gather*} \log \relax (x) - \log \left (-5 \, x + e^{\left (2 \, x\right )} + e^{x}\right ) + \log \left (-15 \, x + 3 \, e^{\left (2 \, x\right )} + 3 \, e^{x} + 1\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((3*exp(x)^4+6*exp(x)^3+(-32*x+4)*exp(x)^2+(-31*x+1)*exp(x)+75*x^2)/(3*x*exp(x)^4+6*x*exp(x)^3+(-30*x
^2+4*x)*exp(x)^2+(-30*x^2+x)*exp(x)+75*x^3-5*x^2),x, algorithm="fricas")

[Out]

log(x) - log(-5*x + e^(2*x) + e^x) + log(-15*x + 3*e^(2*x) + 3*e^x + 1)

________________________________________________________________________________________

giac [A]  time = 1.26, size = 36, normalized size = 1.29 \begin {gather*} -\log \left (5 \, x - e^{\left (2 \, x\right )} - e^{x}\right ) + \log \relax (x) + \log \left (-15 \, x + 3 \, e^{\left (2 \, x\right )} + 3 \, e^{x} + 1\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((3*exp(x)^4+6*exp(x)^3+(-32*x+4)*exp(x)^2+(-31*x+1)*exp(x)+75*x^2)/(3*x*exp(x)^4+6*x*exp(x)^3+(-30*x
^2+4*x)*exp(x)^2+(-30*x^2+x)*exp(x)+75*x^3-5*x^2),x, algorithm="giac")

[Out]

-log(5*x - e^(2*x) - e^x) + log(x) + log(-15*x + 3*e^(2*x) + 3*e^x + 1)

________________________________________________________________________________________

maple [A]  time = 0.08, size = 29, normalized size = 1.04

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

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((3*exp(x)^4+6*exp(x)^3+(-32*x+4)*exp(x)^2+(-31*x+1)*exp(x)+75*x^2)/(3*x*exp(x)^4+6*x*exp(x)^3+(-30*x^2+4*x
)*exp(x)^2+(-30*x^2+x)*exp(x)+75*x^3-5*x^2),x,method=_RETURNVERBOSE)

[Out]

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

________________________________________________________________________________________

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

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((3*exp(x)^4+6*exp(x)^3+(-32*x+4)*exp(x)^2+(-31*x+1)*exp(x)+75*x^2)/(3*x*exp(x)^4+6*x*exp(x)^3+(-30*x
^2+4*x)*exp(x)^2+(-30*x^2+x)*exp(x)+75*x^3-5*x^2),x, algorithm="maxima")

[Out]

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

________________________________________________________________________________________

mupad [B]  time = 0.87, size = 36, normalized size = 1.29 \begin {gather*} \ln \left (15\,x-3\,{\mathrm {e}}^{2\,x}-3\,{\mathrm {e}}^x-1\right )-\ln \left (5\,x-{\mathrm {e}}^{2\,x}-{\mathrm {e}}^x\right )+\ln \relax (x) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((6*exp(3*x) + 3*exp(4*x) - exp(x)*(31*x - 1) - exp(2*x)*(32*x - 4) + 75*x^2)/(exp(2*x)*(4*x - 30*x^2) + 6*
x*exp(3*x) + 3*x*exp(4*x) + exp(x)*(x - 30*x^2) - 5*x^2 + 75*x^3),x)

[Out]

log(15*x - 3*exp(2*x) - 3*exp(x) - 1) - log(5*x - exp(2*x) - exp(x)) + log(x)

________________________________________________________________________________________

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

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((3*exp(x)**4+6*exp(x)**3+(-32*x+4)*exp(x)**2+(-31*x+1)*exp(x)+75*x**2)/(3*x*exp(x)**4+6*x*exp(x)**3+
(-30*x**2+4*x)*exp(x)**2+(-30*x**2+x)*exp(x)+75*x**3-5*x**2),x)

[Out]

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

________________________________________________________________________________________