Optimal. Leaf size=55 \[ -\frac {x \sqrt {1-(a+b x)^2}}{b \text {ArcSin}(a+b x)}+\frac {\text {CosIntegral}(2 \text {ArcSin}(a+b x))}{b^2}+\frac {a \text {Si}(\text {ArcSin}(a+b x))}{b^2} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.09, antiderivative size = 87, normalized size of antiderivative = 1.58, number of steps
used = 8, number of rules used = 7, integrand size = 10, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.700, Rules used = {4889, 4829,
4717, 4809, 3380, 4727, 3383} \begin {gather*} \frac {\text {CosIntegral}(2 \text {ArcSin}(a+b x))}{b^2}+\frac {a \text {Si}(\text {ArcSin}(a+b x))}{b^2}+\frac {a \sqrt {1-(a+b x)^2}}{b^2 \text {ArcSin}(a+b x)}-\frac {(a+b x) \sqrt {1-(a+b x)^2}}{b^2 \text {ArcSin}(a+b x)} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 3380
Rule 3383
Rule 4717
Rule 4727
Rule 4809
Rule 4829
Rule 4889
Rubi steps
\begin {align*} \int \frac {x}{\sin ^{-1}(a+b x)^2} \, dx &=\frac {\text {Subst}\left (\int \frac {-\frac {a}{b}+\frac {x}{b}}{\sin ^{-1}(x)^2} \, dx,x,a+b x\right )}{b}\\ &=\frac {\text {Subst}\left (\int \left (-\frac {a}{b \sin ^{-1}(x)^2}+\frac {x}{b \sin ^{-1}(x)^2}\right ) \, dx,x,a+b x\right )}{b}\\ &=\frac {\text {Subst}\left (\int \frac {x}{\sin ^{-1}(x)^2} \, dx,x,a+b x\right )}{b^2}-\frac {a \text {Subst}\left (\int \frac {1}{\sin ^{-1}(x)^2} \, dx,x,a+b x\right )}{b^2}\\ &=\frac {a \sqrt {1-(a+b x)^2}}{b^2 \sin ^{-1}(a+b x)}-\frac {(a+b x) \sqrt {1-(a+b x)^2}}{b^2 \sin ^{-1}(a+b x)}+\frac {\text {Subst}\left (\int \frac {\cos (2 x)}{x} \, dx,x,\sin ^{-1}(a+b x)\right )}{b^2}+\frac {a \text {Subst}\left (\int \frac {x}{\sqrt {1-x^2} \sin ^{-1}(x)} \, dx,x,a+b x\right )}{b^2}\\ &=\frac {a \sqrt {1-(a+b x)^2}}{b^2 \sin ^{-1}(a+b x)}-\frac {(a+b x) \sqrt {1-(a+b x)^2}}{b^2 \sin ^{-1}(a+b x)}+\frac {\text {Ci}\left (2 \sin ^{-1}(a+b x)\right )}{b^2}+\frac {a \text {Subst}\left (\int \frac {\sin (x)}{x} \, dx,x,\sin ^{-1}(a+b x)\right )}{b^2}\\ &=\frac {a \sqrt {1-(a+b x)^2}}{b^2 \sin ^{-1}(a+b x)}-\frac {(a+b x) \sqrt {1-(a+b x)^2}}{b^2 \sin ^{-1}(a+b x)}+\frac {\text {Ci}\left (2 \sin ^{-1}(a+b x)\right )}{b^2}+\frac {a \text {Si}\left (\sin ^{-1}(a+b x)\right )}{b^2}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.10, size = 63, normalized size = 1.15 \begin {gather*} \frac {-b x \sqrt {1-(a+b x)^2}+\text {ArcSin}(a+b x) \text {CosIntegral}(2 \text {ArcSin}(a+b x))+a \text {ArcSin}(a+b x) \text {Si}(\text {ArcSin}(a+b x))}{b^2 \text {ArcSin}(a+b x)} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.10, size = 72, normalized size = 1.31
method | result | size |
derivativedivides | \(\frac {-\frac {\sin \left (2 \arcsin \left (b x +a \right )\right )}{2 \arcsin \left (b x +a \right )}+\cosineIntegral \left (2 \arcsin \left (b x +a \right )\right )+\frac {a \left (\sinIntegral \left (\arcsin \left (b x +a \right )\right ) \arcsin \left (b x +a \right )+\sqrt {1-\left (b x +a \right )^{2}}\right )}{\arcsin \left (b x +a \right )}}{b^{2}}\) | \(72\) |
default | \(\frac {-\frac {\sin \left (2 \arcsin \left (b x +a \right )\right )}{2 \arcsin \left (b x +a \right )}+\cosineIntegral \left (2 \arcsin \left (b x +a \right )\right )+\frac {a \left (\sinIntegral \left (\arcsin \left (b x +a \right )\right ) \arcsin \left (b x +a \right )+\sqrt {1-\left (b x +a \right )^{2}}\right )}{\arcsin \left (b x +a \right )}}{b^{2}}\) | \(72\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \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]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {x}{\operatorname {asin}^{2}{\left (a + b x \right )}}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 0.42, size = 83, normalized size = 1.51 \begin {gather*} \frac {a \operatorname {Si}\left (\arcsin \left (b x + a\right )\right )}{b^{2}} + \frac {\operatorname {Ci}\left (2 \, \arcsin \left (b x + a\right )\right )}{b^{2}} - \frac {\sqrt {-{\left (b x + a\right )}^{2} + 1} {\left (b x + a\right )}}{b^{2} \arcsin \left (b x + a\right )} + \frac {\sqrt {-{\left (b x + a\right )}^{2} + 1} a}{b^{2} \arcsin \left (b x + a\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.02 \begin {gather*} \int \frac {x}{{\mathrm {asin}\left (a+b\,x\right )}^2} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________