Integrand size = 40, antiderivative size = 104 \[ \int \frac {1+k^3 x^3}{\sqrt {(1-x) x \left (1-k^2 x\right )} \left (-1+k^3 x^3\right )} \, dx=-\frac {2 \arctan \left (\frac {(-1+k) x}{\sqrt {x+\left (-1-k^2\right ) x^2+k^2 x^3}}\right )}{3 (-1+k)}-\frac {4 \arctan \left (\frac {\sqrt {1+k+k^2} \sqrt {x+\left (-1-k^2\right ) x^2+k^2 x^3}}{(-1+x) \left (-1+k^2 x\right )}\right )}{3 \sqrt {1+k+k^2}} \]
[Out]
Result contains higher order function than in optimal. Order 4 vs. order 3 in optimal.
Time = 2.22 (sec) , antiderivative size = 362, normalized size of antiderivative = 3.48, number of steps used = 19, number of rules used = 8, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.200, Rules used = {6850, 6857, 116, 6820, 948, 12, 174, 551} \[ \int \frac {1+k^3 x^3}{\sqrt {(1-x) x \left (1-k^2 x\right )} \left (-1+k^3 x^3\right )} \, dx=\frac {4 (1-x) \sqrt {-x} \sqrt {x} \sqrt {1-k^2 x} \operatorname {EllipticPi}\left (\frac {1}{k},\arcsin \left (\sqrt {-k^2} \sqrt {-x}\right ),\frac {1}{k^2}\right )}{3 \sqrt {-k^2} \sqrt {x-x^2} \sqrt {(1-x) x \left (1-k^2 x\right )}}+\frac {4 (1-x) \sqrt {-x} \sqrt {x} \sqrt {1-k^2 x} \operatorname {EllipticPi}\left (-\frac {\sqrt [3]{-1}}{k},\arcsin \left (\sqrt {-k^2} \sqrt {-x}\right ),\frac {1}{k^2}\right )}{3 \sqrt {-k^2} \sqrt {x-x^2} \sqrt {(1-x) x \left (1-k^2 x\right )}}+\frac {4 (1-x) \sqrt {-x} \sqrt {x} \sqrt {1-k^2 x} \operatorname {EllipticPi}\left (\frac {(-1)^{2/3}}{k},\arcsin \left (\sqrt {-k^2} \sqrt {-x}\right ),\frac {1}{k^2}\right )}{3 \sqrt {-k^2} \sqrt {x-x^2} \sqrt {(1-x) x \left (1-k^2 x\right )}}+\frac {2 \sqrt {1-x} \sqrt {x} \sqrt {1-k^2 x} \operatorname {EllipticF}\left (\arcsin \left (\sqrt {x}\right ),k^2\right )}{\sqrt {(1-x) x \left (1-k^2 x\right )}} \]
[In]
[Out]
Rule 12
Rule 116
Rule 174
Rule 551
Rule 948
Rule 6820
Rule 6850
Rule 6857
Rubi steps \begin{align*} \text {integral}& = \frac {\left (\sqrt {1-x} \sqrt {x} \sqrt {1-k^2 x}\right ) \int \frac {1+k^3 x^3}{\sqrt {1-x} \sqrt {x} \sqrt {1-k^2 x} \left (-1+k^3 x^3\right )} \, dx}{\sqrt {(1-x) x \left (1-k^2 x\right )}} \\ & = \frac {\left (\sqrt {1-x} \sqrt {x} \sqrt {1-k^2 x}\right ) \int \left (\frac {1}{\sqrt {1-x} \sqrt {x} \sqrt {1-k^2 x}}+\frac {2}{\sqrt {1-x} \sqrt {x} \sqrt {1-k^2 x} \left (-1+k^3 x^3\right )}\right ) \, dx}{\sqrt {(1-x) x \left (1-k^2 x\right )}} \\ & = \frac {\left (\sqrt {1-x} \sqrt {x} \sqrt {1-k^2 x}\right ) \int \frac {1}{\sqrt {1-x} \sqrt {x} \sqrt {1-k^2 x}} \, dx}{\sqrt {(1-x) x \left (1-k^2 x\right )}}+\frac {\left (2 \sqrt {1-x} \sqrt {x} \sqrt {1-k^2 x}\right ) \int \frac {1}{\sqrt {1-x} \sqrt {x} \sqrt {1-k^2 x} \left (-1+k^3 x^3\right )} \, dx}{\sqrt {(1-x) x \left (1-k^2 x\right )}} \\ & = \frac {2 \sqrt {1-x} \sqrt {x} \sqrt {1-k^2 x} \operatorname {EllipticF}\left (\arcsin \left (\sqrt {x}\right ),k^2\right )}{\sqrt {(1-x) x \left (1-k^2 x\right )}}+\frac {\left (2 \sqrt {1-x} \sqrt {x} \sqrt {1-k^2 x}\right ) \int \frac {1}{\sqrt {1-k^2 x} \sqrt {x-x^2} \left (-1+k^3 x^3\right )} \, dx}{\sqrt {(1-x) x \left (1-k^2 x\right )}} \\ & = \frac {2 \sqrt {1-x} \sqrt {x} \sqrt {1-k^2 x} \operatorname {EllipticF}\left (\arcsin \left (\sqrt {x}\right ),k^2\right )}{\sqrt {(1-x) x \left (1-k^2 x\right )}}+\frac {\left (2 \sqrt {1-x} \sqrt {x} \sqrt {1-k^2 x}\right ) \int \left (-\frac {1}{3 (1-k x) \sqrt {1-k^2 x} \sqrt {x-x^2}}-\frac {1}{3 \left (1+\sqrt [3]{-1} k x\right ) \sqrt {1-k^2 x} \sqrt {x-x^2}}-\frac {1}{3 \left (1-(-1)^{2/3} k x\right ) \sqrt {1-k^2 x} \sqrt {x-x^2}}\right ) \, dx}{\sqrt {(1-x) x \left (1-k^2 x\right )}} \\ & = \frac {2 \sqrt {1-x} \sqrt {x} \sqrt {1-k^2 x} \operatorname {EllipticF}\left (\arcsin \left (\sqrt {x}\right ),k^2\right )}{\sqrt {(1-x) x \left (1-k^2 x\right )}}-\frac {\left (2 \sqrt {1-x} \sqrt {x} \sqrt {1-k^2 x}\right ) \int \frac {1}{(1-k x) \sqrt {1-k^2 x} \sqrt {x-x^2}} \, dx}{3 \sqrt {(1-x) x \left (1-k^2 x\right )}}-\frac {\left (2 \sqrt {1-x} \sqrt {x} \sqrt {1-k^2 x}\right ) \int \frac {1}{\left (1+\sqrt [3]{-1} k x\right ) \sqrt {1-k^2 x} \sqrt {x-x^2}} \, dx}{3 \sqrt {(1-x) x \left (1-k^2 x\right )}}-\frac {\left (2 \sqrt {1-x} \sqrt {x} \sqrt {1-k^2 x}\right ) \int \frac {1}{\left (1-(-1)^{2/3} k x\right ) \sqrt {1-k^2 x} \sqrt {x-x^2}} \, dx}{3 \sqrt {(1-x) x \left (1-k^2 x\right )}} \\ & = \frac {2 \sqrt {1-x} \sqrt {x} \sqrt {1-k^2 x} \operatorname {EllipticF}\left (\arcsin \left (\sqrt {x}\right ),k^2\right )}{\sqrt {(1-x) x \left (1-k^2 x\right )}}-\frac {\left (2 \sqrt {2} \sqrt {2-2 x} \sqrt {1-x} \sqrt {-x} \sqrt {x} \sqrt {1-k^2 x}\right ) \int \frac {1}{\sqrt {2} \sqrt {2-2 x} \sqrt {-x} (1-k x) \sqrt {1-k^2 x}} \, dx}{3 \sqrt {(1-x) x \left (1-k^2 x\right )} \sqrt {x-x^2}}-\frac {\left (2 \sqrt {2} \sqrt {2-2 x} \sqrt {1-x} \sqrt {-x} \sqrt {x} \sqrt {1-k^2 x}\right ) \int \frac {1}{\sqrt {2} \sqrt {2-2 x} \sqrt {-x} \left (1+\sqrt [3]{-1} k x\right ) \sqrt {1-k^2 x}} \, dx}{3 \sqrt {(1-x) x \left (1-k^2 x\right )} \sqrt {x-x^2}}-\frac {\left (2 \sqrt {2} \sqrt {2-2 x} \sqrt {1-x} \sqrt {-x} \sqrt {x} \sqrt {1-k^2 x}\right ) \int \frac {1}{\sqrt {2} \sqrt {2-2 x} \sqrt {-x} \left (1-(-1)^{2/3} k x\right ) \sqrt {1-k^2 x}} \, dx}{3 \sqrt {(1-x) x \left (1-k^2 x\right )} \sqrt {x-x^2}} \\ & = \frac {2 \sqrt {1-x} \sqrt {x} \sqrt {1-k^2 x} \operatorname {EllipticF}\left (\arcsin \left (\sqrt {x}\right ),k^2\right )}{\sqrt {(1-x) x \left (1-k^2 x\right )}}-\frac {\left (2 \sqrt {2-2 x} \sqrt {1-x} \sqrt {-x} \sqrt {x} \sqrt {1-k^2 x}\right ) \int \frac {1}{\sqrt {2-2 x} \sqrt {-x} (1-k x) \sqrt {1-k^2 x}} \, dx}{3 \sqrt {(1-x) x \left (1-k^2 x\right )} \sqrt {x-x^2}}-\frac {\left (2 \sqrt {2-2 x} \sqrt {1-x} \sqrt {-x} \sqrt {x} \sqrt {1-k^2 x}\right ) \int \frac {1}{\sqrt {2-2 x} \sqrt {-x} \left (1+\sqrt [3]{-1} k x\right ) \sqrt {1-k^2 x}} \, dx}{3 \sqrt {(1-x) x \left (1-k^2 x\right )} \sqrt {x-x^2}}-\frac {\left (2 \sqrt {2-2 x} \sqrt {1-x} \sqrt {-x} \sqrt {x} \sqrt {1-k^2 x}\right ) \int \frac {1}{\sqrt {2-2 x} \sqrt {-x} \left (1-(-1)^{2/3} k x\right ) \sqrt {1-k^2 x}} \, dx}{3 \sqrt {(1-x) x \left (1-k^2 x\right )} \sqrt {x-x^2}} \\ & = \frac {2 \sqrt {1-x} \sqrt {x} \sqrt {1-k^2 x} \operatorname {EllipticF}\left (\arcsin \left (\sqrt {x}\right ),k^2\right )}{\sqrt {(1-x) x \left (1-k^2 x\right )}}+\frac {\left (4 \sqrt {2-2 x} \sqrt {1-x} \sqrt {-x} \sqrt {x} \sqrt {1-k^2 x}\right ) \text {Subst}\left (\int \frac {1}{\sqrt {2+2 x^2} \left (1+k x^2\right ) \sqrt {1+k^2 x^2}} \, dx,x,\sqrt {-x}\right )}{3 \sqrt {(1-x) x \left (1-k^2 x\right )} \sqrt {x-x^2}}+\frac {\left (4 \sqrt {2-2 x} \sqrt {1-x} \sqrt {-x} \sqrt {x} \sqrt {1-k^2 x}\right ) \text {Subst}\left (\int \frac {1}{\sqrt {2+2 x^2} \left (1-\sqrt [3]{-1} k x^2\right ) \sqrt {1+k^2 x^2}} \, dx,x,\sqrt {-x}\right )}{3 \sqrt {(1-x) x \left (1-k^2 x\right )} \sqrt {x-x^2}}+\frac {\left (4 \sqrt {2-2 x} \sqrt {1-x} \sqrt {-x} \sqrt {x} \sqrt {1-k^2 x}\right ) \text {Subst}\left (\int \frac {1}{\sqrt {2+2 x^2} \left (1+(-1)^{2/3} k x^2\right ) \sqrt {1+k^2 x^2}} \, dx,x,\sqrt {-x}\right )}{3 \sqrt {(1-x) x \left (1-k^2 x\right )} \sqrt {x-x^2}} \\ & = \frac {2 \sqrt {1-x} \sqrt {x} \sqrt {1-k^2 x} \operatorname {EllipticF}\left (\arcsin \left (\sqrt {x}\right ),k^2\right )}{\sqrt {(1-x) x \left (1-k^2 x\right )}}+\frac {4 (1-x) \sqrt {-x} \sqrt {x} \sqrt {1-k^2 x} \operatorname {EllipticPi}\left (\frac {1}{k},\arcsin \left (\sqrt {-k^2} \sqrt {-x}\right ),\frac {1}{k^2}\right )}{3 \sqrt {-k^2} \sqrt {(1-x) x \left (1-k^2 x\right )} \sqrt {x-x^2}}+\frac {4 (1-x) \sqrt {-x} \sqrt {x} \sqrt {1-k^2 x} \operatorname {EllipticPi}\left (-\frac {\sqrt [3]{-1}}{k},\arcsin \left (\sqrt {-k^2} \sqrt {-x}\right ),\frac {1}{k^2}\right )}{3 \sqrt {-k^2} \sqrt {(1-x) x \left (1-k^2 x\right )} \sqrt {x-x^2}}+\frac {4 (1-x) \sqrt {-x} \sqrt {x} \sqrt {1-k^2 x} \operatorname {EllipticPi}\left (\frac {(-1)^{2/3}}{k},\arcsin \left (\sqrt {-k^2} \sqrt {-x}\right ),\frac {1}{k^2}\right )}{3 \sqrt {-k^2} \sqrt {(1-x) x \left (1-k^2 x\right )} \sqrt {x-x^2}} \\ \end{align*}
Time = 15.28 (sec) , antiderivative size = 75, normalized size of antiderivative = 0.72 \[ \int \frac {1+k^3 x^3}{\sqrt {(1-x) x \left (1-k^2 x\right )} \left (-1+k^3 x^3\right )} \, dx=-\frac {2 \arctan \left (\frac {(-1+k) x}{\sqrt {(-1+x) x \left (-1+k^2 x\right )}}\right )}{3 (-1+k)}-\frac {4 \arctan \left (\frac {\sqrt {1+k+k^2} x}{\sqrt {(-1+x) x \left (-1+k^2 x\right )}}\right )}{3 \sqrt {1+k+k^2}} \]
[In]
[Out]
Time = 1.10 (sec) , antiderivative size = 72, normalized size of antiderivative = 0.69
method | result | size |
default | \(\frac {4 \arctan \left (\frac {\sqrt {\left (-1+x \right ) x \left (k^{2} x -1\right )}}{x \sqrt {k^{2}+k +1}}\right )}{3 \sqrt {k^{2}+k +1}}+\frac {2 \arctan \left (\frac {\sqrt {\left (-1+x \right ) x \left (k^{2} x -1\right )}}{\left (-1+k \right ) x}\right )}{-3+3 k}\) | \(72\) |
pseudoelliptic | \(\frac {4 \arctan \left (\frac {\sqrt {\left (-1+x \right ) x \left (k^{2} x -1\right )}}{x \sqrt {k^{2}+k +1}}\right )}{3 \sqrt {k^{2}+k +1}}+\frac {2 \arctan \left (\frac {\sqrt {\left (-1+x \right ) x \left (k^{2} x -1\right )}}{\left (-1+k \right ) x}\right )}{-3+3 k}\) | \(72\) |
elliptic | \(\text {Expression too large to display}\) | \(872\) |
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 207 vs. \(2 (90) = 180\).
Time = 0.48 (sec) , antiderivative size = 207, normalized size of antiderivative = 1.99 \[ \int \frac {1+k^3 x^3}{\sqrt {(1-x) x \left (1-k^2 x\right )} \left (-1+k^3 x^3\right )} \, dx=\frac {2 \, \sqrt {k^{2} + k + 1} {\left (k - 1\right )} \arctan \left (\frac {\sqrt {k^{2} x^{3} - {\left (k^{2} + 1\right )} x^{2} + x} {\left (k^{2} x^{2} - {\left (2 \, k^{2} + k + 2\right )} x + 1\right )} \sqrt {k^{2} + k + 1}}{2 \, {\left ({\left (k^{4} + k^{3} + k^{2}\right )} x^{3} - {\left (k^{4} + k^{3} + 2 \, k^{2} + k + 1\right )} x^{2} + {\left (k^{2} + k + 1\right )} x\right )}}\right ) + {\left (k^{2} + k + 1\right )} \arctan \left (\frac {\sqrt {k^{2} x^{3} - {\left (k^{2} + 1\right )} x^{2} + x} {\left (k^{2} x^{2} - 2 \, {\left (k^{2} - k + 1\right )} x + 1\right )}}{2 \, {\left ({\left (k^{3} - k^{2}\right )} x^{3} - {\left (k^{3} - k^{2} + k - 1\right )} x^{2} + {\left (k - 1\right )} x\right )}}\right )}{3 \, {\left (k^{3} - 1\right )}} \]
[In]
[Out]
Timed out. \[ \int \frac {1+k^3 x^3}{\sqrt {(1-x) x \left (1-k^2 x\right )} \left (-1+k^3 x^3\right )} \, dx=\text {Timed out} \]
[In]
[Out]
\[ \int \frac {1+k^3 x^3}{\sqrt {(1-x) x \left (1-k^2 x\right )} \left (-1+k^3 x^3\right )} \, dx=\int { \frac {k^{3} x^{3} + 1}{{\left (k^{3} x^{3} - 1\right )} \sqrt {{\left (k^{2} x - 1\right )} {\left (x - 1\right )} x}} \,d x } \]
[In]
[Out]
\[ \int \frac {1+k^3 x^3}{\sqrt {(1-x) x \left (1-k^2 x\right )} \left (-1+k^3 x^3\right )} \, dx=\int { \frac {k^{3} x^{3} + 1}{{\left (k^{3} x^{3} - 1\right )} \sqrt {{\left (k^{2} x - 1\right )} {\left (x - 1\right )} x}} \,d x } \]
[In]
[Out]
Timed out. \[ \int \frac {1+k^3 x^3}{\sqrt {(1-x) x \left (1-k^2 x\right )} \left (-1+k^3 x^3\right )} \, dx=\text {Hanged} \]
[In]
[Out]