Optimal. Leaf size=19 \[ -\frac {2 \sqrt {x^3-1}}{x^2+x+1} \]
________________________________________________________________________________________
Rubi [C] time = 1.92, antiderivative size = 719, normalized size of antiderivative = 37.84, number of steps used = 27, number of rules used = 10, integrand size = 26, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.385, Rules used = {6728, 219, 2136, 2142, 2113, 21, 414, 424, 444, 37} \begin {gather*} \frac {2 (1-x)}{\sqrt {x^3-1}}+\frac {2 \sqrt [4]{3} \sqrt {2-\sqrt {3}} \left (\sqrt {3}+i\right ) \sqrt {\frac {x^2+x+1}{\left (-x-\sqrt {3}+1\right )^2}} (1-x) F\left (\sin ^{-1}\left (\frac {-x+\sqrt {3}+1}{-x-\sqrt {3}+1}\right )|-7+4 \sqrt {3}\right )}{\left (3+(2+i) \sqrt {3}\right ) \sqrt {-\frac {1-x}{\left (-x-\sqrt {3}+1\right )^2}} \sqrt {x^3-1}}-\frac {2 \sqrt [4]{3} \left (-\sqrt {3}+i\right ) \sqrt {2-\sqrt {3}} \sqrt {\frac {x^2+x+1}{\left (-x-\sqrt {3}+1\right )^2}} (1-x) F\left (\sin ^{-1}\left (\frac {-x+\sqrt {3}+1}{-x-\sqrt {3}+1}\right )|-7+4 \sqrt {3}\right )}{\left (3+(2-i) \sqrt {3}\right ) \sqrt {-\frac {1-x}{\left (-x-\sqrt {3}+1\right )^2}} \sqrt {x^3-1}}-\frac {2 \sqrt {2-\sqrt {3}} \sqrt {\frac {x^2+x+1}{\left (-x-\sqrt {3}+1\right )^2}} (1-x) F\left (\sin ^{-1}\left (\frac {-x+\sqrt {3}+1}{-x-\sqrt {3}+1}\right )|-7+4 \sqrt {3}\right )}{\sqrt [4]{3} \sqrt {-\frac {1-x}{\left (-x-\sqrt {3}+1\right )^2}} \sqrt {x^3-1}}-\frac {6 \sqrt [4]{3} \left (\sqrt {3}+(-2+i)\right ) \left (\sqrt {3}+i\right ) \sqrt {26+15 \sqrt {3}} \sqrt {\frac {x^2+x+1}{\left (-x+\sqrt {3}+1\right )^2}} (1-x) E\left (\sin ^{-1}\left (\frac {-x-\sqrt {3}+1}{-x+\sqrt {3}+1}\right )|-7-4 \sqrt {3}\right )}{\left (3+(2+i) \sqrt {3}\right )^3 \sqrt {\frac {1-x}{\left (-x+\sqrt {3}+1\right )^2}} \sqrt {x^3-1}}+\frac {6 \sqrt [4]{3} \left (1+i \sqrt {3}\right ) \left (\sqrt {3}+(-2-i)\right ) \sqrt {26+15 \sqrt {3}} \sqrt {\frac {x^2+x+1}{\left (-x+\sqrt {3}+1\right )^2}} (1-x) E\left (\sin ^{-1}\left (\frac {-x-\sqrt {3}+1}{-x+\sqrt {3}+1}\right )|-7-4 \sqrt {3}\right )}{\left (3 i+(1+2 i) \sqrt {3}\right )^3 \sqrt {\frac {1-x}{\left (-x+\sqrt {3}+1\right )^2}} \sqrt {x^3-1}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 21
Rule 37
Rule 219
Rule 414
Rule 424
Rule 444
Rule 2113
Rule 2136
Rule 2142
Rule 6728
Rubi steps
\begin {align*} \int \frac {-2-2 x+x^2}{\left (1+x+x^2\right ) \sqrt {-1+x^3}} \, dx &=\int \left (\frac {1}{\sqrt {-1+x^3}}-\frac {3 (1+x)}{\left (1+x+x^2\right ) \sqrt {-1+x^3}}\right ) \, dx\\ &=-\left (3 \int \frac {1+x}{\left (1+x+x^2\right ) \sqrt {-1+x^3}} \, dx\right )+\int \frac {1}{\sqrt {-1+x^3}} \, dx\\ &=-\frac {2 \sqrt {2-\sqrt {3}} (1-x) \sqrt {\frac {1+x+x^2}{\left (1-\sqrt {3}-x\right )^2}} F\left (\sin ^{-1}\left (\frac {1+\sqrt {3}-x}{1-\sqrt {3}-x}\right )|-7+4 \sqrt {3}\right )}{\sqrt [4]{3} \sqrt {-\frac {1-x}{\left (1-\sqrt {3}-x\right )^2}} \sqrt {-1+x^3}}-3 \int \left (\frac {1-\frac {i}{\sqrt {3}}}{\left (1-i \sqrt {3}+2 x\right ) \sqrt {-1+x^3}}+\frac {1+\frac {i}{\sqrt {3}}}{\left (1+i \sqrt {3}+2 x\right ) \sqrt {-1+x^3}}\right ) \, dx\\ &=-\frac {2 \sqrt {2-\sqrt {3}} (1-x) \sqrt {\frac {1+x+x^2}{\left (1-\sqrt {3}-x\right )^2}} F\left (\sin ^{-1}\left (\frac {1+\sqrt {3}-x}{1-\sqrt {3}-x}\right )|-7+4 \sqrt {3}\right )}{\sqrt [4]{3} \sqrt {-\frac {1-x}{\left (1-\sqrt {3}-x\right )^2}} \sqrt {-1+x^3}}-\left (3-i \sqrt {3}\right ) \int \frac {1}{\left (1-i \sqrt {3}+2 x\right ) \sqrt {-1+x^3}} \, dx-\left (3+i \sqrt {3}\right ) \int \frac {1}{\left (1+i \sqrt {3}+2 x\right ) \sqrt {-1+x^3}} \, dx\\ &=-\frac {2 \sqrt {2-\sqrt {3}} (1-x) \sqrt {\frac {1+x+x^2}{\left (1-\sqrt {3}-x\right )^2}} F\left (\sin ^{-1}\left (\frac {1+\sqrt {3}-x}{1-\sqrt {3}-x}\right )|-7+4 \sqrt {3}\right )}{\sqrt [4]{3} \sqrt {-\frac {1-x}{\left (1-\sqrt {3}-x\right )^2}} \sqrt {-1+x^3}}-\frac {\left (3 i+\sqrt {3}\right ) \int \frac {1}{\sqrt {-1+x^3}} \, dx}{3 i+(1+2 i) \sqrt {3}}-\frac {\left (2 \left (3 i+\sqrt {3}\right )\right ) \int \frac {1+\sqrt {3}-x}{\left (1-i \sqrt {3}+2 x\right ) \sqrt {-1+x^3}} \, dx}{3 i+(1+2 i) \sqrt {3}}-\frac {\left (3+i \sqrt {3}\right ) \int \frac {1}{\sqrt {-1+x^3}} \, dx}{3+(2+i) \sqrt {3}}-\frac {\left (2 \left (3+i \sqrt {3}\right )\right ) \int \frac {1+\sqrt {3}-x}{\left (1+i \sqrt {3}+2 x\right ) \sqrt {-1+x^3}} \, dx}{3+(2+i) \sqrt {3}}\\ &=-\frac {2 \sqrt {2-\sqrt {3}} (1-x) \sqrt {\frac {1+x+x^2}{\left (1-\sqrt {3}-x\right )^2}} F\left (\sin ^{-1}\left (\frac {1+\sqrt {3}-x}{1-\sqrt {3}-x}\right )|-7+4 \sqrt {3}\right )}{\sqrt [4]{3} \sqrt {-\frac {1-x}{\left (1-\sqrt {3}-x\right )^2}} \sqrt {-1+x^3}}+\frac {2 \sqrt [4]{3} \sqrt {2-\sqrt {3}} \left (1+i \sqrt {3}\right ) (1-x) \sqrt {\frac {1+x+x^2}{\left (1-\sqrt {3}-x\right )^2}} F\left (\sin ^{-1}\left (\frac {1+\sqrt {3}-x}{1-\sqrt {3}-x}\right )|-7+4 \sqrt {3}\right )}{\left (3 i+(1+2 i) \sqrt {3}\right ) \sqrt {-\frac {1-x}{\left (1-\sqrt {3}-x\right )^2}} \sqrt {-1+x^3}}+\frac {2 \sqrt [4]{3} \sqrt {2-\sqrt {3}} \left (i+\sqrt {3}\right ) (1-x) \sqrt {\frac {1+x+x^2}{\left (1-\sqrt {3}-x\right )^2}} F\left (\sin ^{-1}\left (\frac {1+\sqrt {3}-x}{1-\sqrt {3}-x}\right )|-7+4 \sqrt {3}\right )}{\left (3+(2+i) \sqrt {3}\right ) \sqrt {-\frac {1-x}{\left (1-\sqrt {3}-x\right )^2}} \sqrt {-1+x^3}}-\frac {\left (8 \sqrt [4]{3} \sqrt {2-\sqrt {3}} \left (3 i+\sqrt {3}\right ) (1-x) \sqrt {\frac {1+x+x^2}{\left (1+\sqrt {3}-x\right )^2}}\right ) \operatorname {Subst}\left (\int \frac {1}{\left (1-i \sqrt {3}+2 \left (1-\sqrt {3}\right )+\left (1-i \sqrt {3}+2 \left (1+\sqrt {3}\right )\right ) x\right ) \sqrt {1-x^2} \sqrt {7-4 \sqrt {3}+x^2}} \, dx,x,\frac {-1+\sqrt {3}+x}{1+\sqrt {3}-x}\right )}{\left (3 i+(1+2 i) \sqrt {3}\right ) \sqrt {\frac {1-x}{\left (1+\sqrt {3}-x\right )^2}} \sqrt {-1+x^3}}-\frac {\left (8 \sqrt [4]{3} \sqrt {2-\sqrt {3}} \left (3+i \sqrt {3}\right ) (1-x) \sqrt {\frac {1+x+x^2}{\left (1+\sqrt {3}-x\right )^2}}\right ) \operatorname {Subst}\left (\int \frac {1}{\left (1+i \sqrt {3}+2 \left (1-\sqrt {3}\right )+\left (1+i \sqrt {3}+2 \left (1+\sqrt {3}\right )\right ) x\right ) \sqrt {1-x^2} \sqrt {7-4 \sqrt {3}+x^2}} \, dx,x,\frac {-1+\sqrt {3}+x}{1+\sqrt {3}-x}\right )}{\left (3+(2+i) \sqrt {3}\right ) \sqrt {\frac {1-x}{\left (1+\sqrt {3}-x\right )^2}} \sqrt {-1+x^3}}\\ &=-\frac {2 \sqrt {2-\sqrt {3}} (1-x) \sqrt {\frac {1+x+x^2}{\left (1-\sqrt {3}-x\right )^2}} F\left (\sin ^{-1}\left (\frac {1+\sqrt {3}-x}{1-\sqrt {3}-x}\right )|-7+4 \sqrt {3}\right )}{\sqrt [4]{3} \sqrt {-\frac {1-x}{\left (1-\sqrt {3}-x\right )^2}} \sqrt {-1+x^3}}+\frac {2 \sqrt [4]{3} \sqrt {2-\sqrt {3}} \left (1+i \sqrt {3}\right ) (1-x) \sqrt {\frac {1+x+x^2}{\left (1-\sqrt {3}-x\right )^2}} F\left (\sin ^{-1}\left (\frac {1+\sqrt {3}-x}{1-\sqrt {3}-x}\right )|-7+4 \sqrt {3}\right )}{\left (3 i+(1+2 i) \sqrt {3}\right ) \sqrt {-\frac {1-x}{\left (1-\sqrt {3}-x\right )^2}} \sqrt {-1+x^3}}+\frac {2 \sqrt [4]{3} \sqrt {2-\sqrt {3}} \left (i+\sqrt {3}\right ) (1-x) \sqrt {\frac {1+x+x^2}{\left (1-\sqrt {3}-x\right )^2}} F\left (\sin ^{-1}\left (\frac {1+\sqrt {3}-x}{1-\sqrt {3}-x}\right )|-7+4 \sqrt {3}\right )}{\left (3+(2+i) \sqrt {3}\right ) \sqrt {-\frac {1-x}{\left (1-\sqrt {3}-x\right )^2}} \sqrt {-1+x^3}}+\frac {\left (8 \sqrt [4]{3} \sqrt {2-\sqrt {3}} \left (3+i \sqrt {3}\right ) (1-x) \sqrt {\frac {1+x+x^2}{\left (1+\sqrt {3}-x\right )^2}}\right ) \operatorname {Subst}\left (\int \frac {x}{\sqrt {1-x^2} \sqrt {7-4 \sqrt {3}+x^2} \left (\left (1+i \sqrt {3}+2 \left (1-\sqrt {3}\right )\right )^2-\left (1+i \sqrt {3}+2 \left (1+\sqrt {3}\right )\right )^2 x^2\right )} \, dx,x,\frac {-1+\sqrt {3}+x}{1+\sqrt {3}-x}\right )}{\sqrt {\frac {1-x}{\left (1+\sqrt {3}-x\right )^2}} \sqrt {-1+x^3}}-\frac {\left (8 \sqrt [4]{3} \left (3-(2+i) \sqrt {3}\right ) \sqrt {2-\sqrt {3}} \left (3 i+\sqrt {3}\right ) (1-x) \sqrt {\frac {1+x+x^2}{\left (1+\sqrt {3}-x\right )^2}}\right ) \operatorname {Subst}\left (\int \frac {1}{\sqrt {1-x^2} \sqrt {7-4 \sqrt {3}+x^2} \left (\left (1-i \sqrt {3}+2 \left (1-\sqrt {3}\right )\right )^2-\left (1-i \sqrt {3}+2 \left (1+\sqrt {3}\right )\right )^2 x^2\right )} \, dx,x,\frac {-1+\sqrt {3}+x}{1+\sqrt {3}-x}\right )}{\left (3 i+(1+2 i) \sqrt {3}\right ) \sqrt {\frac {1-x}{\left (1+\sqrt {3}-x\right )^2}} \sqrt {-1+x^3}}+\frac {\left (8 \sqrt [4]{3} \sqrt {2-\sqrt {3}} \left (3 i+\sqrt {3}\right ) \left (3+(2-i) \sqrt {3}\right ) (1-x) \sqrt {\frac {1+x+x^2}{\left (1+\sqrt {3}-x\right )^2}}\right ) \operatorname {Subst}\left (\int \frac {x}{\sqrt {1-x^2} \sqrt {7-4 \sqrt {3}+x^2} \left (\left (1-i \sqrt {3}+2 \left (1-\sqrt {3}\right )\right )^2-\left (1-i \sqrt {3}+2 \left (1+\sqrt {3}\right )\right )^2 x^2\right )} \, dx,x,\frac {-1+\sqrt {3}+x}{1+\sqrt {3}-x}\right )}{\left (3 i+(1+2 i) \sqrt {3}\right ) \sqrt {\frac {1-x}{\left (1+\sqrt {3}-x\right )^2}} \sqrt {-1+x^3}}-\frac {\left (8 \sqrt [4]{3} \left (3-(2-i) \sqrt {3}\right ) \sqrt {2-\sqrt {3}} \left (3+i \sqrt {3}\right ) (1-x) \sqrt {\frac {1+x+x^2}{\left (1+\sqrt {3}-x\right )^2}}\right ) \operatorname {Subst}\left (\int \frac {1}{\sqrt {1-x^2} \sqrt {7-4 \sqrt {3}+x^2} \left (\left (1+i \sqrt {3}+2 \left (1-\sqrt {3}\right )\right )^2-\left (1+i \sqrt {3}+2 \left (1+\sqrt {3}\right )\right )^2 x^2\right )} \, dx,x,\frac {-1+\sqrt {3}+x}{1+\sqrt {3}-x}\right )}{\left (3+(2+i) \sqrt {3}\right ) \sqrt {\frac {1-x}{\left (1+\sqrt {3}-x\right )^2}} \sqrt {-1+x^3}}\\ &=-\frac {2 \sqrt {2-\sqrt {3}} (1-x) \sqrt {\frac {1+x+x^2}{\left (1-\sqrt {3}-x\right )^2}} F\left (\sin ^{-1}\left (\frac {1+\sqrt {3}-x}{1-\sqrt {3}-x}\right )|-7+4 \sqrt {3}\right )}{\sqrt [4]{3} \sqrt {-\frac {1-x}{\left (1-\sqrt {3}-x\right )^2}} \sqrt {-1+x^3}}+\frac {2 \sqrt [4]{3} \sqrt {2-\sqrt {3}} \left (1+i \sqrt {3}\right ) (1-x) \sqrt {\frac {1+x+x^2}{\left (1-\sqrt {3}-x\right )^2}} F\left (\sin ^{-1}\left (\frac {1+\sqrt {3}-x}{1-\sqrt {3}-x}\right )|-7+4 \sqrt {3}\right )}{\left (3 i+(1+2 i) \sqrt {3}\right ) \sqrt {-\frac {1-x}{\left (1-\sqrt {3}-x\right )^2}} \sqrt {-1+x^3}}+\frac {2 \sqrt [4]{3} \sqrt {2-\sqrt {3}} \left (i+\sqrt {3}\right ) (1-x) \sqrt {\frac {1+x+x^2}{\left (1-\sqrt {3}-x\right )^2}} F\left (\sin ^{-1}\left (\frac {1+\sqrt {3}-x}{1-\sqrt {3}-x}\right )|-7+4 \sqrt {3}\right )}{\left (3+(2+i) \sqrt {3}\right ) \sqrt {-\frac {1-x}{\left (1-\sqrt {3}-x\right )^2}} \sqrt {-1+x^3}}-\frac {\left (8 \sqrt [4]{3} \left (3-(2+i) \sqrt {3}\right ) \sqrt {2-\sqrt {3}} \left (3 i+\sqrt {3}\right ) (1-x) \sqrt {\frac {1+x+x^2}{\left (1+\sqrt {3}-x\right )^2}}\right ) \operatorname {Subst}\left (\int \frac {1}{\sqrt {1-x^2} \left (7-4 \sqrt {3}+x^2\right )^{3/2}} \, dx,x,\frac {-1+\sqrt {3}+x}{1+\sqrt {3}-x}\right )}{\left (3 i+(1+2 i) \sqrt {3}\right )^3 \sqrt {\frac {1-x}{\left (1+\sqrt {3}-x\right )^2}} \sqrt {-1+x^3}}+\frac {\left (8 \sqrt [4]{3} \sqrt {2-\sqrt {3}} \left (3 i+\sqrt {3}\right ) \left (3+(2-i) \sqrt {3}\right ) (1-x) \sqrt {\frac {1+x+x^2}{\left (1+\sqrt {3}-x\right )^2}}\right ) \operatorname {Subst}\left (\int \frac {x}{\sqrt {1-x^2} \left (7-4 \sqrt {3}+x^2\right )^{3/2}} \, dx,x,\frac {-1+\sqrt {3}+x}{1+\sqrt {3}-x}\right )}{\left (3 i+(1+2 i) \sqrt {3}\right )^3 \sqrt {\frac {1-x}{\left (1+\sqrt {3}-x\right )^2}} \sqrt {-1+x^3}}+\frac {\left (8 \sqrt [4]{3} \left (3-(2-i) \sqrt {3}\right ) \sqrt {2-\sqrt {3}} \left (3+i \sqrt {3}\right ) (1-x) \sqrt {\frac {1+x+x^2}{\left (1+\sqrt {3}-x\right )^2}}\right ) \operatorname {Subst}\left (\int \frac {1}{\sqrt {1-x^2} \left (7-4 \sqrt {3}+x^2\right )^{3/2}} \, dx,x,\frac {-1+\sqrt {3}+x}{1+\sqrt {3}-x}\right )}{\left (3+(2+i) \sqrt {3}\right )^3 \sqrt {\frac {1-x}{\left (1+\sqrt {3}-x\right )^2}} \sqrt {-1+x^3}}-\frac {\left (8 \sqrt [4]{3} \sqrt {2-\sqrt {3}} \left (3+i \sqrt {3}\right ) (1-x) \sqrt {\frac {1+x+x^2}{\left (1+\sqrt {3}-x\right )^2}}\right ) \operatorname {Subst}\left (\int \frac {x}{\sqrt {1-x^2} \left (7-4 \sqrt {3}+x^2\right )^{3/2}} \, dx,x,\frac {-1+\sqrt {3}+x}{1+\sqrt {3}-x}\right )}{\left (3+(2+i) \sqrt {3}\right )^2 \sqrt {\frac {1-x}{\left (1+\sqrt {3}-x\right )^2}} \sqrt {-1+x^3}}\\ &=-\frac {2 \sqrt {2-\sqrt {3}} (1-x) \sqrt {\frac {1+x+x^2}{\left (1-\sqrt {3}-x\right )^2}} F\left (\sin ^{-1}\left (\frac {1+\sqrt {3}-x}{1-\sqrt {3}-x}\right )|-7+4 \sqrt {3}\right )}{\sqrt [4]{3} \sqrt {-\frac {1-x}{\left (1-\sqrt {3}-x\right )^2}} \sqrt {-1+x^3}}+\frac {2 \sqrt [4]{3} \sqrt {2-\sqrt {3}} \left (1+i \sqrt {3}\right ) (1-x) \sqrt {\frac {1+x+x^2}{\left (1-\sqrt {3}-x\right )^2}} F\left (\sin ^{-1}\left (\frac {1+\sqrt {3}-x}{1-\sqrt {3}-x}\right )|-7+4 \sqrt {3}\right )}{\left (3 i+(1+2 i) \sqrt {3}\right ) \sqrt {-\frac {1-x}{\left (1-\sqrt {3}-x\right )^2}} \sqrt {-1+x^3}}+\frac {2 \sqrt [4]{3} \sqrt {2-\sqrt {3}} \left (i+\sqrt {3}\right ) (1-x) \sqrt {\frac {1+x+x^2}{\left (1-\sqrt {3}-x\right )^2}} F\left (\sin ^{-1}\left (\frac {1+\sqrt {3}-x}{1-\sqrt {3}-x}\right )|-7+4 \sqrt {3}\right )}{\left (3+(2+i) \sqrt {3}\right ) \sqrt {-\frac {1-x}{\left (1-\sqrt {3}-x\right )^2}} \sqrt {-1+x^3}}+\frac {\left (4 \sqrt [4]{3} \sqrt {2-\sqrt {3}} \left (3 i+\sqrt {3}\right ) \left (3+(2-i) \sqrt {3}\right ) (1-x) \sqrt {\frac {1+x+x^2}{\left (1+\sqrt {3}-x\right )^2}}\right ) \operatorname {Subst}\left (\int \frac {1}{\sqrt {1-x} \left (7-4 \sqrt {3}+x\right )^{3/2}} \, dx,x,\frac {\left (-1+\sqrt {3}+x\right )^2}{\left (1+\sqrt {3}-x\right )^2}\right )}{\left (3 i+(1+2 i) \sqrt {3}\right )^3 \sqrt {\frac {1-x}{\left (1+\sqrt {3}-x\right )^2}} \sqrt {-1+x^3}}-\frac {\left (4 \sqrt [4]{3} \sqrt {2-\sqrt {3}} \left (3+i \sqrt {3}\right ) (1-x) \sqrt {\frac {1+x+x^2}{\left (1+\sqrt {3}-x\right )^2}}\right ) \operatorname {Subst}\left (\int \frac {1}{\sqrt {1-x} \left (7-4 \sqrt {3}+x\right )^{3/2}} \, dx,x,\frac {\left (-1+\sqrt {3}+x\right )^2}{\left (1+\sqrt {3}-x\right )^2}\right )}{\left (3+(2+i) \sqrt {3}\right )^2 \sqrt {\frac {1-x}{\left (1+\sqrt {3}-x\right )^2}} \sqrt {-1+x^3}}+\frac {\left (2 \sqrt [4]{3} \left (3-(2+i) \sqrt {3}\right ) \sqrt {2-\sqrt {3}} \left (3 i+\sqrt {3}\right ) \left (26+15 \sqrt {3}\right ) (1-x) \sqrt {\frac {1+x+x^2}{\left (1+\sqrt {3}-x\right )^2}}\right ) \operatorname {Subst}\left (\int \frac {-7+4 \sqrt {3}-x^2}{\sqrt {1-x^2} \sqrt {7-4 \sqrt {3}+x^2}} \, dx,x,\frac {-1+\sqrt {3}+x}{1+\sqrt {3}-x}\right )}{\left (3 i+(1+2 i) \sqrt {3}\right )^3 \sqrt {\frac {1-x}{\left (1+\sqrt {3}-x\right )^2}} \sqrt {-1+x^3}}-\frac {\left (2 \sqrt [4]{3} \left (3-(2-i) \sqrt {3}\right ) \sqrt {2-\sqrt {3}} \left (3+i \sqrt {3}\right ) \left (26+15 \sqrt {3}\right ) (1-x) \sqrt {\frac {1+x+x^2}{\left (1+\sqrt {3}-x\right )^2}}\right ) \operatorname {Subst}\left (\int \frac {-7+4 \sqrt {3}-x^2}{\sqrt {1-x^2} \sqrt {7-4 \sqrt {3}+x^2}} \, dx,x,\frac {-1+\sqrt {3}+x}{1+\sqrt {3}-x}\right )}{\left (3+(2+i) \sqrt {3}\right )^3 \sqrt {\frac {1-x}{\left (1+\sqrt {3}-x\right )^2}} \sqrt {-1+x^3}}\\ &=\frac {1-x}{\sqrt {-1+x^3}}+\frac {6 \left (i+\sqrt {3}\right ) (1-x)}{\left (2-\sqrt {3}\right ) \left (3+(2+i) \sqrt {3}\right )^2 \sqrt {-1+x^3}}-\frac {2 \sqrt {2-\sqrt {3}} (1-x) \sqrt {\frac {1+x+x^2}{\left (1-\sqrt {3}-x\right )^2}} F\left (\sin ^{-1}\left (\frac {1+\sqrt {3}-x}{1-\sqrt {3}-x}\right )|-7+4 \sqrt {3}\right )}{\sqrt [4]{3} \sqrt {-\frac {1-x}{\left (1-\sqrt {3}-x\right )^2}} \sqrt {-1+x^3}}+\frac {2 \sqrt [4]{3} \sqrt {2-\sqrt {3}} \left (1+i \sqrt {3}\right ) (1-x) \sqrt {\frac {1+x+x^2}{\left (1-\sqrt {3}-x\right )^2}} F\left (\sin ^{-1}\left (\frac {1+\sqrt {3}-x}{1-\sqrt {3}-x}\right )|-7+4 \sqrt {3}\right )}{\left (3 i+(1+2 i) \sqrt {3}\right ) \sqrt {-\frac {1-x}{\left (1-\sqrt {3}-x\right )^2}} \sqrt {-1+x^3}}+\frac {2 \sqrt [4]{3} \sqrt {2-\sqrt {3}} \left (i+\sqrt {3}\right ) (1-x) \sqrt {\frac {1+x+x^2}{\left (1-\sqrt {3}-x\right )^2}} F\left (\sin ^{-1}\left (\frac {1+\sqrt {3}-x}{1-\sqrt {3}-x}\right )|-7+4 \sqrt {3}\right )}{\left (3+(2+i) \sqrt {3}\right ) \sqrt {-\frac {1-x}{\left (1-\sqrt {3}-x\right )^2}} \sqrt {-1+x^3}}-\frac {\left (2 \sqrt [4]{3} \left (3-(2+i) \sqrt {3}\right ) \sqrt {2-\sqrt {3}} \left (3 i+\sqrt {3}\right ) \left (26+15 \sqrt {3}\right ) (1-x) \sqrt {\frac {1+x+x^2}{\left (1+\sqrt {3}-x\right )^2}}\right ) \operatorname {Subst}\left (\int \frac {\sqrt {7-4 \sqrt {3}+x^2}}{\sqrt {1-x^2}} \, dx,x,\frac {-1+\sqrt {3}+x}{1+\sqrt {3}-x}\right )}{\left (3 i+(1+2 i) \sqrt {3}\right )^3 \sqrt {\frac {1-x}{\left (1+\sqrt {3}-x\right )^2}} \sqrt {-1+x^3}}+\frac {\left (2 \sqrt [4]{3} \left (3-(2-i) \sqrt {3}\right ) \sqrt {2-\sqrt {3}} \left (3+i \sqrt {3}\right ) \left (26+15 \sqrt {3}\right ) (1-x) \sqrt {\frac {1+x+x^2}{\left (1+\sqrt {3}-x\right )^2}}\right ) \operatorname {Subst}\left (\int \frac {\sqrt {7-4 \sqrt {3}+x^2}}{\sqrt {1-x^2}} \, dx,x,\frac {-1+\sqrt {3}+x}{1+\sqrt {3}-x}\right )}{\left (3+(2+i) \sqrt {3}\right )^3 \sqrt {\frac {1-x}{\left (1+\sqrt {3}-x\right )^2}} \sqrt {-1+x^3}}\\ &=\frac {1-x}{\sqrt {-1+x^3}}+\frac {6 \left (i+\sqrt {3}\right ) (1-x)}{\left (2-\sqrt {3}\right ) \left (3+(2+i) \sqrt {3}\right )^2 \sqrt {-1+x^3}}+\frac {i \sqrt [4]{3} \sqrt {\frac {2}{3}-\frac {1}{\sqrt {3}}} (1-x) \sqrt {\frac {1+x+x^2}{\left (1+\sqrt {3}-x\right )^2}} E\left (\sin ^{-1}\left (\frac {1-\sqrt {3}-x}{1+\sqrt {3}-x}\right )|-7-4 \sqrt {3}\right )}{\sqrt {\frac {1-x}{\left (1+\sqrt {3}-x\right )^2}} \sqrt {-1+x^3}}-\frac {6 \sqrt [4]{3} \left ((-2+i)+\sqrt {3}\right ) \left (i+\sqrt {3}\right ) \sqrt {26+15 \sqrt {3}} (1-x) \sqrt {\frac {1+x+x^2}{\left (1+\sqrt {3}-x\right )^2}} E\left (\sin ^{-1}\left (\frac {1-\sqrt {3}-x}{1+\sqrt {3}-x}\right )|-7-4 \sqrt {3}\right )}{\left (3+(2+i) \sqrt {3}\right )^3 \sqrt {\frac {1-x}{\left (1+\sqrt {3}-x\right )^2}} \sqrt {-1+x^3}}-\frac {2 \sqrt {2-\sqrt {3}} (1-x) \sqrt {\frac {1+x+x^2}{\left (1-\sqrt {3}-x\right )^2}} F\left (\sin ^{-1}\left (\frac {1+\sqrt {3}-x}{1-\sqrt {3}-x}\right )|-7+4 \sqrt {3}\right )}{\sqrt [4]{3} \sqrt {-\frac {1-x}{\left (1-\sqrt {3}-x\right )^2}} \sqrt {-1+x^3}}+\frac {2 \sqrt [4]{3} \sqrt {2-\sqrt {3}} \left (1+i \sqrt {3}\right ) (1-x) \sqrt {\frac {1+x+x^2}{\left (1-\sqrt {3}-x\right )^2}} F\left (\sin ^{-1}\left (\frac {1+\sqrt {3}-x}{1-\sqrt {3}-x}\right )|-7+4 \sqrt {3}\right )}{\left (3 i+(1+2 i) \sqrt {3}\right ) \sqrt {-\frac {1-x}{\left (1-\sqrt {3}-x\right )^2}} \sqrt {-1+x^3}}+\frac {2 \sqrt [4]{3} \sqrt {2-\sqrt {3}} \left (i+\sqrt {3}\right ) (1-x) \sqrt {\frac {1+x+x^2}{\left (1-\sqrt {3}-x\right )^2}} F\left (\sin ^{-1}\left (\frac {1+\sqrt {3}-x}{1-\sqrt {3}-x}\right )|-7+4 \sqrt {3}\right )}{\left (3+(2+i) \sqrt {3}\right ) \sqrt {-\frac {1-x}{\left (1-\sqrt {3}-x\right )^2}} \sqrt {-1+x^3}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 0.12, size = 19, normalized size = 1.00 \begin {gather*} -\frac {2 \sqrt {x^3-1}}{x^2+x+1} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
IntegrateAlgebraic [A] time = 0.45, size = 19, normalized size = 1.00 \begin {gather*} -\frac {2 \sqrt {-1+x^3}}{1+x+x^2} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.46, size = 17, normalized size = 0.89 \begin {gather*} -\frac {2 \, \sqrt {x^{3} - 1}}{x^{2} + x + 1} \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*} \int \frac {x^{2} - 2 \, x - 2}{\sqrt {x^{3} - 1} {\left (x^{2} + x + 1\right )}}\,{d x} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.27, size = 13, normalized size = 0.68
method | result | size |
gosper | \(-\frac {2 \left (-1+x \right )}{\sqrt {x^{3}-1}}\) | \(13\) |
risch | \(-\frac {2 \left (-1+x \right )}{\sqrt {x^{3}-1}}\) | \(13\) |
default | \(-\frac {2 \left (-1+x \right )}{\sqrt {\left (-1+x \right ) \left (x^{2}+x +1\right )}}\) | \(18\) |
trager | \(-\frac {2 \sqrt {x^{3}-1}}{x^{2}+x +1}\) | \(18\) |
elliptic | \(-\frac {2 \left (-1+x \right )}{\sqrt {\left (-1+x \right ) \left (x^{2}+x +1\right )}}\) | \(18\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [A] time = 0.76, size = 15, normalized size = 0.79 \begin {gather*} -\frac {2 \, \sqrt {x - 1}}{\sqrt {x^{2} + x + 1}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 0.19, size = 276, normalized size = 14.53 \begin {gather*} \frac {\sqrt {-\frac {x+\frac {1}{2}-\frac {\sqrt {3}\,1{}\mathrm {i}}{2}}{-\frac {3}{2}+\frac {\sqrt {3}\,1{}\mathrm {i}}{2}}}\,\sqrt {\frac {x+\frac {1}{2}+\frac {\sqrt {3}\,1{}\mathrm {i}}{2}}{\frac {3}{2}+\frac {\sqrt {3}\,1{}\mathrm {i}}{2}}}\,\left (6+9\,\sin \left (2\,\mathrm {asin}\left (\sqrt {-\frac {x-1}{\frac {3}{2}+\frac {\sqrt {3}\,1{}\mathrm {i}}{2}}}\right )\right )\,\sqrt {\frac {x-1}{\frac {3}{2}+\frac {\sqrt {3}\,1{}\mathrm {i}}{2}}+1}\,\sqrt {-\frac {x-1}{\frac {3}{2}+\frac {\sqrt {3}\,1{}\mathrm {i}}{2}}}-6\,x+\sqrt {3}\,x\,2{}\mathrm {i}+\sqrt {3}\,2{}\mathrm {i}-\sqrt {3}\,x^2\,4{}\mathrm {i}-\sqrt {3}\,\sin \left (2\,\mathrm {asin}\left (\sqrt {-\frac {x-1}{\frac {3}{2}+\frac {\sqrt {3}\,1{}\mathrm {i}}{2}}}\right )\right )\,\sqrt {\frac {x-1}{\frac {3}{2}+\frac {\sqrt {3}\,1{}\mathrm {i}}{2}}+1}\,\sqrt {-\frac {x-1}{\frac {3}{2}+\frac {\sqrt {3}\,1{}\mathrm {i}}{2}}}\,3{}\mathrm {i}\right )}{6\,\sqrt {1-\frac {x-1}{-\frac {3}{2}+\frac {\sqrt {3}\,1{}\mathrm {i}}{2}}}\,\sqrt {\frac {x-1}{\frac {3}{2}+\frac {\sqrt {3}\,1{}\mathrm {i}}{2}}+1}\,\sqrt {x^3+\left (-\left (-\frac {1}{2}+\frac {\sqrt {3}\,1{}\mathrm {i}}{2}\right )\,\left (\frac {1}{2}+\frac {\sqrt {3}\,1{}\mathrm {i}}{2}\right )-1\right )\,x+\left (-\frac {1}{2}+\frac {\sqrt {3}\,1{}\mathrm {i}}{2}\right )\,\left (\frac {1}{2}+\frac {\sqrt {3}\,1{}\mathrm {i}}{2}\right )}} \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^{2} - 2 x - 2}{\sqrt {\left (x - 1\right ) \left (x^{2} + x + 1\right )} \left (x^{2} + x + 1\right )}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________