Optimal. Leaf size=42 \[ \frac{\tan ^{-1}\left (\frac{2 \sqrt{d} \sqrt{f} x^{m+1}}{e+2 f x^n}\right )}{2 \sqrt{d} \sqrt{f}} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.249303, antiderivative size = 42, normalized size of antiderivative = 1., number of steps used = 2, number of rules used = 2, integrand size = 56, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.036, Rules used = {2094, 205} \[ \frac{\tan ^{-1}\left (\frac{2 \sqrt{d} \sqrt{f} x^{m+1}}{e+2 f x^n}\right )}{2 \sqrt{d} \sqrt{f}} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 2094
Rule 205
Rubi steps
\begin{align*} \int \frac{x^m \left (e (1+m)+2 f (1+m-n) x^n\right )}{e^2+4 d f x^{2+2 m}+4 e f x^n+4 f^2 x^{2 n}} \, dx &=\left (e^2 (1+m) (1+m-n)\right ) \operatorname{Subst}\left (\int \frac{1}{e^2+4 d e^2 f (1+m)^2 (1+m-n)^2 x^2} \, dx,x,\frac{x^{1+m}}{e (1+m) (1+m-n)+2 f (1+m) (1+m-n) x^n}\right )\\ &=\frac{\tan ^{-1}\left (\frac{2 \sqrt{d} \sqrt{f} x^{1+m}}{e+2 f x^n}\right )}{2 \sqrt{d} \sqrt{f}}\\ \end{align*}
Mathematica [F] time = 0.480236, size = 0, normalized size = 0. \[ \int \frac{x^m \left (e (1+m)+2 f (1+m-n) x^n\right )}{e^2+4 d f x^{2+2 m}+4 e f x^n+4 f^2 x^{2 n}} \, dx \]
Verification is Not applicable to the result.
[In]
[Out]
________________________________________________________________________________________
Maple [B] time = 0.066, size = 84, normalized size = 2. \begin{align*} -{\frac{1}{4}\ln \left ({x}^{n}+{\frac{1}{2\,f} \left ( 2\,dfx{x}^{m}+e\sqrt{-df} \right ){\frac{1}{\sqrt{-df}}}} \right ){\frac{1}{\sqrt{-df}}}}+{\frac{1}{4}\ln \left ({x}^{n}+{\frac{1}{2\,f} \left ( -2\,dfx{x}^{m}+e\sqrt{-df} \right ){\frac{1}{\sqrt{-df}}}} \right ){\frac{1}{\sqrt{-df}}}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{{\left (2 \, f{\left (m - n + 1\right )} x^{n} + e{\left (m + 1\right )}\right )} x^{m}}{4 \, d f x^{2 \, m + 2} + 4 \, f^{2} x^{2 \, n} + 4 \, e f x^{n} + e^{2}}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 1.28238, size = 363, normalized size = 8.64 \begin{align*} \left [-\frac{\sqrt{-d f} \log \left (-\frac{4 \, d f x^{2} x^{2 \, m} - 4 \, \sqrt{-d f} e x x^{m} - 4 \, f^{2} x^{2 \, n} - e^{2} - 4 \,{\left (2 \, \sqrt{-d f} f x x^{m} + e f\right )} x^{n}}{4 \, d f x^{2} x^{2 \, m} + 4 \, f^{2} x^{2 \, n} + 4 \, e f x^{n} + e^{2}}\right )}{4 \, d f}, -\frac{\sqrt{d f} \arctan \left (\frac{2 \, \sqrt{d f} f x^{n} + \sqrt{d f} e}{2 \, d f x x^{m}}\right )}{2 \, d f}\right ] \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{{\left (2 \, f{\left (m - n + 1\right )} x^{n} + e{\left (m + 1\right )}\right )} x^{m}}{4 \, d f x^{2 \, m + 2} + 4 \, f^{2} x^{2 \, n} + 4 \, e f x^{n} + e^{2}}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]