\(\int \frac {1}{2-3 \cos ^2(2+3 x)} \, dx\) [11]
Optimal result
Integrand size = 14, antiderivative size = 60 \[
\int \frac {1}{2-3 \cos ^2(2+3 x)} \, dx=\frac {\log \left (\cos (2+3 x)-\sqrt {2} \sin (2+3 x)\right )}{6 \sqrt {2}}-\frac {\log \left (\cos (2+3 x)+\sqrt {2} \sin (2+3 x)\right )}{6 \sqrt {2}}
\]
[Out]
1/12*ln(cos(2+3*x)-sin(2+3*x)*2^(1/2))*2^(1/2)-1/12*ln(cos(2+3*x)+sin(2+3*x)*2^(1/2))*2^(1/2)
Rubi [A] (verified)
Time = 0.02 (sec) , antiderivative size = 60, normalized size of antiderivative = 1.00,
number of steps used = 2, number of rules used = 2, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.143, Rules used = {3260, 212}
\[
\int \frac {1}{2-3 \cos ^2(2+3 x)} \, dx=\frac {\log \left (\cos (3 x+2)-\sqrt {2} \sin (3 x+2)\right )}{6 \sqrt {2}}-\frac {\log \left (\sqrt {2} \sin (3 x+2)+\cos (3 x+2)\right )}{6 \sqrt {2}}
\]
[In]
Int[(2 - 3*Cos[2 + 3*x]^2)^(-1),x]
[Out]
Log[Cos[2 + 3*x] - Sqrt[2]*Sin[2 + 3*x]]/(6*Sqrt[2]) - Log[Cos[2 + 3*x] + Sqrt[2]*Sin[2 + 3*x]]/(6*Sqrt[2])
Rule 212
Int[((a_) + (b_.)*(x_)^2)^(-1), x_Symbol] :> Simp[(1/(Rt[a, 2]*Rt[-b, 2]))*ArcTanh[Rt[-b, 2]*(x/Rt[a, 2])], x]
/; FreeQ[{a, b}, x] && NegQ[a/b] && (GtQ[a, 0] || LtQ[b, 0])
Rule 3260
Int[((a_) + (b_.)*sin[(e_.) + (f_.)*(x_)]^2)^(-1), x_Symbol] :> With[{ff = FreeFactors[Tan[e + f*x], x]}, Dist
[ff/f, Subst[Int[1/(a + (a + b)*ff^2*x^2), x], x, Tan[e + f*x]/ff], x]] /; FreeQ[{a, b, e, f}, x]
Rubi steps \begin{align*}
\text {integral}& = -\left (\frac {1}{3} \text {Subst}\left (\int \frac {1}{2-x^2} \, dx,x,\cot (2+3 x)\right )\right ) \\ & = \frac {\log \left (\cos (2+3 x)-\sqrt {2} \sin (2+3 x)\right )}{6 \sqrt {2}}-\frac {\log \left (\cos (2+3 x)+\sqrt {2} \sin (2+3 x)\right )}{6 \sqrt {2}} \\
\end{align*}
Mathematica [A] (verified)
Time = 1.10 (sec) , antiderivative size = 22, normalized size of antiderivative = 0.37
\[
\int \frac {1}{2-3 \cos ^2(2+3 x)} \, dx=-\frac {\text {arctanh}\left (\sqrt {2} \tan (2+3 x)\right )}{3 \sqrt {2}}
\]
[In]
Integrate[(2 - 3*Cos[2 + 3*x]^2)^(-1),x]
[Out]
-1/3*ArcTanh[Sqrt[2]*Tan[2 + 3*x]]/Sqrt[2]
Maple [A] (verified)
Time = 0.61 (sec) , antiderivative size = 17, normalized size of antiderivative = 0.28
| | |
method | result | size |
| | |
derivativedivides |
\(-\frac {\sqrt {2}\, \operatorname {arctanh}\left (\tan \left (2+3 x \right ) \sqrt {2}\right )}{6}\) |
\(17\) |
default |
\(-\frac {\sqrt {2}\, \operatorname {arctanh}\left (\tan \left (2+3 x \right ) \sqrt {2}\right )}{6}\) |
\(17\) |
risch |
\(\frac {\sqrt {2}\, \ln \left ({\mathrm e}^{2 i \left (2+3 x \right )}-\frac {1}{3}-\frac {2 i \sqrt {2}}{3}\right )}{12}-\frac {\sqrt {2}\, \ln \left ({\mathrm e}^{2 i \left (2+3 x \right )}-\frac {1}{3}+\frac {2 i \sqrt {2}}{3}\right )}{12}\) |
\(48\) |
| | |
|
|
|
[In]
int(1/(2-3*cos(2+3*x)^2),x,method=_RETURNVERBOSE)
[Out]
-1/6*2^(1/2)*arctanh(tan(2+3*x)*2^(1/2))
Fricas [A] (verification not implemented)
none
Time = 0.25 (sec) , antiderivative size = 86, normalized size of antiderivative = 1.43
\[
\int \frac {1}{2-3 \cos ^2(2+3 x)} \, dx=\frac {1}{24} \, \sqrt {2} \log \left (-\frac {7 \, \cos \left (3 \, x + 2\right )^{4} - 4 \, \cos \left (3 \, x + 2\right )^{2} - 4 \, {\left (\sqrt {2} \cos \left (3 \, x + 2\right )^{3} - 2 \, \sqrt {2} \cos \left (3 \, x + 2\right )\right )} \sin \left (3 \, x + 2\right ) - 4}{9 \, \cos \left (3 \, x + 2\right )^{4} - 12 \, \cos \left (3 \, x + 2\right )^{2} + 4}\right )
\]
[In]
integrate(1/(2-3*cos(2+3*x)^2),x, algorithm="fricas")
[Out]
1/24*sqrt(2)*log(-(7*cos(3*x + 2)^4 - 4*cos(3*x + 2)^2 - 4*(sqrt(2)*cos(3*x + 2)^3 - 2*sqrt(2)*cos(3*x + 2))*s
in(3*x + 2) - 4)/(9*cos(3*x + 2)^4 - 12*cos(3*x + 2)^2 + 4))
Sympy [B] (verification not implemented)
Leaf count of result is larger than twice the leaf count of optimal. 1644 vs. \(2 (53) = 106\).
Time = 9.50 (sec) , antiderivative size = 1644, normalized size of antiderivative = 27.40
\[
\int \frac {1}{2-3 \cos ^2(2+3 x)} \, dx=\text {Too large to display}
\]
[In]
integrate(1/(2-3*cos(2+3*x)**2),x)
[Out]
-1387702511766624*sqrt(5 - 2*sqrt(6))*log(tan(3*x/2 + 1) - sqrt(5 - 2*sqrt(6)))/(-467972363532675 - 1910489173
96548*sqrt(6) + 13665597568857156*sqrt(6)*sqrt(5 - 2*sqrt(6))*sqrt(2*sqrt(6) + 5) + 33473741073918339*sqrt(5 -
2*sqrt(6))*sqrt(2*sqrt(6) + 5)) - 566527178101133*sqrt(6)*sqrt(5 - 2*sqrt(6))*log(tan(3*x/2 + 1) - sqrt(5 - 2
*sqrt(6)))/(-467972363532675 - 191048917396548*sqrt(6) + 13665597568857156*sqrt(6)*sqrt(5 - 2*sqrt(6))*sqrt(2*
sqrt(6) + 5) + 33473741073918339*sqrt(5 - 2*sqrt(6))*sqrt(2*sqrt(6) + 5)) + 1376499295618884*sqrt(2*sqrt(6) +
5)*log(tan(3*x/2 + 1) - sqrt(5 - 2*sqrt(6)))/(-467972363532675 - 191048917396548*sqrt(6) + 13665597568857156*s
qrt(6)*sqrt(5 - 2*sqrt(6))*sqrt(2*sqrt(6) + 5) + 33473741073918339*sqrt(5 - 2*sqrt(6))*sqrt(2*sqrt(6) + 5)) +
561953484261121*sqrt(6)*sqrt(2*sqrt(6) + 5)*log(tan(3*x/2 + 1) - sqrt(5 - 2*sqrt(6)))/(-467972363532675 - 1910
48917396548*sqrt(6) + 13665597568857156*sqrt(6)*sqrt(5 - 2*sqrt(6))*sqrt(2*sqrt(6) + 5) + 33473741073918339*sq
rt(5 - 2*sqrt(6))*sqrt(2*sqrt(6) + 5)) - 1247944371758796*sqrt(2*sqrt(6) + 5)*log(tan(3*x/2 + 1) + sqrt(5 - 2*
sqrt(6)))/(-467972363532675 - 191048917396548*sqrt(6) + 13665597568857156*sqrt(6)*sqrt(5 - 2*sqrt(6))*sqrt(2*s
qrt(6) + 5) + 33473741073918339*sqrt(5 - 2*sqrt(6))*sqrt(2*sqrt(6) + 5)) - 509471156364528*sqrt(6)*sqrt(2*sqrt
(6) + 5)*log(tan(3*x/2 + 1) + sqrt(5 - 2*sqrt(6)))/(-467972363532675 - 191048917396548*sqrt(6) + 1366559756885
7156*sqrt(6)*sqrt(5 - 2*sqrt(6))*sqrt(2*sqrt(6) + 5) + 33473741073918339*sqrt(5 - 2*sqrt(6))*sqrt(2*sqrt(6) +
5)) + 47005690897992*sqrt(6)*sqrt(5 - 2*sqrt(6))*log(tan(3*x/2 + 1) + sqrt(5 - 2*sqrt(6)))/(-467972363532675 -
191048917396548*sqrt(6) + 13665597568857156*sqrt(6)*sqrt(5 - 2*sqrt(6))*sqrt(2*sqrt(6) + 5) + 334737410739183
39*sqrt(5 - 2*sqrt(6))*sqrt(2*sqrt(6) + 5)) + 115139957707068*sqrt(5 - 2*sqrt(6))*log(tan(3*x/2 + 1) + sqrt(5
- 2*sqrt(6)))/(-467972363532675 - 191048917396548*sqrt(6) + 13665597568857156*sqrt(6)*sqrt(5 - 2*sqrt(6))*sqrt
(2*sqrt(6) + 5) + 33473741073918339*sqrt(5 - 2*sqrt(6))*sqrt(2*sqrt(6) + 5)) - 12353375735168316*sqrt(5 - 2*sq
rt(6))*log(tan(3*x/2 + 1) - sqrt(2*sqrt(6) + 5))/(-467972363532675 - 191048917396548*sqrt(6) + 136655975688571
56*sqrt(6)*sqrt(5 - 2*sqrt(6))*sqrt(2*sqrt(6) + 5) + 33473741073918339*sqrt(5 - 2*sqrt(6))*sqrt(2*sqrt(6) + 5)
) - 5043244525340232*sqrt(6)*sqrt(5 - 2*sqrt(6))*log(tan(3*x/2 + 1) - sqrt(2*sqrt(6) + 5))/(-467972363532675 -
191048917396548*sqrt(6) + 13665597568857156*sqrt(6)*sqrt(5 - 2*sqrt(6))*sqrt(2*sqrt(6) + 5) + 334737410739183
39*sqrt(5 - 2*sqrt(6))*sqrt(2*sqrt(6) + 5)) + 4748539075824*sqrt(6)*sqrt(2*sqrt(6) + 5)*log(tan(3*x/2 + 1) - s
qrt(2*sqrt(6) + 5))/(-467972363532675 - 191048917396548*sqrt(6) + 13665597568857156*sqrt(6)*sqrt(5 - 2*sqrt(6)
)*sqrt(2*sqrt(6) + 5) + 33473741073918339*sqrt(5 - 2*sqrt(6))*sqrt(2*sqrt(6) + 5)) + 11631497759436*sqrt(2*sqr
t(6) + 5)*log(tan(3*x/2 + 1) - sqrt(2*sqrt(6) + 5))/(-467972363532675 - 191048917396548*sqrt(6) + 136655975688
57156*sqrt(6)*sqrt(5 - 2*sqrt(6))*sqrt(2*sqrt(6) + 5) + 33473741073918339*sqrt(5 - 2*sqrt(6))*sqrt(2*sqrt(6) +
5)) - 140186421619524*sqrt(2*sqrt(6) + 5)*log(tan(3*x/2 + 1) + sqrt(2*sqrt(6) + 5))/(-467972363532675 - 19104
8917396548*sqrt(6) + 13665597568857156*sqrt(6)*sqrt(5 - 2*sqrt(6))*sqrt(2*sqrt(6) + 5) + 33473741073918339*sqr
t(5 - 2*sqrt(6))*sqrt(2*sqrt(6) + 5)) - 57230866972417*sqrt(6)*sqrt(2*sqrt(6) + 5)*log(tan(3*x/2 + 1) + sqrt(2
*sqrt(6) + 5))/(-467972363532675 - 191048917396548*sqrt(6) + 13665597568857156*sqrt(6)*sqrt(5 - 2*sqrt(6))*sqr
t(2*sqrt(6) + 5) + 33473741073918339*sqrt(5 - 2*sqrt(6))*sqrt(2*sqrt(6) + 5)) + 13625938289227872*sqrt(5 - 2*s
qrt(6))*log(tan(3*x/2 + 1) + sqrt(2*sqrt(6) + 5))/(-467972363532675 - 191048917396548*sqrt(6) + 13665597568857
156*sqrt(6)*sqrt(5 - 2*sqrt(6))*sqrt(2*sqrt(6) + 5) + 33473741073918339*sqrt(5 - 2*sqrt(6))*sqrt(2*sqrt(6) + 5
)) + 5562766012543373*sqrt(6)*sqrt(5 - 2*sqrt(6))*log(tan(3*x/2 + 1) + sqrt(2*sqrt(6) + 5))/(-467972363532675
- 191048917396548*sqrt(6) + 13665597568857156*sqrt(6)*sqrt(5 - 2*sqrt(6))*sqrt(2*sqrt(6) + 5) + 33473741073918
339*sqrt(5 - 2*sqrt(6))*sqrt(2*sqrt(6) + 5))
Maxima [A] (verification not implemented)
none
Time = 0.29 (sec) , antiderivative size = 34, normalized size of antiderivative = 0.57
\[
\int \frac {1}{2-3 \cos ^2(2+3 x)} \, dx=\frac {1}{12} \, \sqrt {2} \log \left (-\frac {\sqrt {2} - 2 \, \tan \left (3 \, x + 2\right )}{\sqrt {2} + 2 \, \tan \left (3 \, x + 2\right )}\right )
\]
[In]
integrate(1/(2-3*cos(2+3*x)^2),x, algorithm="maxima")
[Out]
1/12*sqrt(2)*log(-(sqrt(2) - 2*tan(3*x + 2))/(sqrt(2) + 2*tan(3*x + 2)))
Giac [A] (verification not implemented)
none
Time = 0.29 (sec) , antiderivative size = 39, normalized size of antiderivative = 0.65
\[
\int \frac {1}{2-3 \cos ^2(2+3 x)} \, dx=\frac {1}{12} \, \sqrt {2} \log \left (\frac {{\left | -2 \, \sqrt {2} + 4 \, \tan \left (3 \, x + 2\right ) \right |}}{{\left | 2 \, \sqrt {2} + 4 \, \tan \left (3 \, x + 2\right ) \right |}}\right )
\]
[In]
integrate(1/(2-3*cos(2+3*x)^2),x, algorithm="giac")
[Out]
1/12*sqrt(2)*log(abs(-2*sqrt(2) + 4*tan(3*x + 2))/abs(2*sqrt(2) + 4*tan(3*x + 2)))
Mupad [B] (verification not implemented)
Time = 26.03 (sec) , antiderivative size = 16, normalized size of antiderivative = 0.27
\[
\int \frac {1}{2-3 \cos ^2(2+3 x)} \, dx=-\frac {\sqrt {2}\,\mathrm {atanh}\left (\sqrt {2}\,\mathrm {tan}\left (3\,x+2\right )\right )}{6}
\]
[In]
int(-1/(3*cos(3*x + 2)^2 - 2),x)
[Out]
-(2^(1/2)*atanh(2^(1/2)*tan(3*x + 2)))/6