Optimal. Leaf size=24 \[ \text{Unintegrable}\left (\frac{\cot ^{-1}(a+b x)}{\sqrt [3]{c (a+b x)^2+c}},x\right ) \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.0533345, antiderivative size = 0, normalized size of antiderivative = 0., number of steps used = 0, number of rules used = 0, integrand size = 0, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0., Rules used = {} \[ \int \frac{\cot ^{-1}(a+b x)}{\sqrt [3]{\left (1+a^2\right ) c+2 a b c x+b^2 c x^2}} \, dx \]
Verification is Not applicable to the result.
[In]
[Out]
Rubi steps
\begin{align*} \int \frac{\cot ^{-1}(a+b x)}{\sqrt [3]{\left (1+a^2\right ) c+2 a b c x+b^2 c x^2}} \, dx &=\frac{\operatorname{Subst}\left (\int \frac{\cot ^{-1}(x)}{\sqrt [3]{c+c x^2}} \, dx,x,a+b x\right )}{b}\\ \end{align*}
Mathematica [A] time = 0.0850221, size = 180, normalized size = 7.5 \[ \frac{c \left (6 \text{Gamma}\left (\frac{11}{6}\right ) \text{Gamma}\left (\frac{7}{3}\right ) \left (4 (a+b x) \, _2F_1\left (1,\frac{4}{3};\frac{11}{6};\frac{1}{a^2+2 b x a+b^2 x^2+1}\right ) \cot ^{-1}(a+b x)+5 \left (a^2+2 a b x+b^2 x^2+1\right ) \left (2 (a+b x) \cot ^{-1}(a+b x)-3\right )\right )-5 \sqrt [3]{2} \sqrt{\pi } \text{Gamma}\left (\frac{5}{3}\right ) \text{HypergeometricPFQ}\left (\left \{1,\frac{4}{3},\frac{4}{3}\right \},\left \{\frac{11}{6},\frac{7}{3}\right \},\frac{1}{a^2+2 a b x+b^2 x^2+1}\right )\right )}{20 b \text{Gamma}\left (\frac{11}{6}\right ) \text{Gamma}\left (\frac{7}{3}\right ) \left (c \left (a^2+2 a b x+b^2 x^2+1\right )\right )^{4/3}} \]
Warning: Unable to verify antiderivative.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 1.108, size = 0, normalized size = 0. \begin{align*} \int{{\rm arccot} \left (bx+a\right ){\frac{1}{\sqrt [3]{ \left ({a}^{2}+1 \right ) c+2\,abcx+{b}^{2}c{x}^{2}}}}}\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{\operatorname{arccot}\left (b x + a\right )}{{\left (b^{2} c x^{2} + 2 \, a b c x +{\left (a^{2} + 1\right )} c\right )}^{\frac{1}{3}}}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 0., size = 0, normalized size = 0. \begin{align*}{\rm integral}\left (\frac{\operatorname{arccot}\left (b x + a\right )}{{\left (b^{2} c x^{2} + 2 \, a b c x +{\left (a^{2} + 1\right )} c\right )}^{\frac{1}{3}}}, x\right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{\operatorname{acot}{\left (a + b x \right )}}{\sqrt [3]{c \left (a^{2} + 2 a b x + b^{2} x^{2} + 1\right )}}\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{\operatorname{arccot}\left (b x + a\right )}{{\left (b^{2} c x^{2} + 2 \, a b c x +{\left (a^{2} + 1\right )} c\right )}^{\frac{1}{3}}}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]