Optimal. Leaf size=40 \[ \frac {a \tan ^{-1}\left (\frac {x}{a}\right )}{a^2-b^2}-\frac {b \tan ^{-1}\left (\frac {x}{b}\right )}{a^2-b^2} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.01, antiderivative size = 40, normalized size of antiderivative = 1.00, number of steps
used = 3, number of rules used = 2, integrand size = 22, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.091, Rules used = {492, 209}
\begin {gather*} \frac {a \text {ArcTan}\left (\frac {x}{a}\right )}{a^2-b^2}-\frac {b \text {ArcTan}\left (\frac {x}{b}\right )}{a^2-b^2} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 209
Rule 492
Rubi steps
\begin {align*} \int \frac {x^2}{\left (a^2+x^2\right ) \left (b^2+x^2\right )} \, dx &=\frac {a^2 \int \frac {1}{a^2+x^2} \, dx}{a^2-b^2}-\frac {b^2 \int \frac {1}{b^2+x^2} \, dx}{a^2-b^2}\\ &=\frac {a \tan ^{-1}\left (\frac {x}{a}\right )}{a^2-b^2}-\frac {b \tan ^{-1}\left (\frac {x}{b}\right )}{a^2-b^2}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.01, size = 30, normalized size = 0.75 \begin {gather*} \frac {a \tan ^{-1}\left (\frac {x}{a}\right )-b \tan ^{-1}\left (\frac {x}{b}\right )}{a^2-b^2} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.06, size = 41, normalized size = 1.02
method | result | size |
default | \(\frac {a \arctan \left (\frac {x}{a}\right )}{a^{2}-b^{2}}-\frac {b \arctan \left (\frac {x}{b}\right )}{a^{2}-b^{2}}\) | \(41\) |
risch | \(\frac {a \arctan \left (\frac {x}{a}\right )}{a^{2}-b^{2}}-\frac {b \arctan \left (\frac {x}{b}\right )}{a^{2}-b^{2}}\) | \(41\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 2.41, size = 40, normalized size = 1.00 \begin {gather*} \frac {a \arctan \left (\frac {x}{a}\right )}{a^{2} - b^{2}} - \frac {b \arctan \left (\frac {x}{b}\right )}{a^{2} - b^{2}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.73, size = 30, normalized size = 0.75 \begin {gather*} \frac {a \arctan \left (\frac {x}{a}\right ) - b \arctan \left (\frac {x}{b}\right )}{a^{2} - b^{2}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [C] Result contains complex when optimal does not.
time = 0.67, size = 393, normalized size = 9.82 \begin {gather*} - \frac {i a \log {\left (- \frac {2 i a^{7}}{\left (a - b\right )^{3} \left (a + b\right )^{3}} + \frac {4 i a^{5} b^{2}}{\left (a - b\right )^{3} \left (a + b\right )^{3}} - \frac {2 i a^{3} b^{4}}{\left (a - b\right )^{3} \left (a + b\right )^{3}} + \frac {i a^{3}}{\left (a - b\right ) \left (a + b\right )} + \frac {i a b^{2}}{\left (a - b\right ) \left (a + b\right )} + x \right )}}{2 \left (a - b\right ) \left (a + b\right )} + \frac {i a \log {\left (\frac {2 i a^{7}}{\left (a - b\right )^{3} \left (a + b\right )^{3}} - \frac {4 i a^{5} b^{2}}{\left (a - b\right )^{3} \left (a + b\right )^{3}} + \frac {2 i a^{3} b^{4}}{\left (a - b\right )^{3} \left (a + b\right )^{3}} - \frac {i a^{3}}{\left (a - b\right ) \left (a + b\right )} - \frac {i a b^{2}}{\left (a - b\right ) \left (a + b\right )} + x \right )}}{2 \left (a - b\right ) \left (a + b\right )} - \frac {i b \log {\left (- \frac {2 i a^{4} b^{3}}{\left (a - b\right )^{3} \left (a + b\right )^{3}} + \frac {4 i a^{2} b^{5}}{\left (a - b\right )^{3} \left (a + b\right )^{3}} + \frac {i a^{2} b}{\left (a - b\right ) \left (a + b\right )} - \frac {2 i b^{7}}{\left (a - b\right )^{3} \left (a + b\right )^{3}} + \frac {i b^{3}}{\left (a - b\right ) \left (a + b\right )} + x \right )}}{2 \left (a - b\right ) \left (a + b\right )} + \frac {i b \log {\left (\frac {2 i a^{4} b^{3}}{\left (a - b\right )^{3} \left (a + b\right )^{3}} - \frac {4 i a^{2} b^{5}}{\left (a - b\right )^{3} \left (a + b\right )^{3}} - \frac {i a^{2} b}{\left (a - b\right ) \left (a + b\right )} + \frac {2 i b^{7}}{\left (a - b\right )^{3} \left (a + b\right )^{3}} - \frac {i b^{3}}{\left (a - b\right ) \left (a + b\right )} + x \right )}}{2 \left (a - b\right ) \left (a + b\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 0.45, size = 40, normalized size = 1.00 \begin {gather*} \frac {a \arctan \left (\frac {x}{a}\right )}{a^{2} - b^{2}} - \frac {b \arctan \left (\frac {x}{b}\right )}{a^{2} - b^{2}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 0.18, size = 191, normalized size = 4.78 \begin {gather*} -\frac {a\,\mathrm {atan}\left (\frac {x\,\left (2\,a^4+2\,b^4\right )-\frac {a^2\,x\,\left (8\,a^6-8\,a^4\,b^2-8\,a^2\,b^4+8\,b^6\right )}{{\left (2\,a^2-2\,b^2\right )}^2}}{a\,b^2\,\left (2\,a^2-2\,b^2\right )}\right )}{a^2-b^2}-\frac {b\,\mathrm {atan}\left (\frac {x\,\left (2\,a^4+2\,b^4\right )-\frac {b^2\,x\,\left (8\,a^6-8\,a^4\,b^2-8\,a^2\,b^4+8\,b^6\right )}{{\left (2\,a^2-2\,b^2\right )}^2}}{a^2\,b\,\left (2\,a^2-2\,b^2\right )}\right )}{a^2-b^2} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________