Integrand size = 23, antiderivative size = 727 \[ \int \frac {x^3 (a+b \text {arctanh}(c+d x))}{e+f x^3} \, dx=\frac {a x}{f}+\frac {b (c+d x) \text {arctanh}(c+d x)}{d f}+\frac {\sqrt [3]{e} (a+b \text {arctanh}(c+d x)) \log \left (\frac {2}{1+c+d x}\right )}{3 f^{4/3}}-\frac {\sqrt [3]{-1} \sqrt [3]{e} (a+b \text {arctanh}(c+d x)) \log \left (\frac {2}{1+c+d x}\right )}{3 f^{4/3}}+\frac {(-1)^{2/3} \sqrt [3]{e} (a+b \text {arctanh}(c+d x)) \log \left (\frac {2}{1+c+d x}\right )}{3 f^{4/3}}-\frac {\sqrt [3]{e} (a+b \text {arctanh}(c+d x)) \log \left (\frac {2 d \left (\sqrt [3]{e}+\sqrt [3]{f} x\right )}{\left (d \sqrt [3]{e}+(1-c) \sqrt [3]{f}\right ) (1+c+d x)}\right )}{3 f^{4/3}}-\frac {(-1)^{2/3} \sqrt [3]{e} (a+b \text {arctanh}(c+d x)) \log \left (\frac {2 d \left (\sqrt [3]{e}-\sqrt [3]{-1} \sqrt [3]{f} x\right )}{\left (d \sqrt [3]{e}-\sqrt [3]{-1} (1-c) \sqrt [3]{f}\right ) (1+c+d x)}\right )}{3 f^{4/3}}+\frac {\sqrt [3]{-1} \sqrt [3]{e} (a+b \text {arctanh}(c+d x)) \log \left (\frac {2 d \left (\sqrt [3]{e}+(-1)^{2/3} \sqrt [3]{f} x\right )}{\left (d \sqrt [3]{e}+(-1)^{2/3} (1-c) \sqrt [3]{f}\right ) (1+c+d x)}\right )}{3 f^{4/3}}+\frac {b \log \left (1-(c+d x)^2\right )}{2 d f}-\frac {b \sqrt [3]{e} \operatorname {PolyLog}\left (2,1-\frac {2}{1+c+d x}\right )}{6 f^{4/3}}+\frac {\sqrt [3]{-1} b \sqrt [3]{e} \operatorname {PolyLog}\left (2,1-\frac {2}{1+c+d x}\right )}{6 f^{4/3}}-\frac {(-1)^{2/3} b \sqrt [3]{e} \operatorname {PolyLog}\left (2,1-\frac {2}{1+c+d x}\right )}{6 f^{4/3}}+\frac {b \sqrt [3]{e} \operatorname {PolyLog}\left (2,1-\frac {2 d \left (\sqrt [3]{e}+\sqrt [3]{f} x\right )}{\left (d \sqrt [3]{e}+(1-c) \sqrt [3]{f}\right ) (1+c+d x)}\right )}{6 f^{4/3}}+\frac {(-1)^{2/3} b \sqrt [3]{e} \operatorname {PolyLog}\left (2,1-\frac {2 d \left (\sqrt [3]{e}-\sqrt [3]{-1} \sqrt [3]{f} x\right )}{\left (d \sqrt [3]{e}-\sqrt [3]{-1} (1-c) \sqrt [3]{f}\right ) (1+c+d x)}\right )}{6 f^{4/3}}-\frac {\sqrt [3]{-1} b \sqrt [3]{e} \operatorname {PolyLog}\left (2,1-\frac {2 d \left (\sqrt [3]{e}+(-1)^{2/3} \sqrt [3]{f} x\right )}{\left (d \sqrt [3]{e}+(-1)^{2/3} (1-c) \sqrt [3]{f}\right ) (1+c+d x)}\right )}{6 f^{4/3}} \] Output:
a*x/f+b*(d*x+c)*arctanh(d*x+c)/d/f+1/3*e^(1/3)*(a+b*arctanh(d*x+c))*ln(2/( d*x+c+1))/f^(4/3)-1/3*(-1)^(1/3)*e^(1/3)*(a+b*arctanh(d*x+c))*ln(2/(d*x+c+ 1))/f^(4/3)+1/3*(-1)^(2/3)*e^(1/3)*(a+b*arctanh(d*x+c))*ln(2/(d*x+c+1))/f^ (4/3)-1/3*e^(1/3)*(a+b*arctanh(d*x+c))*ln(2*d*(e^(1/3)+f^(1/3)*x)/(d*e^(1/ 3)+(1-c)*f^(1/3))/(d*x+c+1))/f^(4/3)-1/3*(-1)^(2/3)*e^(1/3)*(a+b*arctanh(d *x+c))*ln(2*d*(e^(1/3)-(-1)^(1/3)*f^(1/3)*x)/(d*e^(1/3)-(-1)^(1/3)*(1-c)*f ^(1/3))/(d*x+c+1))/f^(4/3)+1/3*(-1)^(1/3)*e^(1/3)*(a+b*arctanh(d*x+c))*ln( 2*d*(e^(1/3)+(-1)^(2/3)*f^(1/3)*x)/(d*e^(1/3)+(-1)^(2/3)*(1-c)*f^(1/3))/(d *x+c+1))/f^(4/3)+1/2*b*ln(1-(d*x+c)^2)/d/f-1/6*b*e^(1/3)*polylog(2,1-2/(d* x+c+1))/f^(4/3)+1/6*(-1)^(1/3)*b*e^(1/3)*polylog(2,1-2/(d*x+c+1))/f^(4/3)- 1/6*(-1)^(2/3)*b*e^(1/3)*polylog(2,1-2/(d*x+c+1))/f^(4/3)+1/6*b*e^(1/3)*po lylog(2,1-2*d*(e^(1/3)+f^(1/3)*x)/(d*e^(1/3)+(1-c)*f^(1/3))/(d*x+c+1))/f^( 4/3)+1/6*(-1)^(2/3)*b*e^(1/3)*polylog(2,1-2*d*(e^(1/3)-(-1)^(1/3)*f^(1/3)* x)/(d*e^(1/3)-(-1)^(1/3)*(1-c)*f^(1/3))/(d*x+c+1))/f^(4/3)-1/6*(-1)^(1/3)* b*e^(1/3)*polylog(2,1-2*d*(e^(1/3)+(-1)^(2/3)*f^(1/3)*x)/(d*e^(1/3)+(-1)^( 2/3)*(1-c)*f^(1/3))/(d*x+c+1))/f^(4/3)
\[ \int \frac {x^3 (a+b \text {arctanh}(c+d x))}{e+f x^3} \, dx=\int \frac {x^3 (a+b \text {arctanh}(c+d x))}{e+f x^3} \, dx \] Input:
Integrate[(x^3*(a + b*ArcTanh[c + d*x]))/(e + f*x^3),x]
Output:
Integrate[(x^3*(a + b*ArcTanh[c + d*x]))/(e + f*x^3), x]
Time = 2.17 (sec) , antiderivative size = 956, normalized size of antiderivative = 1.31, number of steps used = 2, number of rules used = 2, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.087, Rules used = {7276, 2009}
Below are the steps used by Rubi to obtain the solution. The rule number used for the transformation is given above next to the arrow. The rules definitions used are listed below.
\(\displaystyle \int \frac {x^3 (a+b \text {arctanh}(c+d x))}{e+f x^3} \, dx\) |
\(\Big \downarrow \) 7276 |
\(\displaystyle \int \left (\frac {a x^3}{e+f x^3}+\frac {b x^3 \text {arctanh}(c+d x)}{e+f x^3}\right )dx\) |
\(\Big \downarrow \) 2009 |
\(\displaystyle \frac {a x}{f}+\frac {a \sqrt [3]{e} \arctan \left (\frac {\sqrt [3]{e}-2 \sqrt [3]{f} x}{\sqrt {3} \sqrt [3]{e}}\right )}{\sqrt {3} f^{4/3}}+\frac {b (c+d x) \text {arctanh}(c+d x)}{d f}-\frac {a \sqrt [3]{e} \log \left (\sqrt [3]{f} x+\sqrt [3]{e}\right )}{3 f^{4/3}}+\frac {b \sqrt [3]{e} \log (-c-d x+1) \log \left (\frac {d \left (\sqrt [3]{f} x+\sqrt [3]{e}\right )}{\sqrt [3]{f} (1-c)+d \sqrt [3]{e}}\right )}{6 f^{4/3}}-\frac {b \sqrt [3]{e} \log (c+d x+1) \log \left (\frac {d \left (\sqrt [3]{f} x+\sqrt [3]{e}\right )}{d \sqrt [3]{e}-(c+1) \sqrt [3]{f}}\right )}{6 f^{4/3}}+\frac {(-1)^{2/3} b \sqrt [3]{e} \log (-c-d x+1) \log \left (\frac {d \left (\sqrt [3]{e}-\sqrt [3]{-1} \sqrt [3]{f} x\right )}{d \sqrt [3]{e}-\sqrt [3]{-1} (1-c) \sqrt [3]{f}}\right )}{6 f^{4/3}}-\frac {(-1)^{2/3} b \sqrt [3]{e} \log (c+d x+1) \log \left (\frac {d \left (\sqrt [3]{e}-\sqrt [3]{-1} \sqrt [3]{f} x\right )}{\sqrt [3]{-1} \sqrt [3]{f} (c+1)+d \sqrt [3]{e}}\right )}{6 f^{4/3}}-\frac {\sqrt [3]{-1} b \sqrt [3]{e} \log (-c-d x+1) \log \left (\frac {d \left ((-1)^{2/3} \sqrt [3]{f} x+\sqrt [3]{e}\right )}{(-1)^{2/3} \sqrt [3]{f} (1-c)+d \sqrt [3]{e}}\right )}{6 f^{4/3}}+\frac {\sqrt [3]{-1} b \sqrt [3]{e} \log (c+d x+1) \log \left (\frac {d \left ((-1)^{2/3} \sqrt [3]{f} x+\sqrt [3]{e}\right )}{d \sqrt [3]{e}-(-1)^{2/3} (c+1) \sqrt [3]{f}}\right )}{6 f^{4/3}}+\frac {a \sqrt [3]{e} \log \left (f^{2/3} x^2-\sqrt [3]{e} \sqrt [3]{f} x+e^{2/3}\right )}{6 f^{4/3}}+\frac {b \log \left (1-(c+d x)^2\right )}{2 d f}+\frac {b \sqrt [3]{e} \operatorname {PolyLog}\left (2,\frac {\sqrt [3]{f} (-c-d x+1)}{\sqrt [3]{f} (1-c)+d \sqrt [3]{e}}\right )}{6 f^{4/3}}+\frac {(-1)^{2/3} b \sqrt [3]{e} \operatorname {PolyLog}\left (2,-\frac {\sqrt [3]{-1} \sqrt [3]{f} (-c-d x+1)}{d \sqrt [3]{e}-\sqrt [3]{-1} (1-c) \sqrt [3]{f}}\right )}{6 f^{4/3}}-\frac {\sqrt [3]{-1} b \sqrt [3]{e} \operatorname {PolyLog}\left (2,\frac {(-1)^{2/3} \sqrt [3]{f} (-c-d x+1)}{(-1)^{2/3} \sqrt [3]{f} (1-c)+d \sqrt [3]{e}}\right )}{6 f^{4/3}}-\frac {b \sqrt [3]{e} \operatorname {PolyLog}\left (2,-\frac {\sqrt [3]{f} (c+d x+1)}{d \sqrt [3]{e}-(c+1) \sqrt [3]{f}}\right )}{6 f^{4/3}}-\frac {(-1)^{2/3} b \sqrt [3]{e} \operatorname {PolyLog}\left (2,\frac {\sqrt [3]{-1} \sqrt [3]{f} (c+d x+1)}{\sqrt [3]{-1} \sqrt [3]{f} (c+1)+d \sqrt [3]{e}}\right )}{6 f^{4/3}}+\frac {\sqrt [3]{-1} b \sqrt [3]{e} \operatorname {PolyLog}\left (2,-\frac {(-1)^{2/3} \sqrt [3]{f} (c+d x+1)}{d \sqrt [3]{e}-(-1)^{2/3} (c+1) \sqrt [3]{f}}\right )}{6 f^{4/3}}\) |
Input:
Int[(x^3*(a + b*ArcTanh[c + d*x]))/(e + f*x^3),x]
Output:
(a*x)/f + (a*e^(1/3)*ArcTan[(e^(1/3) - 2*f^(1/3)*x)/(Sqrt[3]*e^(1/3))])/(S qrt[3]*f^(4/3)) + (b*(c + d*x)*ArcTanh[c + d*x])/(d*f) - (a*e^(1/3)*Log[e^ (1/3) + f^(1/3)*x])/(3*f^(4/3)) + (b*e^(1/3)*Log[1 - c - d*x]*Log[(d*(e^(1 /3) + f^(1/3)*x))/(d*e^(1/3) + (1 - c)*f^(1/3))])/(6*f^(4/3)) - (b*e^(1/3) *Log[1 + c + d*x]*Log[(d*(e^(1/3) + f^(1/3)*x))/(d*e^(1/3) - (1 + c)*f^(1/ 3))])/(6*f^(4/3)) + ((-1)^(2/3)*b*e^(1/3)*Log[1 - c - d*x]*Log[(d*(e^(1/3) - (-1)^(1/3)*f^(1/3)*x))/(d*e^(1/3) - (-1)^(1/3)*(1 - c)*f^(1/3))])/(6*f^ (4/3)) - ((-1)^(2/3)*b*e^(1/3)*Log[1 + c + d*x]*Log[(d*(e^(1/3) - (-1)^(1/ 3)*f^(1/3)*x))/(d*e^(1/3) + (-1)^(1/3)*(1 + c)*f^(1/3))])/(6*f^(4/3)) - (( -1)^(1/3)*b*e^(1/3)*Log[1 - c - d*x]*Log[(d*(e^(1/3) + (-1)^(2/3)*f^(1/3)* x))/(d*e^(1/3) + (-1)^(2/3)*(1 - c)*f^(1/3))])/(6*f^(4/3)) + ((-1)^(1/3)*b *e^(1/3)*Log[1 + c + d*x]*Log[(d*(e^(1/3) + (-1)^(2/3)*f^(1/3)*x))/(d*e^(1 /3) - (-1)^(2/3)*(1 + c)*f^(1/3))])/(6*f^(4/3)) + (a*e^(1/3)*Log[e^(2/3) - e^(1/3)*f^(1/3)*x + f^(2/3)*x^2])/(6*f^(4/3)) + (b*Log[1 - (c + d*x)^2])/ (2*d*f) + (b*e^(1/3)*PolyLog[2, (f^(1/3)*(1 - c - d*x))/(d*e^(1/3) + (1 - c)*f^(1/3))])/(6*f^(4/3)) + ((-1)^(2/3)*b*e^(1/3)*PolyLog[2, -(((-1)^(1/3) *f^(1/3)*(1 - c - d*x))/(d*e^(1/3) - (-1)^(1/3)*(1 - c)*f^(1/3)))])/(6*f^( 4/3)) - ((-1)^(1/3)*b*e^(1/3)*PolyLog[2, ((-1)^(2/3)*f^(1/3)*(1 - c - d*x) )/(d*e^(1/3) + (-1)^(2/3)*(1 - c)*f^(1/3))])/(6*f^(4/3)) - (b*e^(1/3)*Poly Log[2, -((f^(1/3)*(1 + c + d*x))/(d*e^(1/3) - (1 + c)*f^(1/3)))])/(6*f^...
Int[(u_)/((a_) + (b_.)*(x_)^(n_)), x_Symbol] :> With[{v = RationalFunctionE xpand[u/(a + b*x^n), x]}, Int[v, x] /; SumQ[v]] /; FreeQ[{a, b}, x] && IGtQ [n, 0]
Result contains higher order function than in optimal. Order 9 vs. order 4.
Time = 0.99 (sec) , antiderivative size = 505, normalized size of antiderivative = 0.69
method | result | size |
risch | \(-\frac {b \ln \left (-d x -c +1\right ) x}{2 f}-\frac {b \ln \left (-d x -c +1\right ) c}{2 d f}+\frac {b \ln \left (-d x -c +1\right )}{2 d f}-\frac {b}{d f}+\frac {d^{2} b e \left (\munderset {\textit {\_R1} =\operatorname {RootOf}\left (f \,\textit {\_Z}^{3}+\left (3 f c -3 f \right ) \textit {\_Z}^{2}+\left (3 c^{2} f -6 f c +3 f \right ) \textit {\_Z} +c^{3} f -d^{3} e -3 c^{2} f +3 f c -f \right )}{\sum }\frac {\ln \left (-d x -c +1\right ) \ln \left (\frac {d x +\textit {\_R1} +c -1}{\textit {\_R1}}\right )+\operatorname {dilog}\left (\frac {d x +\textit {\_R1} +c -1}{\textit {\_R1}}\right )}{\textit {\_R1}^{2}+2 \textit {\_R1} c +c^{2}-2 \textit {\_R1} -2 c +1}\right )}{6 f^{2}}+\frac {a x}{f}+\frac {a c}{d f}-\frac {a}{d f}-\frac {d^{2} a \left (\munderset {\textit {\_R} =\operatorname {RootOf}\left (f \,\textit {\_Z}^{3}+\left (3 f c -3 f \right ) \textit {\_Z}^{2}+\left (3 c^{2} f -6 f c +3 f \right ) \textit {\_Z} +c^{3} f -d^{3} e -3 c^{2} f +3 f c -f \right )}{\sum }\frac {\ln \left (-d x -\textit {\_R} -c +1\right )}{\textit {\_R}^{2}+2 \textit {\_R} c +c^{2}-2 \textit {\_R} -2 c +1}\right ) e}{3 f^{2}}+\frac {b \ln \left (d x +c +1\right ) x}{2 f}+\frac {b \ln \left (d x +c +1\right ) c}{2 d f}+\frac {b \ln \left (d x +c +1\right )}{2 d f}-\frac {b \,d^{2} e \left (\munderset {\textit {\_R1} =\operatorname {RootOf}\left (f \,\textit {\_Z}^{3}+\left (-3 f c -3 f \right ) \textit {\_Z}^{2}+\left (3 c^{2} f +6 f c +3 f \right ) \textit {\_Z} -c^{3} f +d^{3} e -3 c^{2} f -3 f c -f \right )}{\sum }\frac {\ln \left (d x +c +1\right ) \ln \left (\frac {-d x +\textit {\_R1} -c -1}{\textit {\_R1}}\right )+\operatorname {dilog}\left (\frac {-d x +\textit {\_R1} -c -1}{\textit {\_R1}}\right )}{\textit {\_R1}^{2}-2 \textit {\_R1} c +c^{2}-2 \textit {\_R1} +2 c +1}\right )}{6 f^{2}}\) | \(505\) |
derivativedivides | \(\frac {\frac {a \,d^{3} \left (d x +c \right )}{f}+\frac {a \,d^{6} \left (\munderset {\textit {\_R} =\operatorname {RootOf}\left (f \,\textit {\_Z}^{3}-3 f c \,\textit {\_Z}^{2}+3 c^{2} f \textit {\_Z} -c^{3} f +d^{3} e \right )}{\sum }\frac {\ln \left (d x -\textit {\_R} +c \right )}{-\textit {\_R}^{2}+2 \textit {\_R} c -c^{2}}\right ) e}{3 f^{2}}+\frac {b \,d^{3} \operatorname {arctanh}\left (d x +c \right ) \left (d x +c \right )}{f}+\frac {b \,d^{3} \ln \left (d x +c -1\right )}{2 f}+\frac {b \,d^{3} \ln \left (d x +c +1\right )}{2 f}+\frac {2 b \,d^{6} e \left (\munderset {\textit {\_R1} =\operatorname {RootOf}\left (\left (c^{3} f -d^{3} e -3 c^{2} f +3 f c -f \right ) \textit {\_Z}^{6}+\left (3 c^{3} f -3 d^{3} e -3 c^{2} f -3 f c +3 f \right ) \textit {\_Z}^{4}+\left (3 c^{3} f -3 d^{3} e +3 c^{2} f -3 f c -3 f \right ) \textit {\_Z}^{2}+c^{3} f -d^{3} e +3 c^{2} f +3 f c +f \right )}{\sum }\frac {\textit {\_R1}^{2} \left (\operatorname {arctanh}\left (d x +c \right ) \ln \left (\frac {\textit {\_R1} -\frac {d x +c +1}{\sqrt {1-\left (d x +c \right )^{2}}}}{\textit {\_R1}}\right )+\operatorname {dilog}\left (\frac {\textit {\_R1} -\frac {d x +c +1}{\sqrt {1-\left (d x +c \right )^{2}}}}{\textit {\_R1}}\right )\right )}{\textit {\_R1}^{4} c^{3} f -\textit {\_R1}^{4} d^{3} e -3 \textit {\_R1}^{4} c^{2} f +3 \textit {\_R1}^{4} c f +2 \textit {\_R1}^{2} c^{3} f -2 \textit {\_R1}^{2} d^{3} e -\textit {\_R1}^{4} f -2 \textit {\_R1}^{2} c^{2} f -2 \textit {\_R1}^{2} c f +c^{3} f -d^{3} e +2 \textit {\_R1}^{2} f +c^{2} f -f c -f}\right )}{3 f}+\frac {2 b \,d^{6} e \left (\munderset {\textit {\_R1} =\operatorname {RootOf}\left (\left (c^{3} f -d^{3} e -3 c^{2} f +3 f c -f \right ) \textit {\_Z}^{6}+\left (3 c^{3} f -3 d^{3} e -3 c^{2} f -3 f c +3 f \right ) \textit {\_Z}^{4}+\left (3 c^{3} f -3 d^{3} e +3 c^{2} f -3 f c -3 f \right ) \textit {\_Z}^{2}+c^{3} f -d^{3} e +3 c^{2} f +3 f c +f \right )}{\sum }\frac {\operatorname {arctanh}\left (d x +c \right ) \ln \left (\frac {\textit {\_R1} -\frac {d x +c +1}{\sqrt {1-\left (d x +c \right )^{2}}}}{\textit {\_R1}}\right )+\operatorname {dilog}\left (\frac {\textit {\_R1} -\frac {d x +c +1}{\sqrt {1-\left (d x +c \right )^{2}}}}{\textit {\_R1}}\right )}{\textit {\_R1}^{4} c^{3} f -\textit {\_R1}^{4} d^{3} e -3 \textit {\_R1}^{4} c^{2} f +3 \textit {\_R1}^{4} c f +2 \textit {\_R1}^{2} c^{3} f -2 \textit {\_R1}^{2} d^{3} e -\textit {\_R1}^{4} f -2 \textit {\_R1}^{2} c^{2} f -2 \textit {\_R1}^{2} c f +c^{3} f -d^{3} e +2 \textit {\_R1}^{2} f +c^{2} f -f c -f}\right )}{3 f}}{d^{4}}\) | \(737\) |
default | \(\frac {\frac {a \,d^{3} \left (d x +c \right )}{f}+\frac {a \,d^{6} \left (\munderset {\textit {\_R} =\operatorname {RootOf}\left (f \,\textit {\_Z}^{3}-3 f c \,\textit {\_Z}^{2}+3 c^{2} f \textit {\_Z} -c^{3} f +d^{3} e \right )}{\sum }\frac {\ln \left (d x -\textit {\_R} +c \right )}{-\textit {\_R}^{2}+2 \textit {\_R} c -c^{2}}\right ) e}{3 f^{2}}+\frac {b \,d^{3} \operatorname {arctanh}\left (d x +c \right ) \left (d x +c \right )}{f}+\frac {b \,d^{3} \ln \left (d x +c -1\right )}{2 f}+\frac {b \,d^{3} \ln \left (d x +c +1\right )}{2 f}+\frac {2 b \,d^{6} e \left (\munderset {\textit {\_R1} =\operatorname {RootOf}\left (\left (c^{3} f -d^{3} e -3 c^{2} f +3 f c -f \right ) \textit {\_Z}^{6}+\left (3 c^{3} f -3 d^{3} e -3 c^{2} f -3 f c +3 f \right ) \textit {\_Z}^{4}+\left (3 c^{3} f -3 d^{3} e +3 c^{2} f -3 f c -3 f \right ) \textit {\_Z}^{2}+c^{3} f -d^{3} e +3 c^{2} f +3 f c +f \right )}{\sum }\frac {\textit {\_R1}^{2} \left (\operatorname {arctanh}\left (d x +c \right ) \ln \left (\frac {\textit {\_R1} -\frac {d x +c +1}{\sqrt {1-\left (d x +c \right )^{2}}}}{\textit {\_R1}}\right )+\operatorname {dilog}\left (\frac {\textit {\_R1} -\frac {d x +c +1}{\sqrt {1-\left (d x +c \right )^{2}}}}{\textit {\_R1}}\right )\right )}{\textit {\_R1}^{4} c^{3} f -\textit {\_R1}^{4} d^{3} e -3 \textit {\_R1}^{4} c^{2} f +3 \textit {\_R1}^{4} c f +2 \textit {\_R1}^{2} c^{3} f -2 \textit {\_R1}^{2} d^{3} e -\textit {\_R1}^{4} f -2 \textit {\_R1}^{2} c^{2} f -2 \textit {\_R1}^{2} c f +c^{3} f -d^{3} e +2 \textit {\_R1}^{2} f +c^{2} f -f c -f}\right )}{3 f}+\frac {2 b \,d^{6} e \left (\munderset {\textit {\_R1} =\operatorname {RootOf}\left (\left (c^{3} f -d^{3} e -3 c^{2} f +3 f c -f \right ) \textit {\_Z}^{6}+\left (3 c^{3} f -3 d^{3} e -3 c^{2} f -3 f c +3 f \right ) \textit {\_Z}^{4}+\left (3 c^{3} f -3 d^{3} e +3 c^{2} f -3 f c -3 f \right ) \textit {\_Z}^{2}+c^{3} f -d^{3} e +3 c^{2} f +3 f c +f \right )}{\sum }\frac {\operatorname {arctanh}\left (d x +c \right ) \ln \left (\frac {\textit {\_R1} -\frac {d x +c +1}{\sqrt {1-\left (d x +c \right )^{2}}}}{\textit {\_R1}}\right )+\operatorname {dilog}\left (\frac {\textit {\_R1} -\frac {d x +c +1}{\sqrt {1-\left (d x +c \right )^{2}}}}{\textit {\_R1}}\right )}{\textit {\_R1}^{4} c^{3} f -\textit {\_R1}^{4} d^{3} e -3 \textit {\_R1}^{4} c^{2} f +3 \textit {\_R1}^{4} c f +2 \textit {\_R1}^{2} c^{3} f -2 \textit {\_R1}^{2} d^{3} e -\textit {\_R1}^{4} f -2 \textit {\_R1}^{2} c^{2} f -2 \textit {\_R1}^{2} c f +c^{3} f -d^{3} e +2 \textit {\_R1}^{2} f +c^{2} f -f c -f}\right )}{3 f}}{d^{4}}\) | \(737\) |
parts | \(a \left (\frac {x}{f}-\frac {\left (\frac {\ln \left (x +\left (\frac {e}{f}\right )^{\frac {1}{3}}\right )}{3 f \left (\frac {e}{f}\right )^{\frac {2}{3}}}-\frac {\ln \left (x^{2}-\left (\frac {e}{f}\right )^{\frac {1}{3}} x +\left (\frac {e}{f}\right )^{\frac {2}{3}}\right )}{6 f \left (\frac {e}{f}\right )^{\frac {2}{3}}}+\frac {\sqrt {3}\, \arctan \left (\frac {\sqrt {3}\, \left (\frac {2 x}{\left (\frac {e}{f}\right )^{\frac {1}{3}}}-1\right )}{3}\right )}{3 f \left (\frac {e}{f}\right )^{\frac {2}{3}}}\right ) e}{f}\right )+\frac {b \,\operatorname {arctanh}\left (d x +c \right ) x}{f}+\frac {b \,\operatorname {arctanh}\left (d x +c \right ) c}{d f}+\frac {2 b \,d^{2} e \left (\munderset {\textit {\_R1} =\operatorname {RootOf}\left (\left (c^{3} f -d^{3} e -3 c^{2} f +3 f c -f \right ) \textit {\_Z}^{6}+\left (3 c^{3} f -3 d^{3} e -3 c^{2} f -3 f c +3 f \right ) \textit {\_Z}^{4}+\left (3 c^{3} f -3 d^{3} e +3 c^{2} f -3 f c -3 f \right ) \textit {\_Z}^{2}+c^{3} f -d^{3} e +3 c^{2} f +3 f c +f \right )}{\sum }\frac {\operatorname {arctanh}\left (d x +c \right ) \ln \left (\frac {\textit {\_R1} -\frac {d x +c +1}{\sqrt {1-\left (d x +c \right )^{2}}}}{\textit {\_R1}}\right )+\operatorname {dilog}\left (\frac {\textit {\_R1} -\frac {d x +c +1}{\sqrt {1-\left (d x +c \right )^{2}}}}{\textit {\_R1}}\right )}{\textit {\_R1}^{4} c^{3} f -\textit {\_R1}^{4} d^{3} e -3 \textit {\_R1}^{4} c^{2} f +3 \textit {\_R1}^{4} c f +2 \textit {\_R1}^{2} c^{3} f -2 \textit {\_R1}^{2} d^{3} e -\textit {\_R1}^{4} f -2 \textit {\_R1}^{2} c^{2} f -2 \textit {\_R1}^{2} c f +c^{3} f -d^{3} e +2 \textit {\_R1}^{2} f +c^{2} f -f c -f}\right )}{3 f}+\frac {2 b \,d^{2} e \left (\munderset {\textit {\_R1} =\operatorname {RootOf}\left (\left (c^{3} f -d^{3} e -3 c^{2} f +3 f c -f \right ) \textit {\_Z}^{6}+\left (3 c^{3} f -3 d^{3} e -3 c^{2} f -3 f c +3 f \right ) \textit {\_Z}^{4}+\left (3 c^{3} f -3 d^{3} e +3 c^{2} f -3 f c -3 f \right ) \textit {\_Z}^{2}+c^{3} f -d^{3} e +3 c^{2} f +3 f c +f \right )}{\sum }\frac {\textit {\_R1}^{2} \left (\operatorname {arctanh}\left (d x +c \right ) \ln \left (\frac {\textit {\_R1} -\frac {d x +c +1}{\sqrt {1-\left (d x +c \right )^{2}}}}{\textit {\_R1}}\right )+\operatorname {dilog}\left (\frac {\textit {\_R1} -\frac {d x +c +1}{\sqrt {1-\left (d x +c \right )^{2}}}}{\textit {\_R1}}\right )\right )}{\textit {\_R1}^{4} c^{3} f -\textit {\_R1}^{4} d^{3} e -3 \textit {\_R1}^{4} c^{2} f +3 \textit {\_R1}^{4} c f +2 \textit {\_R1}^{2} c^{3} f -2 \textit {\_R1}^{2} d^{3} e -\textit {\_R1}^{4} f -2 \textit {\_R1}^{2} c^{2} f -2 \textit {\_R1}^{2} c f +c^{3} f -d^{3} e +2 \textit {\_R1}^{2} f +c^{2} f -f c -f}\right )}{3 f}+\frac {b \ln \left (d x +c -1\right )}{2 d f}+\frac {b \ln \left (d x +c +1\right )}{2 d f}\) | \(760\) |
Input:
int(x^3*(a+b*arctanh(d*x+c))/(f*x^3+e),x,method=_RETURNVERBOSE)
Output:
-1/2*b/f*ln(-d*x-c+1)*x-1/2/d*b/f*ln(-d*x-c+1)*c+1/2/d*b/f*ln(-d*x-c+1)-1/ d*b/f+1/6*d^2*b*e/f^2*sum(1/(_R1^2+2*_R1*c+c^2-2*_R1-2*c+1)*(ln(-d*x-c+1)* ln((d*x+_R1+c-1)/_R1)+dilog((d*x+_R1+c-1)/_R1)),_R1=RootOf(f*_Z^3+(3*c*f-3 *f)*_Z^2+(3*c^2*f-6*c*f+3*f)*_Z+c^3*f-d^3*e-3*c^2*f+3*f*c-f))+a*x/f+1/d*a/ f*c-1/d*a/f-1/3*d^2*a/f^2*sum(1/(_R^2+2*_R*c+c^2-2*_R-2*c+1)*ln(-d*x-_R-c+ 1),_R=RootOf(f*_Z^3+(3*c*f-3*f)*_Z^2+(3*c^2*f-6*c*f+3*f)*_Z+c^3*f-d^3*e-3* c^2*f+3*f*c-f))*e+1/2*b/f*ln(d*x+c+1)*x+1/2*b/d/f*ln(d*x+c+1)*c+1/2*b/d/f* ln(d*x+c+1)-1/6*b*d^2*e/f^2*sum(1/(_R1^2-2*_R1*c+c^2-2*_R1+2*c+1)*(ln(d*x+ c+1)*ln((-d*x+_R1-c-1)/_R1)+dilog((-d*x+_R1-c-1)/_R1)),_R1=RootOf(f*_Z^3+( -3*c*f-3*f)*_Z^2+(3*c^2*f+6*c*f+3*f)*_Z-c^3*f+d^3*e-3*c^2*f-3*f*c-f))
\[ \int \frac {x^3 (a+b \text {arctanh}(c+d x))}{e+f x^3} \, dx=\int { \frac {{\left (b \operatorname {artanh}\left (d x + c\right ) + a\right )} x^{3}}{f x^{3} + e} \,d x } \] Input:
integrate(x^3*(a+b*arctanh(d*x+c))/(f*x^3+e),x, algorithm="fricas")
Output:
integral((b*x^3*arctanh(d*x + c) + a*x^3)/(f*x^3 + e), x)
Timed out. \[ \int \frac {x^3 (a+b \text {arctanh}(c+d x))}{e+f x^3} \, dx=\text {Timed out} \] Input:
integrate(x**3*(a+b*atanh(d*x+c))/(f*x**3+e),x)
Output:
Timed out
Exception generated. \[ \int \frac {x^3 (a+b \text {arctanh}(c+d x))}{e+f x^3} \, dx=\text {Exception raised: ValueError} \] Input:
integrate(x^3*(a+b*arctanh(d*x+c))/(f*x^3+e),x, algorithm="maxima")
Output:
Exception raised: ValueError >> Computation failed since Maxima requested additional constraints; using the 'assume' command before evaluation *may* help (example of legal syntax is 'assume(e>0)', see `assume?` for more de tails)Is e
\[ \int \frac {x^3 (a+b \text {arctanh}(c+d x))}{e+f x^3} \, dx=\int { \frac {{\left (b \operatorname {artanh}\left (d x + c\right ) + a\right )} x^{3}}{f x^{3} + e} \,d x } \] Input:
integrate(x^3*(a+b*arctanh(d*x+c))/(f*x^3+e),x, algorithm="giac")
Output:
integrate((b*arctanh(d*x + c) + a)*x^3/(f*x^3 + e), x)
Timed out. \[ \int \frac {x^3 (a+b \text {arctanh}(c+d x))}{e+f x^3} \, dx=\int \frac {x^3\,\left (a+b\,\mathrm {atanh}\left (c+d\,x\right )\right )}{f\,x^3+e} \,d x \] Input:
int((x^3*(a + b*atanh(c + d*x)))/(e + f*x^3),x)
Output:
int((x^3*(a + b*atanh(c + d*x)))/(e + f*x^3), x)
\[ \int \frac {x^3 (a+b \text {arctanh}(c+d x))}{e+f x^3} \, dx=\frac {2 e^{\frac {1}{3}} \sqrt {3}\, \mathit {atan} \left (\frac {e^{\frac {1}{3}}-2 f^{\frac {1}{3}} x}{e^{\frac {1}{3}} \sqrt {3}}\right ) a +e^{\frac {1}{3}} \mathrm {log}\left (e^{\frac {2}{3}}-f^{\frac {1}{3}} e^{\frac {1}{3}} x +f^{\frac {2}{3}} x^{2}\right ) a -2 e^{\frac {1}{3}} \mathrm {log}\left (e^{\frac {1}{3}}+f^{\frac {1}{3}} x \right ) a +6 f^{\frac {4}{3}} \left (\int \frac {\mathit {atanh} \left (d x +c \right ) x^{3}}{f \,x^{3}+e}d x \right ) b +6 f^{\frac {1}{3}} a x}{6 f^{\frac {4}{3}}} \] Input:
int(x^3*(a+b*atanh(d*x+c))/(f*x^3+e),x)
Output:
(2*e**(1/3)*sqrt(3)*atan((e**(1/3) - 2*f**(1/3)*x)/(e**(1/3)*sqrt(3)))*a + e**(1/3)*log(e**(2/3) - f**(1/3)*e**(1/3)*x + f**(2/3)*x**2)*a - 2*e**(1/ 3)*log(e**(1/3) + f**(1/3)*x)*a + 6*f**(1/3)*int((atanh(c + d*x)*x**3)/(e + f*x**3),x)*b*f + 6*f**(1/3)*a*x)/(6*f**(1/3)*f)