3.61.45 \(\int \frac {12 \log (3)-4 e^x \log (3)-e^x x \log (3) \log (x)+(-54+36 e^x-6 e^{2 x}) \log ^5(x)}{(54 x-36 e^x x+6 e^{2 x} x) \log ^5(x)} \, dx\)
Optimal. Leaf size=25 \[ 3-\frac {\log (3)}{6 \left (3-e^x\right ) \log ^4(x)}-\log (x) \]
________________________________________________________________________________________
Rubi [F] time = 0.65, 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 {12 \log (3)-4 e^x \log (3)-e^x x \log (3) \log (x)+\left (-54+36 e^x-6 e^{2 x}\right ) \log ^5(x)}{\left (54 x-36 e^x x+6 e^{2 x} x\right ) \log ^5(x)} \, dx \end {gather*}
Verification is not applicable to the result.
[In]
Int[(12*Log[3] - 4*E^x*Log[3] - E^x*x*Log[3]*Log[x] + (-54 + 36*E^x - 6*E^(2*x))*Log[x]^5)/((54*x - 36*E^x*x +
6*E^(2*x)*x)*Log[x]^5),x]
[Out]
-Log[x] - (Log[9]*Defer[Int][1/((-3 + E^x)*x*Log[x]^5), x])/3 - (Log[3]*Defer[Int][E^x/((-3 + E^x)^2*Log[x]^4)
, x])/6
Rubi steps
\begin {gather*} \begin {aligned} \text {integral} &=\int \left (-\frac {1}{x}-\frac {\log (9)}{3 \left (-3+e^x\right ) x \log ^5(x)}-\frac {e^x \log (3)}{6 \left (-3+e^x\right )^2 \log ^4(x)}\right ) \, dx\\ &=-\log (x)-\frac {1}{6} \log (3) \int \frac {e^x}{\left (-3+e^x\right )^2 \log ^4(x)} \, dx-\frac {1}{3} \log (9) \int \frac {1}{\left (-3+e^x\right ) x \log ^5(x)} \, dx\\ \end {aligned} \end {gather*}
________________________________________________________________________________________
Mathematica [A] time = 0.50, size = 22, normalized size = 0.88 \begin {gather*} \frac {\log (9)}{12 \left (-3+e^x\right ) \log ^4(x)}-\log (x) \end {gather*}
Antiderivative was successfully verified.
[In]
Integrate[(12*Log[3] - 4*E^x*Log[3] - E^x*x*Log[3]*Log[x] + (-54 + 36*E^x - 6*E^(2*x))*Log[x]^5)/((54*x - 36*E
^x*x + 6*E^(2*x)*x)*Log[x]^5),x]
[Out]
Log[9]/(12*(-3 + E^x)*Log[x]^4) - Log[x]
________________________________________________________________________________________
fricas [A] time = 0.69, size = 27, normalized size = 1.08 \begin {gather*} -\frac {6 \, {\left (e^{x} - 3\right )} \log \relax (x)^{5} - \log \relax (3)}{6 \, {\left (e^{x} - 3\right )} \log \relax (x)^{4}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate(((-6*exp(x)^2+36*exp(x)-54)*log(x)^5-x*log(3)*exp(x)*log(x)-4*log(3)*exp(x)+12*log(3))/(6*x*exp(x)^2
-36*exp(x)*x+54*x)/log(x)^5,x, algorithm="fricas")
[Out]
-1/6*(6*(e^x - 3)*log(x)^5 - log(3))/((e^x - 3)*log(x)^4)
________________________________________________________________________________________
giac [A] time = 0.17, size = 37, normalized size = 1.48 \begin {gather*} -\frac {6 \, e^{x} \log \relax (x)^{5} - 18 \, \log \relax (x)^{5} - \log \relax (3)}{6 \, {\left (e^{x} \log \relax (x)^{4} - 3 \, \log \relax (x)^{4}\right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate(((-6*exp(x)^2+36*exp(x)-54)*log(x)^5-x*log(3)*exp(x)*log(x)-4*log(3)*exp(x)+12*log(3))/(6*x*exp(x)^2
-36*exp(x)*x+54*x)/log(x)^5,x, algorithm="giac")
[Out]
-1/6*(6*e^x*log(x)^5 - 18*log(x)^5 - log(3))/(e^x*log(x)^4 - 3*log(x)^4)
________________________________________________________________________________________
maple [A] time = 0.04, size = 20, normalized size = 0.80
|
|
|
| method |
result |
size |
|
|
|
| risch |
\(-\ln \relax (x )+\frac {\ln \relax (3)}{6 \left ({\mathrm e}^{x}-3\right ) \ln \relax (x )^{4}}\) |
\(20\) |
|
|
|
| |
| |
| |
| |
|
|
|
|
Verification of antiderivative is not currently implemented for this CAS.
[In]
int(((-6*exp(x)^2+36*exp(x)-54)*ln(x)^5-x*ln(3)*exp(x)*ln(x)-4*ln(3)*exp(x)+12*ln(3))/(6*x*exp(x)^2-36*exp(x)*
x+54*x)/ln(x)^5,x,method=_RETURNVERBOSE)
[Out]
-ln(x)+1/6*ln(3)/(exp(x)-3)/ln(x)^4
________________________________________________________________________________________
maxima [A] time = 0.48, size = 25, normalized size = 1.00 \begin {gather*} \frac {\log \relax (3)}{6 \, {\left (e^{x} \log \relax (x)^{4} - 3 \, \log \relax (x)^{4}\right )}} - \log \relax (x) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate(((-6*exp(x)^2+36*exp(x)-54)*log(x)^5-x*log(3)*exp(x)*log(x)-4*log(3)*exp(x)+12*log(3))/(6*x*exp(x)^2
-36*exp(x)*x+54*x)/log(x)^5,x, algorithm="maxima")
[Out]
1/6*log(3)/(e^x*log(x)^4 - 3*log(x)^4) - log(x)
________________________________________________________________________________________
mupad [B] time = 5.04, size = 800, normalized size = 32.00 result too large to
display
Verification of antiderivative is not currently implemented for this CAS.
[In]
int(-(4*exp(x)*log(3) - 12*log(3) + log(x)^5*(6*exp(2*x) - 36*exp(x) + 54) + x*exp(x)*log(3)*log(x))/(log(x)^5
*(54*x + 6*x*exp(2*x) - 36*x*exp(x))),x)
[Out]
(log(3)/(6*(exp(x) - 3)) + (x*exp(x)*log(3)*log(x))/(24*(exp(x) - 3)^2))/log(x)^4 - log(x) + ((5*x*log(3))/48
- (3*x^2*log(3))/16 - (7*x^3*log(3))/24 + (3*x^4*log(3))/16)/(exp(2*x) - 6*exp(x) + 9) + (x^2*log(3) - (5*x^4*
log(3))/4)/(9*exp(2*x) - exp(3*x) - 27*exp(x) + 27) + ((x*log(3))/72 - log(3)/720 + (x^2*log(3))/72 - (x^3*log
(3))/36 + (x^4*log(3))/180)/(exp(x) - 3) + ((9*x^3*log(3))/4 + (9*x^4*log(3))/4)/(54*exp(2*x) - 12*exp(3*x) +
exp(4*x) - 108*exp(x) + 81) + ((x*(3*exp(x)*log(3) - exp(2*x)*log(3) + 3*x*exp(x)*log(3) + x*exp(2*x)*log(3)))
/(72*(exp(x) - 3)^3) + (x*log(x)*(exp(3*x)*log(3) - 6*exp(2*x)*log(3) + 9*exp(x)*log(3) + 27*x*exp(x)*log(3) -
3*x*exp(3*x)*log(3) + 9*x^2*exp(x)*log(3) + 12*x^2*exp(2*x)*log(3) + x^2*exp(3*x)*log(3)))/(144*(exp(x) - 3)^
4))/log(x)^2 - ((x*exp(x)*log(3))/(24*(exp(x) - 3)^2) + (x*exp(x)*log(3)*log(x)*(3*x - exp(x) + x*exp(x) + 3))
/(72*(exp(x) - 3)^3))/log(x)^3 - ((9*log(3))/80 + exp(2*x)*((3*log(3))/40 - (15*x^2*log(3))/8 + (33*x^4*log(3)
)/40) + (27*x*log(3))/16 + exp(x)*((15*x^2*log(3))/8 - (9*x*log(3))/8 - (3*log(3))/20 + (15*x^3*log(3))/4 + (3
9*x^4*log(3))/40) + (45*x^2*log(3))/16 + (9*x^3*log(3))/8 + (9*x^4*log(3))/80 + exp(3*x)*((x*log(3))/8 - log(3
)/60 + (5*x^2*log(3))/24 - (5*x^3*log(3))/12 + (13*x^4*log(3))/120) + exp(4*x)*(log(3)/720 - (x*log(3))/48 + (
5*x^2*log(3))/144 - (x^3*log(3))/72 + (x^4*log(3))/720))/(270*exp(2*x) - 90*exp(3*x) + 15*exp(4*x) - exp(5*x)
- 405*exp(x) + 243) - ((x*(exp(3*x)*log(3) - 6*exp(2*x)*log(3) + 9*exp(x)*log(3) + 27*x*exp(x)*log(3) - 3*x*ex
p(3*x)*log(3) + 9*x^2*exp(x)*log(3) + 12*x^2*exp(2*x)*log(3) + x^2*exp(3*x)*log(3)))/(144*(exp(x) - 3)^4) + (x
*log(x)*(9*exp(3*x)*log(3) - 27*exp(2*x)*log(3) - exp(4*x)*log(3) + 27*exp(x)*log(3) + 189*x*exp(x)*log(3) - 6
3*x*exp(2*x)*log(3) - 21*x*exp(3*x)*log(3) + 7*x*exp(4*x)*log(3) + 162*x^2*exp(x)*log(3) + 27*x^3*exp(x)*log(3
) + 162*x^2*exp(2*x)*log(3) - 54*x^2*exp(3*x)*log(3) + 99*x^3*exp(2*x)*log(3) - 6*x^2*exp(4*x)*log(3) + 33*x^3
*exp(3*x)*log(3) + x^3*exp(4*x)*log(3)))/(144*(exp(x) - 3)^5))/log(x)
________________________________________________________________________________________
sympy [A] time = 0.26, size = 22, normalized size = 0.88 \begin {gather*} - \log {\relax (x )} + \frac {\log {\relax (3 )}}{6 e^{x} \log {\relax (x )}^{4} - 18 \log {\relax (x )}^{4}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate(((-6*exp(x)**2+36*exp(x)-54)*ln(x)**5-x*ln(3)*exp(x)*ln(x)-4*ln(3)*exp(x)+12*ln(3))/(6*x*exp(x)**2-3
6*exp(x)*x+54*x)/ln(x)**5,x)
[Out]
-log(x) + log(3)/(6*exp(x)*log(x)**4 - 18*log(x)**4)
________________________________________________________________________________________