∫ 15+10e2−20x+(2+6x−6x2+e2(−4+4x)) log(3)__________________________________________________________________________________________ 500+1500x+125x2−1500x3+500x4+e4(2000−2000x+500x2)+e2(−2000−2000x+3500x2−1000x3)+(200x+600x2+50x3−600x4+200x5+e4(800x−800x2+200x3)+e2(−800x−800x2+1400x3−400x4)) log(3)+(20x2+60x3+5x4−60x5+20x6+e4(80x2−80x3+20x4)+e2(−80x2−80x3+140x4−40x5)) log2(3) dx [5047]

3.51.47 \(\int \frac {15+10 e^2-20 x+(2+6 x-6 x^2+e^2 (-4+4 x)) \log (3)}{500+1500 x+125 x^2-1500 x^3+500 x^4+e^4 (2000-2000 x+500 x^2)+e^2 (-2000-2000 x+3500 x^2-1000 x^3)+(200 x+600 x^2+50 x^3-600 x^4+200 x^5+e^4 (800 x-800 x^2+200 x^3)+e^2 (-800 x-800 x^2+1400 x^3-400 x^4)) \log (3)+(20 x^2+60 x^3+5 x^4-60 x^5+20 x^6+e^4 (80 x^2-80 x^3+20 x^4)+e^2 (-80 x^2-80 x^3+140 x^4-40 x^5)) \log ^2(3)} \, dx\) [5047]

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

[Out]

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

________________________________________________________________________________________

Rubi [B] Leaf count is larger than twice the leaf count of optimal. \(102\) vs. \(2(29)=58\).
time = 0.32, antiderivative size = 102, normalized size of antiderivative = 3.52, number of steps used = 2, number of rules used = 1, integrand size = 232, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.004, Rules used = {2099} \begin {gather*} \frac {\log ^2(3)}{5 (5+\log (9)) \left (10-\log (3)+e^2 \log (9)\right ) (x \log (3)+5)}-\frac {4}{5 \left (5-2 e^2\right ) \left (2 x-2 e^2+1\right ) \left (10-\log (3)+e^2 \log (9)\right )}-\frac {1}{5 \left (5-2 e^2\right ) (2-x) (5+\log (9))} \end {gather*}

Antiderivative was successfully veriﬁed.

[In]

Int[(15 + 10*E^2 - 20*x + (2 + 6*x - 6*x^2 + E^2*(-4 + 4*x))*Log[3])/(500 + 1500*x + 125*x^2 - 1500*x^3 + 500*

x^4 + E^4*(2000 - 2000*x + 500*x^2) + E^2*(-2000 - 2000*x + 3500*x^2 - 1000*x^3) + (200*x + 600*x^2 + 50*x^3 -

600*x^4 + 200*x^5 + E^4*(800*x - 800*x^2 + 200*x^3) + E^2*(-800*x - 800*x^2 + 1400*x^3 - 400*x^4))*Log[3] + (

20*x^2 + 60*x^3 + 5*x^4 - 60*x^5 + 20*x^6 + E^4*(80*x^2 - 80*x^3 + 20*x^4) + E^2*(-80*x^2 - 80*x^3 + 140*x^4 -

40*x^5))*Log[3]^2),x]

[Out]

-1/5*1/((5 - 2*E^2)*(2 - x)*(5 + Log[9])) - 4/(5*(5 - 2*E^2)*(1 - 2*E^2 + 2*x)*(10 - Log[3] + E^2*Log[9])) + L

og[3]^2/(5*(5 + x*Log[3])*(5 + Log[9])*(10 - Log[3] + E^2*Log[9]))

Rule 2099

Int[(P_)^(p_)*(Q_)^(q_.), x_Symbol] :> With[{PP = Factor[P]}, Int[ExpandIntegrand[PP^p*Q^q, x], x] /; !SumQ[N

onfreeFactors[PP, x]]] /; FreeQ[q, x] && PolyQ[P, x] && PolyQ[Q, x] && IntegerQ[p] && NeQ[P, x]

Rubi steps

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

________________________________________________________________________________________

Mathematica [B] Leaf count is larger than twice the leaf count of optimal. \(151\) vs. \(2(29)=58\).
time = 0.21, size = 151, normalized size = 5.21 \begin {gather*} \frac {1}{5} \left (\frac {25-e^2 (10+\log (81))+\log (59049)}{\left (5-2 e^2\right )^2 (-2+x) (5+\log (9))^2}-\frac {4 \left (-50+e^4 \log (81)+\log (243)-e^2 (-20+\log (531441))\right )}{\left (5-2 e^2\right )^2 \left (-1+2 e^2-2 x\right ) \left (10-\log (3)+e^2 \log (9)\right )^2}+\frac {\log ^2(3) \left (50-\log (3) \log (9)+e^2 \left (4 \log ^2(3)+\log (59049)\right )+\log (14348907)\right )}{(5+x \log (3)) (5+\log (9))^2 \left (10-\log (3)+e^2 \log (9)\right )^2}\right ) \end {gather*}

Antiderivative was successfully veriﬁed.

[In]

Integrate[(15 + 10*E^2 - 20*x + (2 + 6*x - 6*x^2 + E^2*(-4 + 4*x))*Log[3])/(500 + 1500*x + 125*x^2 - 1500*x^3

+ 500*x^4 + E^4*(2000 - 2000*x + 500*x^2) + E^2*(-2000 - 2000*x + 3500*x^2 - 1000*x^3) + (200*x + 600*x^2 + 50

*x^3 - 600*x^4 + 200*x^5 + E^4*(800*x - 800*x^2 + 200*x^3) + E^2*(-800*x - 800*x^2 + 1400*x^3 - 400*x^4))*Log[

3] + (20*x^2 + 60*x^3 + 5*x^4 - 60*x^5 + 20*x^6 + E^4*(80*x^2 - 80*x^3 + 20*x^4) + E^2*(-80*x^2 - 80*x^3 + 140

*x^4 - 40*x^5))*Log[3]^2),x]

[Out]

((25 - E^2*(10 + Log[81]) + Log[59049])/((5 - 2*E^2)^2*(-2 + x)*(5 + Log[9])^2) - (4*(-50 + E^4*Log[81] + Log[

243] - E^2*(-20 + Log[531441])))/((5 - 2*E^2)^2*(-1 + 2*E^2 - 2*x)*(10 - Log[3] + E^2*Log[9])^2) + (Log[3]^2*(

50 - Log[3]*Log[9] + E^2*(4*Log[3]^2 + Log[59049]) + Log[14348907]))/((5 + x*Log[3])*(5 + Log[9])^2*(10 - Log[

3] + E^2*Log[9])^2))/5

________________________________________________________________________________________

Maple [A]
time = 0.59, size = 27, normalized size = 0.93


method	result	size

norman	\(-\frac {1}{5 \left (x -2\right ) \left (x \ln \left (3\right )+5\right ) \left (2 \,{\mathrm e}^{2}-2 x -1\right )}\)	\(27\)
risch	\(-\frac {1}{10 \left (x^{2} {\mathrm e}^{2} \ln \left (3\right )-x^{3} \ln \left (3\right )-2 x \,{\mathrm e}^{2} \ln \left (3\right )+\frac {3 x^{2} \ln \left (3\right )}{2}+5 \,{\mathrm e}^{2} x +x \ln \left (3\right )-5 x^{2}-10 \,{\mathrm e}^{2}+\frac {15 x}{2}+5\right )}\)	\(57\)
gosper	\(-\frac {1}{5 \left (2 x^{2} {\mathrm e}^{2} \ln \left (3\right )-2 x^{3} \ln \left (3\right )-4 x \,{\mathrm e}^{2} \ln \left (3\right )+3 x^{2} \ln \left (3\right )+10 \,{\mathrm e}^{2} x +2 x \ln \left (3\right )-10 x^{2}-20 \,{\mathrm e}^{2}+15 x +10\right )}\)	\(59\)

Veriﬁcation of antiderivative is not currently implemented for this CAS.

[In]

int((((4*x-4)*exp(2)-6*x^2+6*x+2)*ln(3)+10*exp(2)-20*x+15)/(((20*x^4-80*x^3+80*x^2)*exp(2)^2+(-40*x^5+140*x^4-

80*x^3-80*x^2)*exp(2)+20*x^6-60*x^5+5*x^4+60*x^3+20*x^2)*ln(3)^2+((200*x^3-800*x^2+800*x)*exp(2)^2+(-400*x^4+1

400*x^3-800*x^2-800*x)*exp(2)+200*x^5-600*x^4+50*x^3+600*x^2+200*x)*ln(3)+(500*x^2-2000*x+2000)*exp(2)^2+(-100

0*x^3+3500*x^2-2000*x-2000)*exp(2)+500*x^4-1500*x^3+125*x^2+1500*x+500),x,method=_RETURNVERBOSE)

[Out]

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

________________________________________________________________________________________

Maxima [A]
time = 0.31, size = 51, normalized size = 1.76 \begin {gather*} \frac {1}{5 \, {\left (2 \, x^{3} \log \left (3\right ) - {\left ({\left (2 \, e^{2} + 3\right )} \log \left (3\right ) - 10\right )} x^{2} + {\left (2 \, {\left (2 \, e^{2} - 1\right )} \log \left (3\right ) - 10 \, e^{2} - 15\right )} x + 20 \, e^{2} - 10\right )}} \end {gather*}

Veriﬁcation of antiderivative is not currently implemented for this CAS.

[In]

integrate((((-4+4*x)*exp(2)-6*x^2+6*x+2)*log(3)+10*exp(2)-20*x+15)/(((20*x^4-80*x^3+80*x^2)*exp(2)^2+(-40*x^5+

140*x^4-80*x^3-80*x^2)*exp(2)+20*x^6-60*x^5+5*x^4+60*x^3+20*x^2)*log(3)^2+((200*x^3-800*x^2+800*x)*exp(2)^2+(-

400*x^4+1400*x^3-800*x^2-800*x)*exp(2)+200*x^5-600*x^4+50*x^3+600*x^2+200*x)*log(3)+(500*x^2-2000*x+2000)*exp(

2)^2+(-1000*x^3+3500*x^2-2000*x-2000)*exp(2)+500*x^4-1500*x^3+125*x^2+1500*x+500),x, algorithm="maxima")

[Out]

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

________________________________________________________________________________________

Fricas [A]
time = 0.41, size = 49, normalized size = 1.69 \begin {gather*} \frac {1}{5 \, {\left (10 \, x^{2} - 10 \, {\left (x - 2\right )} e^{2} + {\left (2 \, x^{3} - 3 \, x^{2} - 2 \, {\left (x^{2} - 2 \, x\right )} e^{2} - 2 \, x\right )} \log \left (3\right ) - 15 \, x - 10\right )}} \end {gather*}

Veriﬁcation of antiderivative is not currently implemented for this CAS.

[In]

integrate((((-4+4*x)*exp(2)-6*x^2+6*x+2)*log(3)+10*exp(2)-20*x+15)/(((20*x^4-80*x^3+80*x^2)*exp(2)^2+(-40*x^5+

140*x^4-80*x^3-80*x^2)*exp(2)+20*x^6-60*x^5+5*x^4+60*x^3+20*x^2)*log(3)^2+((200*x^3-800*x^2+800*x)*exp(2)^2+(-

400*x^4+1400*x^3-800*x^2-800*x)*exp(2)+200*x^5-600*x^4+50*x^3+600*x^2+200*x)*log(3)+(500*x^2-2000*x+2000)*exp(

2)^2+(-1000*x^3+3500*x^2-2000*x-2000)*exp(2)+500*x^4-1500*x^3+125*x^2+1500*x+500),x, algorithm="fricas")

[Out]

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

________________________________________________________________________________________

Sympy [B] Leaf count of result is larger than twice the leaf count of optimal. 56 vs. \(2 (22) = 44\).
time = 6.27, size = 56, normalized size = 1.93 \begin {gather*} \frac {1}{10 x^{3} \log {\left (3 \right )} + x^{2} \left (- 10 e^{2} \log {\left (3 \right )} - 15 \log {\left (3 \right )} + 50\right ) + x \left (- 50 e^{2} - 75 - 10 \log {\left (3 \right )} + 20 e^{2} \log {\left (3 \right )}\right ) - 50 + 100 e^{2}} \end {gather*}

Veriﬁcation of antiderivative is not currently implemented for this CAS.

[In]

integrate((((-4+4*x)*exp(2)-6*x**2+6*x+2)*ln(3)+10*exp(2)-20*x+15)/(((20*x**4-80*x**3+80*x**2)*exp(2)**2+(-40*

x**5+140*x**4-80*x**3-80*x**2)*exp(2)+20*x**6-60*x**5+5*x**4+60*x**3+20*x**2)*ln(3)**2+((200*x**3-800*x**2+800

*x)*exp(2)**2+(-400*x**4+1400*x**3-800*x**2-800*x)*exp(2)+200*x**5-600*x**4+50*x**3+600*x**2+200*x)*ln(3)+(500

*x**2-2000*x+2000)*exp(2)**2+(-1000*x**3+3500*x**2-2000*x-2000)*exp(2)+500*x**4-1500*x**3+125*x**2+1500*x+500)

,x)

[Out]

1/(10*x**3*log(3) + x**2*(-10*exp(2)*log(3) - 15*log(3) + 50) + x*(-50*exp(2) - 75 - 10*log(3) + 20*exp(2)*log

(3)) - 50 + 100*exp(2))

________________________________________________________________________________________

Giac [F(-1)] Timed out
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}

Veriﬁcation of antiderivative is not currently implemented for this CAS.

[In]

integrate((((-4+4*x)*exp(2)-6*x^2+6*x+2)*log(3)+10*exp(2)-20*x+15)/(((20*x^4-80*x^3+80*x^2)*exp(2)^2+(-40*x^5+

140*x^4-80*x^3-80*x^2)*exp(2)+20*x^6-60*x^5+5*x^4+60*x^3+20*x^2)*log(3)^2+((200*x^3-800*x^2+800*x)*exp(2)^2+(-

400*x^4+1400*x^3-800*x^2-800*x)*exp(2)+200*x^5-600*x^4+50*x^3+600*x^2+200*x)*log(3)+(500*x^2-2000*x+2000)*exp(

2)^2+(-1000*x^3+3500*x^2-2000*x-2000)*exp(2)+500*x^4-1500*x^3+125*x^2+1500*x+500),x, algorithm="giac")

[Out]

Timed out

________________________________________________________________________________________

Mupad [B]
time = 3.85, size = 95, normalized size = 3.28 \begin {gather*} \frac {4}{5\,\left (2\,{\mathrm {e}}^2-5\right )\,\left (2\,{\mathrm {e}}^2\,\ln \left (3\right )-\ln \left (3\right )+10\right )\,\left (2\,x-2\,{\mathrm {e}}^2+1\right )}-\frac {1}{5\,\left (2\,{\mathrm {e}}^2-5\right )\,\left (2\,\ln \left (3\right )+5\right )\,\left (x-2\right )}+\frac {{\ln \left (3\right )}^2}{5\,\left (2\,\ln \left (3\right )+5\right )\,\left (x\,\ln \left (3\right )+5\right )\,\left (2\,{\mathrm {e}}^2\,\ln \left (3\right )-\ln \left (3\right )+10\right )} \end {gather*}

Veriﬁcation of antiderivative is not currently implemented for this CAS.

[In]

int((10*exp(2) - 20*x + log(3)*(6*x - 6*x^2 + exp(2)*(4*x - 4) + 2) + 15)/(1500*x + exp(4)*(500*x^2 - 2000*x +

2000) + log(3)^2*(exp(4)*(80*x^2 - 80*x^3 + 20*x^4) + 20*x^2 + 60*x^3 + 5*x^4 - 60*x^5 + 20*x^6 - exp(2)*(80*

x^2 + 80*x^3 - 140*x^4 + 40*x^5)) - exp(2)*(2000*x - 3500*x^2 + 1000*x^3 + 2000) + 125*x^2 - 1500*x^3 + 500*x^

4 + log(3)*(200*x + exp(4)*(800*x - 800*x^2 + 200*x^3) - exp(2)*(800*x + 800*x^2 - 1400*x^3 + 400*x^4) + 600*x

^2 + 50*x^3 - 600*x^4 + 200*x^5) + 500),x)

[Out]

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

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

________________________________________________________________________________________

[next] [prev] [prev-tail] [front] [up]