3.17.32 $\int \frac{3440-2592x-872x^2+1288x^3-256x^4-128x^5+73x^6-14x^7+x^8+(80+96x-84x^2+16x^3)\log (5)}{3600-2400x-1040x^2+1320x^3-256x^4-128x^5+73x^6-14x^7+x^8}dx$

Optimal. Leaf size=35 $$x-\frac{2-\log (5)}{(3-x)(5-\frac{1}{4}x(4x-x^2))}$$

________________________________________________________________________________________

Rubi [B]  time = 18.04, antiderivative size = 1979, normalized size of antiderivative = 56.54, number of steps used = 20, number of rules used = 10, integrand size = 97, $\frac{\text{number of rules}}{\text{integrand size}}$ = 0.103, Rules used = {2074, 2101, 2081, 2079, 822, 800, 634, 618, 204, 628}

result too large to display

Warning: Unable to verify antiderivative.

[In]

Int[(3440 - 2592*x - 872*x^2 + 1288*x^3 - 256*x^4 - 128*x^5 + 73*x^6 - 14*x^7 + x^8 + (80 + 96*x - 84*x^2 + 16
*x^3)*Log[5])/(3600 - 2400*x - 1040*x^2 + 1320*x^3 - 256*x^4 - 128*x^5 + 73*x^6 - 14*x^7 + x^8),x]

[Out]

x - (230040*(1013623 - 31059*Sqrt[1065])*(2 - Log[5]))/(11*(264622680*2^(1/3) - 8108984*2^(1/3)*Sqrt[1065] - (
2632680 - 80776*Sqrt[1065])*(1013623 - 31059*Sqrt[1065])^(1/3) + (33077835 - 1013623*Sqrt[1065])*(20194 - 618*
Sqrt[1065])^(1/3) + 63701910*(103 - 3*Sqrt[1065])^(2/3) - 1948142*Sqrt[1065]*(103 - 3*Sqrt[1065])^(2/3))*(2^(1
/3)*(8*2^(1/3) + (103 - 3*Sqrt[1065])^(2/3)) - (103 - 3*Sqrt[1065])^(1/3)*(4 - 3*x))) - (4*(2 - Log[5]))/(11*(
3 - x)) - (18*2^(2/3)*(103 - 3*Sqrt[1065])^(5/3)*(1420 + (2^(1/3)*(1775 - 43*Sqrt[1065] + (355 - 7*Sqrt[1065])
*(206 - 6*Sqrt[1065])^(1/3))*(4 - 3*x))/(103 - 3*Sqrt[1065])^(2/3))*(2 - Log[5]))/(11*(329085 - 10097*Sqrt[106
5] - 4*(3195 - 103*Sqrt[1065])*(206 - 6*Sqrt[1065])^(1/3))*(4 - (206 - 6*Sqrt[1065])^(1/3) - (8*2^(2/3))/(103
- 3*Sqrt[1065])^(1/3) - 3*x)*((15*(45 + Sqrt[1065]))^(1/3)*(4 + (206 - 6*Sqrt[1065])^(1/3)) - 2*(8 + (206 - 6*
Sqrt[1065])^(1/3) + (8*2^(2/3))/(103 - 3*Sqrt[1065])^(1/3))*x + 6*x^2)) - (4*(2 - Log[5]))/(11*(20 - 4*x^2 + x
^3)) + (51120*(979149472182 - 30003654798*Sqrt[1065] - 4*(203636674 - 6239946*Sqrt[1065])^(1/3)*(101818337 - 3
119973*Sqrt[1065]) + (169616017219 - 5197469775*Sqrt[1065])*(206 - 6*Sqrt[1065])^(1/3))*Sqrt[6/(2^(2/3)*(10097
- 309*Sqrt[1065]) + 64*2^(1/3)*(103 - 3*Sqrt[1065])^(2/3) - 16*(103 - 3*Sqrt[1065])^(4/3))]*ArcTan[(2^(1/3)*(
103 - 3*Sqrt[1065] + 8*(206 - 6*Sqrt[1065])^(1/3)) + 2*(103 - 3*Sqrt[1065])^(2/3)*(4 - 3*x))/Sqrt[6*(2^(2/3)*(
10097 - 309*Sqrt[1065]) + 64*2^(1/3)*(103 - 3*Sqrt[1065])^(2/3) - 16*(103 - 3*Sqrt[1065])^(4/3))]]*(2 - Log[5]
))/(11*(103 - 3*Sqrt[1065])*(329085 - 10097*Sqrt[1065] - 4*(3195 - 103*Sqrt[1065])*(206 - 6*Sqrt[1065])^(1/3))
*(192*2^(1/3) + 2^(2/3)*(103 - 3*Sqrt[1065])^(4/3) + (103 - 3*Sqrt[1065])^(2/3)*(24 + (10097 - 309*Sqrt[1065])
^(1/3)))^2) - (18*2^(5/6)*(2^(1/3)*(4739 - 143*Sqrt[1065]) + (193 - 5*Sqrt[1065])*(103 - 3*Sqrt[1065])^(2/3))*
Sqrt[3/(2^(2/3)*(10097 - 309*Sqrt[1065]) + 64*2^(1/3)*(103 - 3*Sqrt[1065])^(2/3) - 16*(103 - 3*Sqrt[1065])^(4/
3))]*ArcTan[(2^(1/3)*(103 - 3*Sqrt[1065] + 8*(206 - 6*Sqrt[1065])^(1/3)) + 2*(103 - 3*Sqrt[1065])^(2/3)*(4 - 3
*x))/Sqrt[6*(2^(2/3)*(10097 - 309*Sqrt[1065]) + 64*2^(1/3)*(103 - 3*Sqrt[1065])^(2/3) - 16*(103 - 3*Sqrt[1065]
)^(4/3))]]*(2 - Log[5]))/(11*(192*2^(1/3) + 2^(2/3)*(103 - 3*Sqrt[1065])^(4/3) + (103 - 3*Sqrt[1065])^(2/3)*(2
4 + (10097 - 309*Sqrt[1065])^(1/3)))) + (230040*(2^(2/3)*(101818337 - 3119973*Sqrt[1065]) + 8*(1013623 - 31059
*Sqrt[1065])*(103 - 3*Sqrt[1065])^(1/3) - 5*2^(1/3)*(1013623 - 31059*Sqrt[1065])*(103 - 3*Sqrt[1065])^(2/3))*(
2 - Log[5])*Log[2^(1/3)*(8*2^(1/3) + (103 - 3*Sqrt[1065])^(2/3)) - (103 - 3*Sqrt[1065])^(1/3)*(4 - 3*x)])/(11*
(10097 - 309*Sqrt[1065])^(1/3)*(329085 - 10097*Sqrt[1065] - 4*(3195 - 103*Sqrt[1065])*(206 - 6*Sqrt[1065])^(1/
3))*(192*2^(1/3) + 2^(2/3)*(103 - 3*Sqrt[1065])^(4/3) + (103 - 3*Sqrt[1065])^(2/3)*(24 + (10097 - 309*Sqrt[106
5])^(1/3)))^2) - (6*(2*(103 - 3*Sqrt[1065]))^(1/3)*(8*2^(1/3) - 5*2^(2/3)*(103 - 3*Sqrt[1065])^(1/3) + (103 -
3*Sqrt[1065])^(2/3))*(2 - Log[5])*Log[2^(1/3)*(8*2^(1/3) + (103 - 3*Sqrt[1065])^(2/3)) - (103 - 3*Sqrt[1065])^
(1/3)*(4 - 3*x)])/(11*(192*2^(1/3) + 2^(2/3)*(103 - 3*Sqrt[1065])^(4/3) + (103 - 3*Sqrt[1065])^(2/3)*(24 + (10
097 - 309*Sqrt[1065])^(1/3)))) - (115020*(101818337 - 3119973*Sqrt[1065])*(8*2^(1/3) - 5*2^(2/3)*(103 - 3*Sqrt
[1065])^(1/3) + (103 - 3*Sqrt[1065])^(2/3))*(2 - Log[5])*Log[2^(1/3)*(45 - Sqrt[1065])*(4 + (206 - 6*Sqrt[1065
])^(1/3)) - 103*2^(1/3)*x + 3*2^(1/3)*Sqrt[1065]*x - 8*2^(2/3)*(103 - 3*Sqrt[1065])^(1/3)*x - 8*(103 - 3*Sqrt[
1065])^(2/3)*x + 3*(103 - 3*Sqrt[1065])^(2/3)*x^2])/(11*(103 - 3*Sqrt[1065])^(1/3)*(33077835 - 1013623*Sqrt[10
65] - 4*(329085 - 10097*Sqrt[1065])*(206 - 6*Sqrt[1065])^(1/3))*(192*2^(1/3) + 2^(2/3)*(103 - 3*Sqrt[1065])^(4
/3) + (103 - 3*Sqrt[1065])^(2/3)*(24 + (10097 - 309*Sqrt[1065])^(1/3)))^2) - (3*(103 - 3*Sqrt[1065])^(2/3)*(10
- (206 - 6*Sqrt[1065])^(1/3) - (8*2^(2/3))/(103 - 3*Sqrt[1065])^(1/3))*(2 - Log[5])*Log[2^(1/3)*(45 - Sqrt[10
65])*(4 + (206 - 6*Sqrt[1065])^(1/3)) - 103*2^(1/3)*x + 3*2^(1/3)*Sqrt[1065]*x - 8*2^(2/3)*(103 - 3*Sqrt[1065]
)^(1/3)*x - 8*(103 - 3*Sqrt[1065])^(2/3)*x + 3*(103 - 3*Sqrt[1065])^(2/3)*x^2])/(11*(192*2^(1/3) + 2^(2/3)*(10
3 - 3*Sqrt[1065])^(4/3) + (103 - 3*Sqrt[1065])^(2/3)*(24 + (10097 - 309*Sqrt[1065])^(1/3))))

Rule 204

Int[((a_) + (b_.)*(x_)^2)^(-1), x_Symbol] :> -Simp[ArcTan[(Rt[-b, 2]*x)/Rt[-a, 2]]/(Rt[-a, 2]*Rt[-b, 2]), x] /
; FreeQ[{a, b}, x] && PosQ[a/b] && (LtQ[a, 0] || LtQ[b, 0])

Rule 618

Int[((a_.) + (b_.)*(x_) + (c_.)*(x_)^2)^(-1), x_Symbol] :> Dist[-2, Subst[Int[1/Simp[b^2 - 4*a*c - x^2, x], x]
, x, b + 2*c*x], x] /; FreeQ[{a, b, c}, x] && NeQ[b^2 - 4*a*c, 0]

Rule 628

Int[((d_) + (e_.)*(x_))/((a_.) + (b_.)*(x_) + (c_.)*(x_)^2), x_Symbol] :> Simp[(d*Log[RemoveContent[a + b*x +
c*x^2, x]])/b, x] /; FreeQ[{a, b, c, d, e}, x] && EqQ[2*c*d - b*e, 0]

Rule 634

Int[((d_.) + (e_.)*(x_))/((a_) + (b_.)*(x_) + (c_.)*(x_)^2), x_Symbol] :> Dist[(2*c*d - b*e)/(2*c), Int[1/(a +
b*x + c*x^2), x], x] + Dist[e/(2*c), Int[(b + 2*c*x)/(a + b*x + c*x^2), x], x] /; FreeQ[{a, b, c, d, e}, x] &
& NeQ[2*c*d - b*e, 0] && NeQ[b^2 - 4*a*c, 0] &&  !NiceSqrtQ[b^2 - 4*a*c]

Rule 800

Int[(((d_.) + (e_.)*(x_))^(m_)*((f_.) + (g_.)*(x_)))/((a_.) + (b_.)*(x_) + (c_.)*(x_)^2), x_Symbol] :> Int[Exp
andIntegrand[((d + e*x)^m*(f + g*x))/(a + b*x + c*x^2), x], x] /; FreeQ[{a, b, c, d, e, f, g}, x] && NeQ[b^2 -
4*a*c, 0] && NeQ[c*d^2 - b*d*e + a*e^2, 0] && IntegerQ[m]

Rule 822

Int[((d_.) + (e_.)*(x_))^(m_)*((f_.) + (g_.)*(x_))*((a_.) + (b_.)*(x_) + (c_.)*(x_)^2)^(p_), x_Symbol] :> Simp
[((d + e*x)^(m + 1)*(f*(b*c*d - b^2*e + 2*a*c*e) - a*g*(2*c*d - b*e) + c*(f*(2*c*d - b*e) - g*(b*d - 2*a*e))*x
)*(a + b*x + c*x^2)^(p + 1))/((p + 1)*(b^2 - 4*a*c)*(c*d^2 - b*d*e + a*e^2)), x] + Dist[1/((p + 1)*(b^2 - 4*a*
c)*(c*d^2 - b*d*e + a*e^2)), Int[(d + e*x)^m*(a + b*x + c*x^2)^(p + 1)*Simp[f*(b*c*d*e*(2*p - m + 2) + b^2*e^2
*(p + m + 2) - 2*c^2*d^2*(2*p + 3) - 2*a*c*e^2*(m + 2*p + 3)) - g*(a*e*(b*e - 2*c*d*m + b*e*m) - b*d*(3*c*d -
b*e + 2*c*d*p - b*e*p)) + c*e*(g*(b*d - 2*a*e) - f*(2*c*d - b*e))*(m + 2*p + 4)*x, x], x], x] /; FreeQ[{a, b,
c, d, e, f, g, m}, x] && NeQ[b^2 - 4*a*c, 0] && NeQ[c*d^2 - b*d*e + a*e^2, 0] && LtQ[p, -1] && (IntegerQ[m] ||
IntegerQ[p] || IntegersQ[2*m, 2*p])

Rule 2074

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]

Rule 2079

Int[((e_.) + (f_.)*(x_))^(m_.)*((a_) + (b_.)*(x_) + (d_.)*(x_)^3)^(p_), x_Symbol] :> With[{r = Rt[-9*a*d^2 + S
qrt[3]*d*Sqrt[4*b^3*d + 27*a^2*d^2], 3]}, Dist[1/d^(2*p), Int[(e + f*x)^m*Simp[(18^(1/3)*b*d)/(3*r) - r/18^(1/
3) + d*x, x]^p*Simp[(b*d)/3 + (12^(1/3)*b^2*d^2)/(3*r^2) + r^2/(3*12^(1/3)) - d*((2^(1/3)*b*d)/(3^(1/3)*r) - r
/18^(1/3))*x + d^2*x^2, x]^p, x], x]] /; FreeQ[{a, b, d, e, f, m}, x] && NeQ[4*b^3 + 27*a^2*d, 0] && ILtQ[p, 0
]

Rule 2081

Int[(P3_)^(p_.)*((e_.) + (f_.)*(x_))^(m_.), x_Symbol] :> With[{a = Coeff[P3, x, 0], b = Coeff[P3, x, 1], c = C
oeff[P3, x, 2], d = Coeff[P3, x, 3]}, Subst[Int[((3*d*e - c*f)/(3*d) + f*x)^m*Simp[(2*c^3 - 9*b*c*d + 27*a*d^2
)/(27*d^2) - ((c^2 - 3*b*d)*x)/(3*d) + d*x^3, x]^p, x], x, x + c/(3*d)] /; NeQ[c, 0]] /; FreeQ[{e, f, m, p}, x
] && PolyQ[P3, x, 3]

Rule 2101

Int[(Pm_)*(Qn_)^(p_), x_Symbol] :> With[{m = Expon[Pm, x], n = Expon[Qn, x]}, Simp[(Coeff[Pm, x, m]*Qn^(p + 1)
)/(n*(p + 1)*Coeff[Qn, x, n]), x] + Dist[1/(n*Coeff[Qn, x, n]), Int[ExpandToSum[n*Coeff[Qn, x, n]*Pm - Coeff[P
m, x, m]*D[Qn, x], x]*Qn^p, x], x] /; EqQ[m, n - 1]] /; FreeQ[p, x] && PolyQ[Pm, x] && PolyQ[Qn, x] && NeQ[p,
-1]

Rubi steps

$$\begin{array}{c}\begin{array}{rl}\text{integral}& =\int (1+\frac{4(-2+\log (5))}{11(-3+x{)}^2}-\frac{4(-20-36x+3x^2)(-2+\log (5))}{11{(20-4x^2+x^3)}^2}-\frac{4(2+x)(-2+\log (5))}{11(20-4x^2+x^3)})dx\\ & =x-\frac{4(2-\log (5))}{11(3-x)}+\frac{1}{11}(4(2-\log (5)))\int \frac{-20-36x+3x^2}{{(20-4x^2+x^3)}^2}dx+\frac{1}{11}(4(2-\log (5)))\int \frac{2+x}{20-4x^2+x^3}dx\\ & =x-\frac{4(2-\log (5))}{11(3-x)}-\frac{4(2-\log (5))}{11(20-4x^2+x^3)}+\frac{1}{33}(4(2-\log (5)))\int \frac{-60-84x}{{(20-4x^2+x^3)}^2}dx+\frac{1}{11}(4(2-\log (5)))\mathrm{Subst}(\int \frac{\frac{10}{3}+x}{\frac{412}{27}-\frac{16x}{3}+x^3}dx,x,-\frac{4}{3}+x)\\ & =x-\frac{4(2-\log (5))}{11(3-x)}-\frac{4(2-\log (5))}{11(20-4x^2+x^3)}+\frac{1}{33}(4(2-\log (5)))\mathrm{Subst}(\int \frac{-172-84x}{{(\frac{412}{27}-\frac{16x}{3}+x^3)}^2}dx,x,-\frac{4}{3}+x)+\frac{1}{11}(4(2-\log (5)))\mathrm{Subst}(\int \frac{\frac{10}{3}+x}{(\frac{1}{3}\sqrt[3]{\frac{2}{103-3\sqrt{1065}}}(8\sqrt[3]{2}+{(103-3\sqrt{1065})}^{2/3})+x)(\frac{1}{9}(-16+{(206-6\sqrt{1065})}^{2/3}+\frac{128\sqrt[3]{2}}{{(103-3\sqrt{1065})}^{2/3}})-\frac{1}{3}(\sqrt[3]{206-6\sqrt{1065}}+\frac{82^{2/3}}{\sqrt[3]{103-3\sqrt{1065}}})x+x^2)}dx,x,-\frac{4}{3}+x)\\ & =x-\frac{4(2-\log (5))}{11(3-x)}-\frac{4(2-\log (5))}{11(20-4x^2+x^3)}+\frac{1}{33}(4(2-\log (5)))\mathrm{Subst}(\int \frac{-172-84x}{{(\frac{1}{3}\sqrt[3]{\frac{2}{103-3\sqrt{1065}}}(8\sqrt[3]{2}+{(103-3\sqrt{1065})}^{2/3})+x)}^2{(\frac{1}{9}(-16+{(206-6\sqrt{1065})}^{2/3}+\frac{128\sqrt[3]{2}}{{(103-3\sqrt{1065})}^{2/3}})-\frac{1}{3}(\sqrt[3]{206-6\sqrt{1065}}+\frac{82^{2/3}}{\sqrt[3]{103-3\sqrt{1065}}})x+x^2)}^2}dx,x,-\frac{4}{3}+x)+\frac{1}{11}(4(2-\log (5)))\mathrm{Subst}(\int (\frac{9{(103-3\sqrt{1065})}^{2/3}(-82^{2/3}+10\sqrt[3]{103-3\sqrt{1065}}-\sqrt[3]{2}{(103-3\sqrt{1065})}^{2/3})}{2(192\sqrt[3]{2}+2^{2/3}{(103-3\sqrt{1065})}^{4/3}+{(103-3\sqrt{1065})}^{2/3}(24+\sqrt[3]{10097-309\sqrt{1065}}))(82^{2/3}+\sqrt[3]{2}{(103-3\sqrt{1065})}^{2/3}+3\sqrt[3]{103-3\sqrt{1065}}x)}+\frac{9{(103-3\sqrt{1065})}^{2/3}(4\sqrt[3]{2}(547-15\sqrt{1065})-16{(103-3\sqrt{1065})}^{2/3}+2^{2/3}\sqrt[3]{103-3\sqrt{1065}}(263-3\sqrt{1065})+3(82^{2/3}\sqrt[3]{103-3\sqrt{1065}}-10{(103-3\sqrt{1065})}^{2/3}+\sqrt[3]{2}(103-3\sqrt{1065}))x)}{2(192\sqrt[3]{2}+2^{2/3}{(103-3\sqrt{1065})}^{4/3}+{(103-3\sqrt{1065})}^{2/3}(24+\sqrt[3]{10097-309\sqrt{1065}}))(128\sqrt[3]{2}-16{(103-3\sqrt{1065})}^{2/3}+2^{2/3}{(103-3\sqrt{1065})}^{4/3}-3\sqrt[3]{2}(103-3\sqrt{1065}+8\sqrt[3]{206-6\sqrt{1065}})x+9{(103-3\sqrt{1065})}^{2/3}{x}^2)})dx,x,-\frac{4}{3}+x)\\ & =\text{Rest of rules removed due to large latex content}\end{array}\end{array}$$

________________________________________________________________________________________

Mathematica [A]  time = 0.04, size = 36, normalized size = 1.03 $$\begin{array}{c}x+\frac{4(17182+229489\log (5)-119040\log (25))}{8591(-60+20x+12x^2-7x^3+x^4)}\end{array}$$

Antiderivative was successfully verified.

[In]

Integrate[(3440 - 2592*x - 872*x^2 + 1288*x^3 - 256*x^4 - 128*x^5 + 73*x^6 - 14*x^7 + x^8 + (80 + 96*x - 84*x^
2 + 16*x^3)*Log[5])/(3600 - 2400*x - 1040*x^2 + 1320*x^3 - 256*x^4 - 128*x^5 + 73*x^6 - 14*x^7 + x^8),x]

[Out]

x + (4*(17182 + 229489*Log[5] - 119040*Log[25]))/(8591*(-60 + 20*x + 12*x^2 - 7*x^3 + x^4))

________________________________________________________________________________________

fricas [A]  time = 0.81, size = 48, normalized size = 1.37 $$\begin{array}{c}\frac{x^5-7x^4+12x^3+20x^2-60x-4\log (5)+8}{x^4-7x^3+12x^2+20x-60}\end{array}$$

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((16*x^3-84*x^2+96*x+80)*log(5)+x^8-14*x^7+73*x^6-128*x^5-256*x^4+1288*x^3-872*x^2-2592*x+3440)/(x^8
-14*x^7+73*x^6-128*x^5-256*x^4+1320*x^3-1040*x^2-2400*x+3600),x, algorithm="fricas")

[Out]

(x^5 - 7*x^4 + 12*x^3 + 20*x^2 - 60*x - 4*log(5) + 8)/(x^4 - 7*x^3 + 12*x^2 + 20*x - 60)

________________________________________________________________________________________

giac [A]  time = 0.21, size = 28, normalized size = 0.80 $$\begin{array}{c}x-\frac{4(\log (5)-2)}{x^4-7x^3+12x^2+20x-60}\end{array}$$

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((16*x^3-84*x^2+96*x+80)*log(5)+x^8-14*x^7+73*x^6-128*x^5-256*x^4+1288*x^3-872*x^2-2592*x+3440)/(x^8
-14*x^7+73*x^6-128*x^5-256*x^4+1320*x^3-1040*x^2-2400*x+3600),x, algorithm="giac")

[Out]

x - 4*(log(5) - 2)/(x^4 - 7*x^3 + 12*x^2 + 20*x - 60)

________________________________________________________________________________________

maple [A]  time = 0.08, size = 44, normalized size = 1.26

method	result	size
norman	$\frac{x^5-412-37x^3+104x^2+80x-4\ln (5)}{x^4-7x^3+12x^2+20x-60}$	$44$
gosper	$-\frac{-x^5+37x^3-104x^2+4\ln (5)-80x+412}{x^4-7x^3+12x^2+20x-60}$	$47$
risch	$x-\frac{4\ln (5)}{x^4-7x^3+12x^2+20x-60}+\frac{8}{x^4-7x^3+12x^2+20x-60}$	$49$
default	$x-\frac{\frac{4\ln (5)}{11}-\frac{8}{11}}{x-3}-\frac{4((2-\ln (5))x^2+(\ln (5)-2)x-6+3\ln (5))}{11(x^3-4x^2+20)}$	$52$

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(((16*x^3-84*x^2+96*x+80)*ln(5)+x^8-14*x^7+73*x^6-128*x^5-256*x^4+1288*x^3-872*x^2-2592*x+3440)/(x^8-14*x^7
+73*x^6-128*x^5-256*x^4+1320*x^3-1040*x^2-2400*x+3600),x,method=_RETURNVERBOSE)

[Out]

(x^5-412-37*x^3+104*x^2+80*x-4*ln(5))/(x^4-7*x^3+12*x^2+20*x-60)

________________________________________________________________________________________

maxima [A]  time = 0.65, size = 28, normalized size = 0.80 $$\begin{array}{c}x-\frac{4(\log (5)-2)}{x^4-7x^3+12x^2+20x-60}\end{array}$$

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((16*x^3-84*x^2+96*x+80)*log(5)+x^8-14*x^7+73*x^6-128*x^5-256*x^4+1288*x^3-872*x^2-2592*x+3440)/(x^8
-14*x^7+73*x^6-128*x^5-256*x^4+1320*x^3-1040*x^2-2400*x+3600),x, algorithm="maxima")

[Out]

x - 4*(log(5) - 2)/(x^4 - 7*x^3 + 12*x^2 + 20*x - 60)

________________________________________________________________________________________

mupad [B]  time = 0.13, size = 28, normalized size = 0.80 $$\begin{array}{c}x-\frac{\ln \left(625\right)-8}{x^4-7x^3+12x^2+20x-60}\end{array}$$

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((2592*x - log(5)*(96*x - 84*x^2 + 16*x^3 + 80) + 872*x^2 - 1288*x^3 + 256*x^4 + 128*x^5 - 73*x^6 + 14*x^7
- x^8 - 3440)/(2400*x + 1040*x^2 - 1320*x^3 + 256*x^4 + 128*x^5 - 73*x^6 + 14*x^7 - x^8 - 3600),x)

[Out]

x - (log(625) - 8)/(20*x + 12*x^2 - 7*x^3 + x^4 - 60)

________________________________________________________________________________________

sympy [A]  time = 1.20, size = 26, normalized size = 0.74 $$\begin{array}{c}x+\frac{8-4\log (5)}{x^4-7x^3+12x^2+20x-60}\end{array}$$

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((16*x**3-84*x**2+96*x+80)*ln(5)+x**8-14*x**7+73*x**6-128*x**5-256*x**4+1288*x**3-872*x**2-2592*x+34
40)/(x**8-14*x**7+73*x**6-128*x**5-256*x**4+1320*x**3-1040*x**2-2400*x+3600),x)

[Out]

x + (8 - 4*log(5))/(x**4 - 7*x**3 + 12*x**2 + 20*x - 60)

________________________________________________________________________________________