Optimal. Leaf size=38 \[ 2 x-\sqrt {1-x^2} \arcsin (x)+\arccos (x) \left (\sqrt {1-x^2}+x \arcsin (x)\right ) \]
[Out]
________________________________________________________________________________________
Rubi [F]
time = 0.01, antiderivative size = 0, normalized size of antiderivative = 0.00, number of steps
used = 0, number of rules used = 0, integrand size = 0, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.000, Rules used = {}
\begin {gather*} \int \arccos (x) \arcsin (x) \, dx \end {gather*}
Verification is not applicable to the result.
[In]
[Out]
Rubi steps
\begin {gather*} \begin {aligned} \text {Integral} &=\int \arccos (x) \arcsin (x) \, dx\\ \end {aligned} \end {gather*}
________________________________________________________________________________________
Mathematica [A]
time = 0.01, size = 38, normalized size = 1.00 \begin {gather*} 2 x-\sqrt {1-x^2} \arcsin (x)+\arccos (x) \left (\sqrt {1-x^2}+x \arcsin (x)\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [F]
time = 0.00, size = 0, normalized size = 0.00 \[\int \arcsin \left (x \right ) \arccos \left (x \right )\, dx\]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 0.42, size = 34, normalized size = 0.89 \begin {gather*} {\left (x \arcsin \left (x\right ) + \sqrt {-x^{2} + 1}\right )} \arccos \left (x\right ) - \sqrt {-x^{2} + 1} \arcsin \left (x\right ) + 2 \, x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.63, size = 34, normalized size = 0.89 \begin {gather*} \frac {1}{2} \, \pi x \arccos \left (x\right ) - x \arccos \left (x\right )^{2} - \frac {1}{2} \, {\left (\pi - 4 \, \arccos \left (x\right )\right )} \sqrt {-x^{2} + 1} + 2 \, x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A]
time = 0.10, size = 34, normalized size = 0.89 \begin {gather*} x \operatorname {acos}{\left (x \right )} \operatorname {asin}{\left (x \right )} + 2 x + \sqrt {1 - x^{2}} \operatorname {acos}{\left (x \right )} - \sqrt {1 - x^{2}} \operatorname {asin}{\left (x \right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] Leaf count of result is larger than twice the leaf count of optimal. 163 vs.
\(2 (34) = 68\).
time = 0.46, size = 163, normalized size = 4.29 \begin {gather*} -\pi \left (-1\right )^{\left \lfloor -\frac {\arccos \left (x\right )}{\pi } + 1 \right \rfloor } x \arccos \left (x\right ) \left \lfloor -\frac {\arccos \left (x\right )}{\pi } + 1 \right \rfloor + \frac {1}{2} \, \pi \left (-1\right )^{\left \lfloor -\frac {\arccos \left (x\right )}{\pi } + 1 \right \rfloor } x \arccos \left (x\right ) - \left (-1\right )^{\left \lfloor -\frac {\arccos \left (x\right )}{\pi } + 1 \right \rfloor } x \arccos \left (x\right )^{2} + \pi \sqrt {-x^{2} + 1} \left (-1\right )^{\left \lfloor -\frac {\arccos \left (x\right )}{\pi } + 1 \right \rfloor } \left \lfloor -\frac {\arccos \left (x\right )}{\pi } + 1 \right \rfloor - \frac {1}{2} \, \pi \sqrt {-x^{2} + 1} \left (-1\right )^{\left \lfloor -\frac {\arccos \left (x\right )}{\pi } + 1 \right \rfloor } + 2 \, \sqrt {-x^{2} + 1} \left (-1\right )^{\left \lfloor -\frac {\arccos \left (x\right )}{\pi } + 1 \right \rfloor } \arccos \left (x\right ) + 2 \, \left (-1\right )^{\left \lfloor -\frac {\arccos \left (x\right )}{\pi } + 1 \right \rfloor } x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.03 \begin {gather*} \int \mathrm {acos}\left (x\right )\,\mathrm {asin}\left (x\right ) \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Chatgpt [F] Failed to verify
time = 1.00, size = 11, normalized size = 0.29 \begin {gather*} x \arcsin \left (x \right ) \arccos \left (x \right )+\frac {\arcsin \left (x \right )}{2} \end {gather*}
Warning: Unable to verify antiderivative.
[In]
[Out]
________________________________________________________________________________________