3.6.33
Optimal. Leaf size=25
________________________________________________________________________________________
Rubi [F] time = 1.90, antiderivative size = 0, normalized size of antiderivative = 0.00,
number of steps used = 0, number of rules used = 0, integrand size = 0, = 0.000, Rules used =
{}
Verification is not applicable to the result.
[In]
Int[(x^2 + 2*x*Log[3] + Log[3]^2 + E^x*(-4 + 4*x + 4*Log[3])*Log[Log[4]])/(5*x^2 + x^3 + (10*x + 2*x^2)*Log[3]
+ (5 + x)*Log[3]^2 + (16*x^2 + 32*x*Log[3] + 16*Log[3]^2 + E^x*(4*x + 4*Log[3]))*Log[Log[4]]),x]
[Out]
x - Log[x + Log[3]] - (5 - Log[81] + 16*(1 - Log[3])*Log[Log[4]])*Defer[Int][(-x^2 - 4*E^x*Log[Log[4]] - 5*Log
[3]*(1 + (16*Log[Log[4]])/5) - 5*x*(1 + (Log[3] + 16*Log[Log[4]])/5))^(-1), x] + Defer[Int][x^2/(-x^2 - 4*E^x*
Log[Log[4]] - 5*Log[3]*(1 + (16*Log[Log[4]])/5) - 5*x*(1 + (Log[3] + 16*Log[Log[4]])/5)), x] - (3 + Log[3] + 1
6*Log[Log[4]])*Defer[Int][x/(x^2 + 4*E^x*Log[Log[4]] + 5*Log[3]*(1 + (16*Log[Log[4]])/5) + 5*x*(1 + (Log[3] +
16*Log[Log[4]])/5)), x]
Rubi steps
________________________________________________________________________________________
Mathematica [F] time = 2.13, size = 0, normalized size = 0.00
Verification is not applicable to the result.
[In]
Integrate[(x^2 + 2*x*Log[3] + Log[3]^2 + E^x*(-4 + 4*x + 4*Log[3])*Log[Log[4]])/(5*x^2 + x^3 + (10*x + 2*x^2)*
Log[3] + (5 + x)*Log[3]^2 + (16*x^2 + 32*x*Log[3] + 16*Log[3]^2 + E^x*(4*x + 4*Log[3]))*Log[Log[4]]),x]
[Out]
Integrate[(x^2 + 2*x*Log[3] + Log[3]^2 + E^x*(-4 + 4*x + 4*Log[3])*Log[Log[4]])/(5*x^2 + x^3 + (10*x + 2*x^2)*
Log[3] + (5 + x)*Log[3]^2 + (16*x^2 + 32*x*Log[3] + 16*Log[3]^2 + E^x*(4*x + 4*Log[3]))*Log[Log[4]]), x]
________________________________________________________________________________________
fricas [A] time = 0.60, size = 39, normalized size = 1.56
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate(((4*log(3)+4*x-4)*exp(x)*log(2*log(2))+log(3)^2+2*x*log(3)+x^2)/(((4*log(3)+4*x)*exp(x)+16*log(3)^2+
32*x*log(3)+16*x^2)*log(2*log(2))+(5+x)*log(3)^2+(2*x^2+10*x)*log(3)+x^3+5*x^2),x, algorithm="fricas")
[Out]
log(x^2 + (x + 5)*log(3) + 4*(4*x + e^x + 4*log(3))*log(2*log(2)) + 5*x) - log(x + log(3))
________________________________________________________________________________________
giac [B] time = 0.39, size = 61, normalized size = 2.44
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate(((4*log(3)+4*x-4)*exp(x)*log(2*log(2))+log(3)^2+2*x*log(3)+x^2)/(((4*log(3)+4*x)*exp(x)+16*log(3)^2+
32*x*log(3)+16*x^2)*log(2*log(2))+(5+x)*log(3)^2+(2*x^2+10*x)*log(3)+x^3+5*x^2),x, algorithm="giac")
[Out]
log(x^2 + x*log(3) + 16*x*log(2) + 4*e^x*log(2) + 16*log(3)*log(2) + 16*x*log(log(2)) + 4*e^x*log(log(2)) + 16
*log(3)*log(log(2)) + 5*x + 5*log(3)) - log(x + log(3))
________________________________________________________________________________________
maple [B] time = 0.36, size = 51, normalized size = 2.04
|
|
|
method |
result |
size |
|
|
|
norman |
|
|
risch |
|
|
|
|
|
|
|
|
|
|
|
|
Verification of antiderivative is not currently implemented for this CAS.
[In]
int(((4*ln(3)+4*x-4)*exp(x)*ln(2*ln(2))+ln(3)^2+2*x*ln(3)+x^2)/(((4*ln(3)+4*x)*exp(x)+16*ln(3)^2+32*x*ln(3)+16
*x^2)*ln(2*ln(2))+(5+x)*ln(3)^2+(2*x^2+10*x)*ln(3)+x^3+5*x^2),x,method=_RETURNVERBOSE)
[Out]
-ln(ln(3)+x)+ln(16*ln(3)*ln(2*ln(2))+x*ln(3)+16*x*ln(2*ln(2))+4*exp(x)*ln(2*ln(2))+x^2+5*ln(3)+5*x)
________________________________________________________________________________________
maxima [B] time = 0.50, size = 64, normalized size = 2.56
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate(((4*log(3)+4*x-4)*exp(x)*log(2*log(2))+log(3)^2+2*x*log(3)+x^2)/(((4*log(3)+4*x)*exp(x)+16*log(3)^2+
32*x*log(3)+16*x^2)*log(2*log(2))+(5+x)*log(3)^2+(2*x^2+10*x)*log(3)+x^3+5*x^2),x, algorithm="maxima")
[Out]
-log(x + log(3)) + log(1/4*(x^2 + x*(log(3) + 16*log(2) + 16*log(log(2)) + 5) + 4*(log(2) + log(log(2)))*e^x +
(16*log(log(2)) + 5)*log(3) + 16*log(3)*log(2))/(log(2) + log(log(2))))
________________________________________________________________________________________
mupad [F] time = 0.00, size = -1, normalized size = -0.04
Verification of antiderivative is not currently implemented for this CAS.
[In]
int((2*x*log(3) + log(3)^2 + x^2 + log(2*log(2))*exp(x)*(4*x + 4*log(3) - 4))/(log(3)^2*(x + 5) + log(3)*(10*x
+ 2*x^2) + 5*x^2 + x^3 + log(2*log(2))*(exp(x)*(4*x + 4*log(3)) + 32*x*log(3) + 16*log(3)^2 + 16*x^2)),x)
[Out]
int((2*x*log(3) + log(3)^2 + x^2 + log(2*log(2))*exp(x)*(4*x + 4*log(3) - 4))/(log(3)^2*(x + 5) + log(3)*(10*x
+ 2*x^2) + 5*x^2 + x^3 + log(2*log(2))*(exp(x)*(4*x + 4*log(3)) + 32*x*log(3) + 16*log(3)^2 + 16*x^2)), x)
________________________________________________________________________________________
sympy [B] time = 0.60, size = 73, normalized size = 2.92
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate(((4*ln(3)+4*x-4)*exp(x)*ln(2*ln(2))+ln(3)**2+2*x*ln(3)+x**2)/(((4*ln(3)+4*x)*exp(x)+16*ln(3)**2+32*x
*ln(3)+16*x**2)*ln(2*ln(2))+(5+x)*ln(3)**2+(2*x**2+10*x)*ln(3)+x**3+5*x**2),x)
[Out]
-log(x + log(3)) + log((x**2 + 16*x*log(log(2)) + x*log(3) + 5*x + 16*x*log(2) + 16*log(3)*log(log(2)) + 5*log
(3) + 16*log(2)*log(3))/(4*log(log(2)) + 4*log(2)) + exp(x))
________________________________________________________________________________________