Optimal. Leaf size=52 \[ \frac {x}{2 b}-\frac {\sqrt {a-b} \tan ^{-1}\left (\frac {\sqrt {a-b} \tan (x)}{\sqrt {a+b}}\right )}{2 b \sqrt {a+b}} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.09, antiderivative size = 52, normalized size of antiderivative = 1.00, number of steps used = 4, number of rules used = 2, integrand size = 15, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.133, Rules used = {1093, 205} \[ \frac {x}{2 b}-\frac {\sqrt {a-b} \tan ^{-1}\left (\frac {\sqrt {a-b} \tan (x)}{\sqrt {a+b}}\right )}{2 b \sqrt {a+b}} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 205
Rule 1093
Rubi steps
\begin {align*} \int \frac {\cos ^2(x)}{a+b \cos (2 x)} \, dx &=\operatorname {Subst}\left (\int \frac {1}{a+b+2 a x^2+(a-b) x^4} \, dx,x,\tan (x)\right )\\ &=\frac {(a-b) \operatorname {Subst}\left (\int \frac {1}{a-b+(a-b) x^2} \, dx,x,\tan (x)\right )}{2 b}-\frac {(a-b) \operatorname {Subst}\left (\int \frac {1}{a+b+(a-b) x^2} \, dx,x,\tan (x)\right )}{2 b}\\ &=\frac {x}{2 b}-\frac {\sqrt {a-b} \tan ^{-1}\left (\frac {\sqrt {a-b} \tan (x)}{\sqrt {a+b}}\right )}{2 b \sqrt {a+b}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 0.05, size = 50, normalized size = 0.96 \[ \frac {\frac {(a-b) \tanh ^{-1}\left (\frac {(a-b) \tan (x)}{\sqrt {b^2-a^2}}\right )}{\sqrt {b^2-a^2}}+x}{2 b} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 1.11, size = 224, normalized size = 4.31 \[ \left [\frac {\sqrt {-\frac {a - b}{a + b}} \log \left (\frac {4 \, {\left (2 \, a^{2} - b^{2}\right )} \cos \relax (x)^{4} - 4 \, {\left (2 \, a^{2} - a b - b^{2}\right )} \cos \relax (x)^{2} + 4 \, {\left (2 \, {\left (a^{2} + a b\right )} \cos \relax (x)^{3} - {\left (a^{2} - b^{2}\right )} \cos \relax (x)\right )} \sqrt {-\frac {a - b}{a + b}} \sin \relax (x) + a^{2} - 2 \, a b + b^{2}}{4 \, b^{2} \cos \relax (x)^{4} + 4 \, {\left (a b - b^{2}\right )} \cos \relax (x)^{2} + a^{2} - 2 \, a b + b^{2}}\right ) + 4 \, x}{8 \, b}, -\frac {\sqrt {\frac {a - b}{a + b}} \arctan \left (-\frac {{\left (2 \, a \cos \relax (x)^{2} - a + b\right )} \sqrt {\frac {a - b}{a + b}}}{2 \, {\left (a - b\right )} \cos \relax (x) \sin \relax (x)}\right ) - 2 \, x}{4 \, b}\right ] \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [B] time = 0.15, size = 159, normalized size = 3.06 \[ -\frac {\sqrt {a^{2} - b^{2}} {\left (\pi \left \lfloor \frac {x}{\pi } + \frac {1}{2} \right \rfloor + \arctan \left (\frac {2 \, \tan \relax (x)}{\sqrt {\frac {4 \, a + \sqrt {-16 \, {\left (a + b\right )} {\left (a - b\right )} + 16 \, a^{2}}}{a - b}}}\right )\right )} {\left | a - b \right |}}{2 \, {\left ({\left (a - b\right )} b^{2} + {\left (a^{2} - a b\right )} {\left | b \right |}\right )}} - \frac {{\left (\pi \left \lfloor \frac {x}{\pi } + \frac {1}{2} \right \rfloor + \arctan \left (\frac {2 \, \tan \relax (x)}{\sqrt {\frac {4 \, a - \sqrt {-16 \, {\left (a + b\right )} {\left (a - b\right )} + 16 \, a^{2}}}{a - b}}}\right )\right )} {\left (a - b\right )}}{2 \, {\left (b^{2} - a {\left | b \right |}\right )}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.13, size = 80, normalized size = 1.54 \[ -\frac {\arctan \left (\frac {\tan \relax (x ) \left (a -b \right )}{\sqrt {\left (a +b \right ) \left (a -b \right )}}\right ) a}{2 b \sqrt {\left (a +b \right ) \left (a -b \right )}}+\frac {\arctan \left (\frac {\tan \relax (x ) \left (a -b \right )}{\sqrt {\left (a +b \right ) \left (a -b \right )}}\right )}{2 \sqrt {\left (a +b \right ) \left (a -b \right )}}+\frac {\arctan \left (\tan \relax (x )\right )}{2 b} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [F(-2)] time = 0.00, size = 0, normalized size = 0.00 \[ \text {Exception raised: ValueError} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 3.32, size = 684, normalized size = 13.15 \[ \frac {\mathrm {atan}\left (\frac {2\,a^2\,\mathrm {tan}\relax (x)}{2\,a^2-4\,a\,b+2\,b^2}+\frac {2\,b^2\,\mathrm {tan}\relax (x)}{2\,a^2-4\,a\,b+2\,b^2}-\frac {4\,a\,b\,\mathrm {tan}\relax (x)}{2\,a^2-4\,a\,b+2\,b^2}\right )}{2\,b}+\frac {\mathrm {atan}\left (\frac {\frac {\left (\frac {\mathrm {tan}\relax (x)\,\left (4\,a^3-12\,a^2\,b+12\,a\,b^2-4\,b^3\right )}{4}+\frac {\sqrt {b^2-a^2}\,\left (4\,b^4-8\,a\,b^3+4\,a^2\,b^2+\frac {\mathrm {tan}\relax (x)\,\sqrt {b^2-a^2}\,\left (64\,a^3\,b^2-128\,a^2\,b^3+64\,a\,b^4\right )}{16\,\left (b^2+a\,b\right )}\right )}{4\,\left (b^2+a\,b\right )}\right )\,\sqrt {b^2-a^2}\,1{}\mathrm {i}}{b^2+a\,b}+\frac {\left (\frac {\mathrm {tan}\relax (x)\,\left (4\,a^3-12\,a^2\,b+12\,a\,b^2-4\,b^3\right )}{4}+\frac {\sqrt {b^2-a^2}\,\left (8\,a\,b^3-4\,b^4-4\,a^2\,b^2+\frac {\mathrm {tan}\relax (x)\,\sqrt {b^2-a^2}\,\left (64\,a^3\,b^2-128\,a^2\,b^3+64\,a\,b^4\right )}{16\,\left (b^2+a\,b\right )}\right )}{4\,\left (b^2+a\,b\right )}\right )\,\sqrt {b^2-a^2}\,1{}\mathrm {i}}{b^2+a\,b}}{\frac {\left (\frac {\mathrm {tan}\relax (x)\,\left (4\,a^3-12\,a^2\,b+12\,a\,b^2-4\,b^3\right )}{4}+\frac {\sqrt {b^2-a^2}\,\left (4\,b^4-8\,a\,b^3+4\,a^2\,b^2+\frac {\mathrm {tan}\relax (x)\,\sqrt {b^2-a^2}\,\left (64\,a^3\,b^2-128\,a^2\,b^3+64\,a\,b^4\right )}{16\,\left (b^2+a\,b\right )}\right )}{4\,\left (b^2+a\,b\right )}\right )\,\sqrt {b^2-a^2}}{b^2+a\,b}-\frac {\left (\frac {\mathrm {tan}\relax (x)\,\left (4\,a^3-12\,a^2\,b+12\,a\,b^2-4\,b^3\right )}{4}+\frac {\sqrt {b^2-a^2}\,\left (8\,a\,b^3-4\,b^4-4\,a^2\,b^2+\frac {\mathrm {tan}\relax (x)\,\sqrt {b^2-a^2}\,\left (64\,a^3\,b^2-128\,a^2\,b^3+64\,a\,b^4\right )}{16\,\left (b^2+a\,b\right )}\right )}{4\,\left (b^2+a\,b\right )}\right )\,\sqrt {b^2-a^2}}{b^2+a\,b}}\right )\,\sqrt {b^2-a^2}\,1{}\mathrm {i}}{2\,\left (b^2+a\,b\right )} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [B] time = 35.33, size = 432, normalized size = 8.31 \[ \begin {cases} \tilde {\infty } \left (- \frac {\log {\left (\tan {\relax (x )} - 1 \right )}}{2} + \frac {\log {\left (\tan {\relax (x )} + 1 \right )}}{2}\right ) & \text {for}\: a = 0 \wedge b = 0 \\\frac {1}{4 b \tan {\relax (x )}} & \text {for}\: a = - b \\\frac {\tan {\relax (x )}}{4 b} & \text {for}\: a = b \\\frac {\log {\left (- \sqrt {- \frac {a}{a - b} - \frac {b}{a - b}} + \tan {\relax (x )} \right )}}{4 a \sqrt {- \frac {a}{a - b} - \frac {b}{a - b}} - 4 b \sqrt {- \frac {a}{a - b} - \frac {b}{a - b}}} - \frac {\log {\left (\sqrt {- \frac {a}{a - b} - \frac {b}{a - b}} + \tan {\relax (x )} \right )}}{4 a \sqrt {- \frac {a}{a - b} - \frac {b}{a - b}} - 4 b \sqrt {- \frac {a}{a - b} - \frac {b}{a - b}}} & \text {otherwise} \end {cases} + \begin {cases} \tilde {\infty } x & \text {for}\: a = 0 \wedge b = 0 \\\frac {x}{2 b} - \frac {\tan {\relax (x )}}{4 b} & \text {for}\: a = b \\\frac {x}{2 b} + \frac {1}{4 b \tan {\relax (x )}} & \text {for}\: a = - b \\\frac {\sin {\left (2 x \right )}}{4 a} & \text {for}\: b = 0 \\\frac {2 a x \sqrt {- \frac {a}{a - b} - \frac {b}{a - b}}}{4 a b \sqrt {- \frac {a}{a - b} - \frac {b}{a - b}} - 4 b^{2} \sqrt {- \frac {a}{a - b} - \frac {b}{a - b}}} - \frac {a \log {\left (- \sqrt {- \frac {a}{a - b} - \frac {b}{a - b}} + \tan {\relax (x )} \right )}}{4 a b \sqrt {- \frac {a}{a - b} - \frac {b}{a - b}} - 4 b^{2} \sqrt {- \frac {a}{a - b} - \frac {b}{a - b}}} + \frac {a \log {\left (\sqrt {- \frac {a}{a - b} - \frac {b}{a - b}} + \tan {\relax (x )} \right )}}{4 a b \sqrt {- \frac {a}{a - b} - \frac {b}{a - b}} - 4 b^{2} \sqrt {- \frac {a}{a - b} - \frac {b}{a - b}}} - \frac {2 b x \sqrt {- \frac {a}{a - b} - \frac {b}{a - b}}}{4 a b \sqrt {- \frac {a}{a - b} - \frac {b}{a - b}} - 4 b^{2} \sqrt {- \frac {a}{a - b} - \frac {b}{a - b}}} & \text {otherwise} \end {cases} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________