3.73.34 27+3e4x+18x+3x2+e(3x82x2)+e2x(18+6x+e(6x164x2))27x+756x2+495x3+82x4+e4x(3x+82x2)+e2x(18x+498x2+164x3)dx

Optimal. Leaf size=24 e3+e2x+x+log(3x3+82x)

________________________________________________________________________________________

Rubi [F]  time = 1.21, antiderivative size = 0, normalized size of antiderivative = 0.00, number of steps used = 0, number of rules used = 0, integrand size = 0, number of rulesintegrand size = 0.000, Rules used = {} 27+3e4x+18x+3x2+e(3x82x2)+e2x(18+6x+e(6x164x2))27x+756x2+495x3+82x4+e4x(3x+82x2)+e2x(18x+498x2+164x3)dx

Verification is not applicable to the result.

[In]

Int[(27 + 3*E^(4*x) + 18*x + 3*x^2 + E*(-3*x - 82*x^2) + E^(2*x)*(18 + 6*x + E*(-6*x - 164*x^2)))/(27*x + 756*
x^2 + 495*x^3 + 82*x^4 + E^(4*x)*(3*x + 82*x^2) + E^(2*x)*(18*x + 498*x^2 + 164*x^3)),x]

[Out]

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

Rubi steps

integral=3e4x+6e2x(3+x)+3(3+x)2ex(3+82x)2e1+2xx(3+82x)x(3+e2x+x)2(3+82x)dx=(2e3+e2x+x+e(5+2x)(3+e2x+x)2+3x(3+82x))dx=31x(3+82x)dx+e5+2x(3+e2x+x)2dx(2e)13+e2x+xdx=(8213+82xdx)+e(5(3+e2x+x)2+2x(3+e2x+x)2)dx(2e)13+e2x+xdx+1xdx=log(x)log(3+82x)+(2e)x(3+e2x+x)2dx(2e)13+e2x+xdx+(5e)1(3+e2x+x)2dx

________________________________________________________________________________________

Mathematica [A]  time = 0.21, size = 23, normalized size = 0.96 e3+e2x+x+log(x)log(3+82x)

Antiderivative was successfully verified.

[In]

Integrate[(27 + 3*E^(4*x) + 18*x + 3*x^2 + E*(-3*x - 82*x^2) + E^(2*x)*(18 + 6*x + E*(-6*x - 164*x^2)))/(27*x
+ 756*x^2 + 495*x^3 + 82*x^4 + E^(4*x)*(3*x + 82*x^2) + E^(2*x)*(18*x + 498*x^2 + 164*x^3)),x]

[Out]

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

________________________________________________________________________________________

fricas [A]  time = 0.70, size = 41, normalized size = 1.71 (x+e(2x)+3)log(82x+3)(x+e(2x)+3)log(x)ex+e(2x)+3

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((3*exp(x)^4+((-164*x^2-6*x)*exp(1)+18+6*x)*exp(x)^2+(-82*x^2-3*x)*exp(1)+3*x^2+18*x+27)/((82*x^2+3*x
)*exp(x)^4+(164*x^3+498*x^2+18*x)*exp(x)^2+82*x^4+495*x^3+756*x^2+27*x),x, algorithm="fricas")

[Out]

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

________________________________________________________________________________________

giac [B]  time = 0.23, size = 60, normalized size = 2.50 xlog(82x+3)+e(2x)log(82x+3)xlog(x)e(2x)log(x)e+3log(82x+3)3log(x)x+e(2x)+3

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((3*exp(x)^4+((-164*x^2-6*x)*exp(1)+18+6*x)*exp(x)^2+(-82*x^2-3*x)*exp(1)+3*x^2+18*x+27)/((82*x^2+3*x
)*exp(x)^4+(164*x^3+498*x^2+18*x)*exp(x)^2+82*x^4+495*x^3+756*x^2+27*x),x, algorithm="giac")

[Out]

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

________________________________________________________________________________________

maple [A]  time = 0.15, size = 24, normalized size = 1.00




method result size



norman ee2x+3+xln(82x+3)+ln(x) 24
risch ee2x+3+xln(82x+3)+ln(x) 24



Verification of antiderivative is not currently implemented for this CAS.

[In]

int((3*exp(x)^4+((-164*x^2-6*x)*exp(1)+18+6*x)*exp(x)^2+(-82*x^2-3*x)*exp(1)+3*x^2+18*x+27)/((82*x^2+3*x)*exp(
x)^4+(164*x^3+498*x^2+18*x)*exp(x)^2+82*x^4+495*x^3+756*x^2+27*x),x,method=_RETURNVERBOSE)

[Out]

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

________________________________________________________________________________________

maxima [A]  time = 0.41, size = 23, normalized size = 0.96 ex+e(2x)+3log(82x+3)+log(x)

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((3*exp(x)^4+((-164*x^2-6*x)*exp(1)+18+6*x)*exp(x)^2+(-82*x^2-3*x)*exp(1)+3*x^2+18*x+27)/((82*x^2+3*x
)*exp(x)^4+(164*x^3+498*x^2+18*x)*exp(x)^2+82*x^4+495*x^3+756*x^2+27*x),x, algorithm="maxima")

[Out]

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

________________________________________________________________________________________

mupad [B]  time = 4.43, size = 34, normalized size = 1.42 ln(x)ln(x+382)e2x+13+xe3x+e2x+3

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((18*x + 3*exp(4*x) + exp(2*x)*(6*x - exp(1)*(6*x + 164*x^2) + 18) - exp(1)*(3*x + 82*x^2) + 3*x^2 + 27)/(2
7*x + exp(4*x)*(3*x + 82*x^2) + exp(2*x)*(18*x + 498*x^2 + 164*x^3) + 756*x^2 + 495*x^3 + 82*x^4),x)

[Out]

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

________________________________________________________________________________________

sympy [A]  time = 0.21, size = 20, normalized size = 0.83 log(x)log(x+382)+ex+e2x+3

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((3*exp(x)**4+((-164*x**2-6*x)*exp(1)+18+6*x)*exp(x)**2+(-82*x**2-3*x)*exp(1)+3*x**2+18*x+27)/((82*x*
*2+3*x)*exp(x)**4+(164*x**3+498*x**2+18*x)*exp(x)**2+82*x**4+495*x**3+756*x**2+27*x),x)

[Out]

log(x) - log(x + 3/82) + E/(x + exp(2*x) + 3)

________________________________________________________________________________________