Optimal. Leaf size=335 \[ \frac {\coth ^{-1}(d+e x) \log \left (\frac {2 e \left (b-\sqrt {b^2-4 a c}+2 c x\right )}{\left (2 c (1-d)+\left (b-\sqrt {b^2-4 a c}\right ) e\right ) (1+d+e x)}\right )}{\sqrt {b^2-4 a c}}-\frac {\coth ^{-1}(d+e x) \log \left (\frac {2 e \left (b+\sqrt {b^2-4 a c}+2 c x\right )}{\left (2 c (1-d)+\left (b+\sqrt {b^2-4 a c}\right ) e\right ) (1+d+e x)}\right )}{\sqrt {b^2-4 a c}}-\frac {\text {PolyLog}\left (2,1+\frac {2 \left (2 c d-\left (b-\sqrt {b^2-4 a c}\right ) e-2 c (d+e x)\right )}{\left (2 c-2 c d+b e-\sqrt {b^2-4 a c} e\right ) (1+d+e x)}\right )}{2 \sqrt {b^2-4 a c}}+\frac {\text {PolyLog}\left (2,1+\frac {2 \left (2 c d-\left (b+\sqrt {b^2-4 a c}\right ) e-2 c (d+e x)\right )}{\left (2 c (1-d)+\left (b+\sqrt {b^2-4 a c}\right ) e\right ) (1+d+e x)}\right )}{2 \sqrt {b^2-4 a c}} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.48, antiderivative size = 335, normalized size of antiderivative = 1.00, number of steps
used = 12, number of rules used = 8, integrand size = 19, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.421, Rules used = {632, 212,
6860, 6247, 6058, 2449, 2352, 2497} \begin {gather*} -\frac {\text {Li}_2\left (\frac {2 \left (2 c d-\left (b-\sqrt {b^2-4 a c}\right ) e-2 c (d+e x)\right )}{\left (-2 d c+2 c+b e-\sqrt {b^2-4 a c} e\right ) (d+e x+1)}+1\right )}{2 \sqrt {b^2-4 a c}}+\frac {\text {Li}_2\left (\frac {2 \left (2 c d-\left (b+\sqrt {b^2-4 a c}\right ) e-2 c (d+e x)\right )}{\left (2 c (1-d)+\left (b+\sqrt {b^2-4 a c}\right ) e\right ) (d+e x+1)}+1\right )}{2 \sqrt {b^2-4 a c}}+\frac {\coth ^{-1}(d+e x) \log \left (\frac {2 e \left (-\sqrt {b^2-4 a c}+b+2 c x\right )}{(d+e x+1) \left (e \left (b-\sqrt {b^2-4 a c}\right )+2 c (1-d)\right )}\right )}{\sqrt {b^2-4 a c}}-\frac {\coth ^{-1}(d+e x) \log \left (\frac {2 e \left (\sqrt {b^2-4 a c}+b+2 c x\right )}{(d+e x+1) \left (e \left (\sqrt {b^2-4 a c}+b\right )+2 c (1-d)\right )}\right )}{\sqrt {b^2-4 a c}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 212
Rule 632
Rule 2352
Rule 2449
Rule 2497
Rule 6058
Rule 6247
Rule 6860
Rubi steps
\begin {align*} \int \frac {\coth ^{-1}(d+e x)}{a+b x+c x^2} \, dx &=\int \left (\frac {2 c \coth ^{-1}(d+e x)}{\sqrt {b^2-4 a c} \left (b-\sqrt {b^2-4 a c}+2 c x\right )}-\frac {2 c \coth ^{-1}(d+e x)}{\sqrt {b^2-4 a c} \left (b+\sqrt {b^2-4 a c}+2 c x\right )}\right ) \, dx\\ &=\frac {(2 c) \int \frac {\coth ^{-1}(d+e x)}{b-\sqrt {b^2-4 a c}+2 c x} \, dx}{\sqrt {b^2-4 a c}}-\frac {(2 c) \int \frac {\coth ^{-1}(d+e x)}{b+\sqrt {b^2-4 a c}+2 c x} \, dx}{\sqrt {b^2-4 a c}}\\ &=\frac {(2 c) \text {Subst}\left (\int \frac {\coth ^{-1}(x)}{\frac {-2 c d+\left (b-\sqrt {b^2-4 a c}\right ) e}{e}+\frac {2 c x}{e}} \, dx,x,d+e x\right )}{\sqrt {b^2-4 a c} e}-\frac {(2 c) \text {Subst}\left (\int \frac {\coth ^{-1}(x)}{\frac {-2 c d+\left (b+\sqrt {b^2-4 a c}\right ) e}{e}+\frac {2 c x}{e}} \, dx,x,d+e x\right )}{\sqrt {b^2-4 a c} e}\\ &=\frac {\coth ^{-1}(d+e x) \log \left (\frac {2 e \left (b-\sqrt {b^2-4 a c}+2 c x\right )}{\left (2 c-2 c d+b e-\sqrt {b^2-4 a c} e\right ) (1+d+e x)}\right )}{\sqrt {b^2-4 a c}}-\frac {\coth ^{-1}(d+e x) \log \left (\frac {2 e \left (b+\sqrt {b^2-4 a c}+2 c x\right )}{\left (2 c (1-d)+\left (b+\sqrt {b^2-4 a c}\right ) e\right ) (1+d+e x)}\right )}{\sqrt {b^2-4 a c}}-\frac {\text {Subst}\left (\int \frac {\log \left (\frac {2 \left (\frac {-2 c d+\left (b-\sqrt {b^2-4 a c}\right ) e}{e}+\frac {2 c x}{e}\right )}{\left (\frac {2 c}{e}+\frac {-2 c d+\left (b-\sqrt {b^2-4 a c}\right ) e}{e}\right ) (1+x)}\right )}{1-x^2} \, dx,x,d+e x\right )}{\sqrt {b^2-4 a c}}+\frac {\text {Subst}\left (\int \frac {\log \left (\frac {2 \left (\frac {-2 c d+\left (b+\sqrt {b^2-4 a c}\right ) e}{e}+\frac {2 c x}{e}\right )}{\left (\frac {2 c}{e}+\frac {-2 c d+\left (b+\sqrt {b^2-4 a c}\right ) e}{e}\right ) (1+x)}\right )}{1-x^2} \, dx,x,d+e x\right )}{\sqrt {b^2-4 a c}}\\ &=\frac {\coth ^{-1}(d+e x) \log \left (\frac {2 e \left (b-\sqrt {b^2-4 a c}+2 c x\right )}{\left (2 c-2 c d+b e-\sqrt {b^2-4 a c} e\right ) (1+d+e x)}\right )}{\sqrt {b^2-4 a c}}-\frac {\coth ^{-1}(d+e x) \log \left (\frac {2 e \left (b+\sqrt {b^2-4 a c}+2 c x\right )}{\left (2 c (1-d)+\left (b+\sqrt {b^2-4 a c}\right ) e\right ) (1+d+e x)}\right )}{\sqrt {b^2-4 a c}}-\frac {\text {Li}_2\left (1-\frac {2 e \left (b-\sqrt {b^2-4 a c}+2 c x\right )}{\left (2 c-2 c d+b e-\sqrt {b^2-4 a c} e\right ) (1+d+e x)}\right )}{2 \sqrt {b^2-4 a c}}+\frac {\text {Li}_2\left (1-\frac {2 e \left (b+\sqrt {b^2-4 a c}+2 c x\right )}{\left (2 c (1-d)+\left (b+\sqrt {b^2-4 a c}\right ) e\right ) (1+d+e x)}\right )}{2 \sqrt {b^2-4 a c}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [C] Result contains complex when optimal does not.
time = 24.72, size = 1239, normalized size = 3.70 \begin {gather*} \frac {\left (1-(d+e x)^2\right ) \left (-2 \sqrt {b^2-4 a c} e e^{-\tanh ^{-1}\left (\frac {2 c (-1+d)-b e}{\sqrt {b^2-4 a c} e}\right )-\tanh ^{-1}\left (\frac {2 c (1+d)-b e}{\sqrt {b^2-4 a c} e}\right )} \left (b e \left (\sqrt {-\frac {c \left (c (1+d)^2+e (-b (1+d)+a e)\right )}{\left (b^2-4 a c\right ) e^2}} e^{\tanh ^{-1}\left (\frac {2 c (-1+d)-b e}{\sqrt {b^2-4 a c} e}\right )}-\sqrt {-\frac {c \left (c (-1+d)^2+e (b-b d+a e)\right )}{\left (b^2-4 a c\right ) e^2}} e^{\tanh ^{-1}\left (\frac {2 c (1+d)-b e}{\sqrt {b^2-4 a c} e}\right )}\right )-2 c \left ((-1+d) \sqrt {-\frac {c \left (c (1+d)^2+e (-b (1+d)+a e)\right )}{\left (b^2-4 a c\right ) e^2}} e^{\tanh ^{-1}\left (\frac {2 c (-1+d)-b e}{\sqrt {b^2-4 a c} e}\right )}-(1+d) \sqrt {-\frac {c \left (c (-1+d)^2+e (b-b d+a e)\right )}{\left (b^2-4 a c\right ) e^2}} e^{\tanh ^{-1}\left (\frac {2 c (1+d)-b e}{\sqrt {b^2-4 a c} e}\right )}+e^{\tanh ^{-1}\left (\frac {2 c (-1+d)-b e}{\sqrt {b^2-4 a c} e}\right )+\tanh ^{-1}\left (\frac {2 c (1+d)-b e}{\sqrt {b^2-4 a c} e}\right )}\right )\right ) \tanh ^{-1}\left (\frac {b+2 c x}{\sqrt {b^2-4 a c}}\right )^2+2 \left (4 c^2 \left (-1+d^2\right )-4 b c d e+b^2 e^2\right ) \tanh ^{-1}\left (\frac {b+2 c x}{\sqrt {b^2-4 a c}}\right ) \left (2 \coth ^{-1}(d+e x)+\tanh ^{-1}\left (\frac {2 c (-1+d)-b e}{\sqrt {b^2-4 a c} e}\right )-\tanh ^{-1}\left (\frac {2 c (1+d)-b e}{\sqrt {b^2-4 a c} e}\right )+\log \left (1-e^{-2 \left (\tanh ^{-1}\left (\frac {2 c (-1+d)-b e}{\sqrt {b^2-4 a c} e}\right )+\tanh ^{-1}\left (\frac {b+2 c x}{\sqrt {b^2-4 a c}}\right )\right )}\right )-\log \left (1-e^{-2 \left (\tanh ^{-1}\left (\frac {2 c (1+d)-b e}{\sqrt {b^2-4 a c} e}\right )+\tanh ^{-1}\left (\frac {b+2 c x}{\sqrt {b^2-4 a c}}\right )\right )}\right )\right )+2 \left (4 c^2 \left (-1+d^2\right )-4 b c d e+b^2 e^2\right ) \left (\tanh ^{-1}\left (\frac {2 c (-1+d)-b e}{\sqrt {b^2-4 a c} e}\right ) \left (\log \left (1-e^{-2 \left (\tanh ^{-1}\left (\frac {2 c (-1+d)-b e}{\sqrt {b^2-4 a c} e}\right )+\tanh ^{-1}\left (\frac {b+2 c x}{\sqrt {b^2-4 a c}}\right )\right )}\right )-\log \left (i \sinh \left (\tanh ^{-1}\left (\frac {2 c (-1+d)-b e}{\sqrt {b^2-4 a c} e}\right )+\tanh ^{-1}\left (\frac {b+2 c x}{\sqrt {b^2-4 a c}}\right )\right )\right )\right )+\tanh ^{-1}\left (\frac {2 c (1+d)-b e}{\sqrt {b^2-4 a c} e}\right ) \left (-\log \left (1-e^{-2 \left (\tanh ^{-1}\left (\frac {2 c (1+d)-b e}{\sqrt {b^2-4 a c} e}\right )+\tanh ^{-1}\left (\frac {b+2 c x}{\sqrt {b^2-4 a c}}\right )\right )}\right )+\log \left (i \sinh \left (\tanh ^{-1}\left (\frac {2 c (1+d)-b e}{\sqrt {b^2-4 a c} e}\right )+\tanh ^{-1}\left (\frac {b+2 c x}{\sqrt {b^2-4 a c}}\right )\right )\right )\right )\right )-\left (4 c^2 \left (-1+d^2\right )-4 b c d e+b^2 e^2\right ) \text {PolyLog}\left (2,e^{-2 \left (\tanh ^{-1}\left (\frac {2 c (-1+d)-b e}{\sqrt {b^2-4 a c} e}\right )+\tanh ^{-1}\left (\frac {b+2 c x}{\sqrt {b^2-4 a c}}\right )\right )}\right )+\left (4 c^2 \left (-1+d^2\right )-4 b c d e+b^2 e^2\right ) \text {PolyLog}\left (2,e^{-2 \left (\tanh ^{-1}\left (\frac {2 c (1+d)-b e}{\sqrt {b^2-4 a c} e}\right )+\tanh ^{-1}\left (\frac {b+2 c x}{\sqrt {b^2-4 a c}}\right )\right )}\right )\right )}{2 \sqrt {b^2-4 a c} (-2 c (-1+d)+b e) (-2 c (1+d)+b e) (d+e x)^2 \left (1-\frac {1}{(d+e x)^2}\right )} \end {gather*}
Warning: Unable to verify antiderivative.
[In]
[Out]
________________________________________________________________________________________
Maple [B] Leaf count of result is larger than twice the leaf count of optimal. \(2089\) vs.
\(2(307)=614\).
time = 1.22, size = 2090, normalized size = 6.24
method | result | size |
risch | \(-\frac {e \ln \left (e x +d -1\right ) \ln \left (\frac {-2 \left (e x +d -1\right ) c -b e +2 c d +\sqrt {-4 a c \,e^{2}+b^{2} e^{2}}-2 c}{-b e +2 c d -2 c +\sqrt {-4 a c \,e^{2}+b^{2} e^{2}}}\right )}{2 \sqrt {-4 a c \,e^{2}+b^{2} e^{2}}}+\frac {e \ln \left (e x +d -1\right ) \ln \left (\frac {2 \left (e x +d -1\right ) c +b e -2 c d +\sqrt {-4 a c \,e^{2}+b^{2} e^{2}}+2 c}{b e -2 c d +\sqrt {-4 a c \,e^{2}+b^{2} e^{2}}+2 c}\right )}{2 \sqrt {-4 a c \,e^{2}+b^{2} e^{2}}}-\frac {e \dilog \left (\frac {-2 \left (e x +d -1\right ) c -b e +2 c d +\sqrt {-4 a c \,e^{2}+b^{2} e^{2}}-2 c}{-b e +2 c d -2 c +\sqrt {-4 a c \,e^{2}+b^{2} e^{2}}}\right )}{2 \sqrt {-4 a c \,e^{2}+b^{2} e^{2}}}+\frac {e \dilog \left (\frac {2 \left (e x +d -1\right ) c +b e -2 c d +\sqrt {-4 a c \,e^{2}+b^{2} e^{2}}+2 c}{b e -2 c d +\sqrt {-4 a c \,e^{2}+b^{2} e^{2}}+2 c}\right )}{2 \sqrt {-4 a c \,e^{2}+b^{2} e^{2}}}+\frac {e \ln \left (e x +d +1\right ) \ln \left (\frac {-2 \left (e x +d +1\right ) c -b e +2 c d +\sqrt {-4 a c \,e^{2}+b^{2} e^{2}}+2 c}{-b e +2 c d +2 c +\sqrt {-4 a c \,e^{2}+b^{2} e^{2}}}\right )}{2 \sqrt {-4 a c \,e^{2}+b^{2} e^{2}}}-\frac {e \ln \left (e x +d +1\right ) \ln \left (\frac {2 \left (e x +d +1\right ) c +b e -2 c d +\sqrt {-4 a c \,e^{2}+b^{2} e^{2}}-2 c}{b e -2 c d +\sqrt {-4 a c \,e^{2}+b^{2} e^{2}}-2 c}\right )}{2 \sqrt {-4 a c \,e^{2}+b^{2} e^{2}}}+\frac {e \dilog \left (\frac {-2 \left (e x +d +1\right ) c -b e +2 c d +\sqrt {-4 a c \,e^{2}+b^{2} e^{2}}+2 c}{-b e +2 c d +2 c +\sqrt {-4 a c \,e^{2}+b^{2} e^{2}}}\right )}{2 \sqrt {-4 a c \,e^{2}+b^{2} e^{2}}}-\frac {e \dilog \left (\frac {2 \left (e x +d +1\right ) c +b e -2 c d +\sqrt {-4 a c \,e^{2}+b^{2} e^{2}}-2 c}{b e -2 c d +\sqrt {-4 a c \,e^{2}+b^{2} e^{2}}-2 c}\right )}{2 \sqrt {-4 a c \,e^{2}+b^{2} e^{2}}}\) | \(750\) |
derivativedivides | \(\text {Expression too large to display}\) | \(2090\) |
default | \(\text {Expression too large to display}\) | \(2090\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F(-2)]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Exception raised: ValueError} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] Timed out
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.00 \begin {gather*} \int \frac {\mathrm {acoth}\left (d+e\,x\right )}{c\,x^2+b\,x+a} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________