[next] [prev] [prev-tail] [tail] [up]

3.87 \(\int \sec (4 x) \sin (x) \, dx\)

Optimal. Leaf size=71 \[ \frac{\tanh ^{-1}\left (\frac{2 \cos (x)}{\sqrt{2+\sqrt{2}}}\right )}{2 \sqrt{2 \left (2+\sqrt{2}\right )}}-\frac{\tanh ^{-1}\left (\frac{2 \cos (x)}{\sqrt{2-\sqrt{2}}}\right )}{2 \sqrt{2 \left (2-\sqrt{2}\right )}} \]

[Out]

-ArcTanh[(2*Cos[x])/Sqrt[2 - Sqrt[2]]]/(2*Sqrt[2*(2 - Sqrt[2])]) + ArcTanh[(2*Cos[x])/Sqrt[2 + Sqrt[2]]]/(2*Sq
rt[2*(2 + Sqrt[2])])

________________________________________________________________________________________

Rubi [A]  time = 0.0621501, antiderivative size = 71, normalized size of antiderivative = 1., number of steps used = 4, number of rules used = 3, integrand size = 7, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.429, Rules used = {4357, 1093, 207} \[ \frac{\tanh ^{-1}\left (\frac{2 \cos (x)}{\sqrt{2+\sqrt{2}}}\right )}{2 \sqrt{2 \left (2+\sqrt{2}\right )}}-\frac{\tanh ^{-1}\left (\frac{2 \cos (x)}{\sqrt{2-\sqrt{2}}}\right )}{2 \sqrt{2 \left (2-\sqrt{2}\right )}} \]

Antiderivative was successfully verified.

[In]

Int[Sec[4*x]*Sin[x],x]

[Out]

-ArcTanh[(2*Cos[x])/Sqrt[2 - Sqrt[2]]]/(2*Sqrt[2*(2 - Sqrt[2])]) + ArcTanh[(2*Cos[x])/Sqrt[2 + Sqrt[2]]]/(2*Sq
rt[2*(2 + Sqrt[2])])

Rule 4357

Int[(u_)*(F_)[(c_.)*((a_.) + (b_.)*(x_))], x_Symbol] :> With[{d = FreeFactors[Cos[c*(a + b*x)], x]}, -Dist[d/(
b*c), Subst[Int[SubstFor[1, Cos[c*(a + b*x)]/d, u, x], x], x, Cos[c*(a + b*x)]/d], x] /; FunctionOfQ[Cos[c*(a
+ b*x)]/d, u, x]] /; FreeQ[{a, b, c}, x] && (EqQ[F, Sin] || EqQ[F, sin])

Rule 1093

Int[((a_) + (b_.)*(x_)^2 + (c_.)*(x_)^4)^(-1), x_Symbol] :> With[{q = Rt[b^2 - 4*a*c, 2]}, Dist[c/q, Int[1/(b/
2 - q/2 + c*x^2), x], x] - Dist[c/q, Int[1/(b/2 + q/2 + c*x^2), x], x]] /; FreeQ[{a, b, c}, x] && NeQ[b^2 - 4*
a*c, 0] && PosQ[b^2 - 4*a*c]

Rule 207

Int[((a_) + (b_.)*(x_)^2)^(-1), x_Symbol] :> -Simp[ArcTanh[(Rt[b, 2]*x)/Rt[-a, 2]]/(Rt[-a, 2]*Rt[b, 2]), x] /;
 FreeQ[{a, b}, x] && NegQ[a/b] && (LtQ[a, 0] || GtQ[b, 0])

Rubi steps

\begin{align*} \int \sec (4 x) \sin (x) \, dx &=-\operatorname{Subst}\left (\int \frac{1}{1-8 x^2+8 x^4} \, dx,x,\cos (x)\right )\\ &=-\left (\sqrt{2} \operatorname{Subst}\left (\int \frac{1}{-4-2 \sqrt{2}+8 x^2} \, dx,x,\cos (x)\right )\right )+\sqrt{2} \operatorname{Subst}\left (\int \frac{1}{-4+2 \sqrt{2}+8 x^2} \, dx,x,\cos (x)\right )\\ &=-\frac{\tanh ^{-1}\left (\frac{2 \cos (x)}{\sqrt{2-\sqrt{2}}}\right )}{2 \sqrt{2 \left (2-\sqrt{2}\right )}}+\frac{\tanh ^{-1}\left (\frac{2 \cos (x)}{\sqrt{2+\sqrt{2}}}\right )}{2 \sqrt{2 \left (2+\sqrt{2}\right )}}\\ \end{align*}

Mathematica [C]  time = 56.6215, size = 4845, normalized size = 68.24 \[ \text{Result too large to show} \]

Warning: Unable to verify antiderivative.

[In]

Integrate[Sec[4*x]*Sin[x],x]

[Out]

((-2*(-1)^(3/8)*(1 + Sqrt[2])*x - (2*(-1)^(1/4)*(-2 - (1 - I)*(-1)^(5/8) + (-1)^(5/8)*Sqrt[2])*ArcTan[(-Cos[x]
 + (1 + Sqrt[2])*Sin[x])/(2*(-1)^(3/8) + Cos[x] - Sqrt[2]*Cos[x] + Sin[x])])/((-1 + I) + 2*(-1)^(3/8) + Sqrt[2
]) - (2*(1 - I)^(3/2)*2^(1/4)*((-3 - I) + 2*(-1)^(5/8) + (2 + I)*Sqrt[2] - (2 + 2*I)*(-1)^(3/8)*Sqrt[2] + 2*(-
1)^(5/8)*Sqrt[2])*ArcTan[((1 + I) + I*Sqrt[2] + ((-1 + I) + 2*(-1)^(3/8) + Sqrt[2])*Tan[x/2])/(Sqrt[1 - I]*2^(
3/4))])/((-1 + I) + 2*(-1)^(3/8) + Sqrt[2]) + 2*(-1)^(3/8)*Log[Sec[x/2]^2] + ((-1)^(3/4)*(-2 - (1 - I)*(-1)^(5
/8) + (-1)^(5/8)*Sqrt[2])*Log[-(Sec[x/2]^4*(-2 + (1 - I)*Sqrt[2] + 2*(-1)^(3/8)*(-1 + Sqrt[2])*Cos[x] + Sqrt[2
]*Cos[2*x] - 2*(-1)^(3/8)*Sin[x] + Sqrt[2]*Sin[2*x]))])/((-1 + I) + 2*(-1)^(3/8) + Sqrt[2]))*((-1/2 - I/2)/(((
-1 + I) + Sqrt[1 - I]*Sqrt[1 + I])*(-((-1 - I)^(3/2)*(1 - I)^(1/4)*(1 + I)^(1/4)) - (1 + I)*Cos[x] + I*Sqrt[1
- I]*Sqrt[1 + I]*Cos[x] + (1 - I)*Sin[x] + Sqrt[1 - I]*Sqrt[1 + I]*Sin[x])) - Sin[x]/(Sqrt[-1 - I]*(1 - I)^(1/
4)*(1 + I)^(1/4)*((-1 + I) + Sqrt[1 - I]*Sqrt[1 + I])*(-((-1 - I)^(3/2)*(1 - I)^(1/4)*(1 + I)^(1/4)) - (1 + I)
*Cos[x] + I*Sqrt[1 - I]*Sqrt[1 + I]*Cos[x] + (1 - I)*Sin[x] + Sqrt[1 - I]*Sqrt[1 + I]*Sin[x])) - ((I/2)*Sqrt[-
1 - I]*(1 - I)^(1/4)*(1 + I)^(1/4)*Sin[x])/(((-1 + I) + Sqrt[1 - I]*Sqrt[1 + I])*(-((-1 - I)^(3/2)*(1 - I)^(1/
4)*(1 + I)^(1/4)) - (1 + I)*Cos[x] + I*Sqrt[1 - I]*Sqrt[1 + I]*Cos[x] + (1 - I)*Sin[x] + Sqrt[1 - I]*Sqrt[1 +
I]*Sin[x]))))/(-2*(-1)^(3/8)*(1 + Sqrt[2]) - (2*(-1)^(1/4)*(-2 - (1 - I)*(-1)^(5/8) + (-1)^(5/8)*Sqrt[2])*(((1
 + Sqrt[2])*Cos[x] + Sin[x])/(2*(-1)^(3/8) + Cos[x] - Sqrt[2]*Cos[x] + Sin[x]) - ((Cos[x] - Sin[x] + Sqrt[2]*S
in[x])*(-Cos[x] + (1 + Sqrt[2])*Sin[x]))/(2*(-1)^(3/8) + Cos[x] - Sqrt[2]*Cos[x] + Sin[x])^2))/(((-1 + I) + 2*
(-1)^(3/8) + Sqrt[2])*(1 + (-Cos[x] + (1 + Sqrt[2])*Sin[x])^2/(2*(-1)^(3/8) + Cos[x] - Sqrt[2]*Cos[x] + Sin[x]
)^2)) + 2*(-1)^(3/8)*Tan[x/2] - ((-1)^(3/4)*(-2 - (1 - I)*(-1)^(5/8) + (-1)^(5/8)*Sqrt[2])*Cos[x/2]^4*(-(Sec[x
/2]^4*(-2*(-1)^(3/8)*Cos[x] + 2*Sqrt[2]*Cos[2*x] - 2*(-1)^(3/8)*(-1 + Sqrt[2])*Sin[x] - 2*Sqrt[2]*Sin[2*x])) -
 2*Sec[x/2]^4*(-2 + (1 - I)*Sqrt[2] + 2*(-1)^(3/8)*(-1 + Sqrt[2])*Cos[x] + Sqrt[2]*Cos[2*x] - 2*(-1)^(3/8)*Sin
[x] + Sqrt[2]*Sin[2*x])*Tan[x/2]))/(((-1 + I) + 2*(-1)^(3/8) + Sqrt[2])*(-2 + (1 - I)*Sqrt[2] + 2*(-1)^(3/8)*(
-1 + Sqrt[2])*Cos[x] + Sqrt[2]*Cos[2*x] - 2*(-1)^(3/8)*Sin[x] + Sqrt[2]*Sin[2*x])) - ((1 - I)*((-3 - I) + 2*(-
1)^(5/8) + (2 + I)*Sqrt[2] - (2 + 2*I)*(-1)^(3/8)*Sqrt[2] + 2*(-1)^(5/8)*Sqrt[2])*Sec[x/2]^2)/(Sqrt[2]*(1 + ((
1/4 + I/4)*((1 + I) + I*Sqrt[2] + ((-1 + I) + 2*(-1)^(3/8) + Sqrt[2])*Tan[x/2])^2)/Sqrt[2]))) + ((-4*Sqrt[-1 -
 I]*(-1 + Sqrt[2])*ArcTanh[((-I)*((1 + I) + Sqrt[2]) + ((1 + I) + 2*(-1)^(5/8) - Sqrt[2])*Tan[x/2])/(Sqrt[-1 -
 I]*2^(3/4))] + (-1)^(1/8)*2^(1/4)*(2*ArcTan[(Cos[x] + (1 + Sqrt[2])*Sin[x])/(2*(-1)^(5/8) + (-1 + Sqrt[2])*Co
s[x] + Sin[x])] - I*(2*(1 + Sqrt[2])*x + 2*Log[Sec[x/2]^2] - Log[Sec[x/2]^4*(2 - (1 + I)*Sqrt[2] + 2*(-1)^(5/8
)*(-1 + Sqrt[2])*Cos[x] - Sqrt[2]*Cos[2*x] + 2*(-1)^(5/8)*Sin[x] + Sqrt[2]*Sin[2*x])])))*(2 + I*Sqrt[-1 + I]*2
^(1/4)*((1 + I) + Sqrt[2])*Sin[x]))/(2^(1/4)*(4*Sqrt[-1 + I]*2^(1/4)*((-1 - I) + Sqrt[2]) - 8*(-1 + Sqrt[2])*C
os[x] - 8*Sin[x])*((2*(-1)^(1/8)*(-2 - (1 + I)*Sqrt[2] + (-1)^(1/8)*((1 + I) + I*Sqrt[2])*Cos[x] + (2*I)*(1 +
Sqrt[2])*Cos[2*x] + (-1)^(1/8)*Sin[x] - (-1)^(5/8)*Sin[x] + 3*(-1)^(1/8)*Sqrt[2]*Sin[x] - (2*I)*Sin[2*x]))/(2
- (1 + I)*Sqrt[2] + 2*(-1)^(5/8)*(-1 + Sqrt[2])*Cos[x] - Sqrt[2]*Cos[2*x] + 2*(-1)^(5/8)*Sin[x] + Sqrt[2]*Sin[
2*x]) - (((1 + I) + 2*(-1)^(5/8) - Sqrt[2])*(-1 + Sqrt[2])*Sec[x/2]^2)/(1 + ((1/4 - I/4)*(I*((1 + I) + Sqrt[2]
) + ((-1 - I) - 2*(-1)^(5/8) + Sqrt[2])*Tan[x/2])^2)/Sqrt[2]))) + ((-2*(-1)^(3/8)*Sqrt[2]*(1 + (-1)^(1/4))*x +
 (2*(-2*I + 2*(-1)^(3/4) + 2*(-1)^(1/8)*Sqrt[2] - (-1)^(3/8)*Sqrt[2] + (-1)^(7/8)*Sqrt[2])*ArcTan[Cos[x]/(-((-
1)^(1/8)*Sqrt[2]) + (-1)^(3/4)*Cos[x] + (1 + (-1)^(1/4))*Sin[x])])/(-I + (-1)^(3/4) + (-1)^(1/8)*Sqrt[2]) - ((
4 + 4*I)*(-1)^(5/8)*((3 - 3*I) - (2 - 2*I)*Sqrt[2] + (-1)^(1/8)*Sqrt[2] - (-1)^(3/8)*Sqrt[2] + (1 - I)*(-1)^(5
/8)*Sqrt[2] + (1 + I)*(-1)^(7/8)*Sqrt[2])*ArcTanh[(1/2 + I/2)*(-1)^(5/8)*(-1 - (-1)^(1/4) + (-I + (-1)^(3/4) +
 (-1)^(1/8)*Sqrt[2])*Tan[x/2])])/(-I + (-1)^(3/4) + (-1)^(1/8)*Sqrt[2]) - 2*(-1)^(7/8)*Sqrt[2]*(-1 + (-1)^(1/4
))*Log[Sec[x/2]^2] - ((-1 + (-1)^(1/4))*(2 - (-1)^(3/8)*Sqrt[2] + (-1)^(5/8)*Sqrt[2])*Log[(1/4 + I/4)*Sec[x/2]
^4*((2 - 2*I) + 6*Sqrt[2] - (4 - 4*I)*(-1)^(7/8)*Sqrt[2]*Cos[x] - 2*((1 + I) + Sqrt[2])*Cos[2*x] - (4 - 4*I)*(
-1)^(1/8)*Sqrt[2]*Sin[x] - (4 - 4*I)*(-1)^(3/8)*Sqrt[2]*Sin[x] - (2 - 2*I)*Sin[2*x] + (2*I)*Sqrt[2]*Sin[2*x])]
)/(-I + (-1)^(3/4) + (-1)^(1/8)*Sqrt[2]))*(I/(Sqrt[1 - I]*((-1 + I) + Sqrt[1 - I]*Sqrt[1 + I])^2*(Sqrt[-1 - I]
*(1 - I)^(3/4)*(1 + I)^(1/4) + Sqrt[1 - I]*Cos[x] - Sqrt[1 + I]*Cos[x] + I*Sqrt[1 - I]*Sin[x] + I*Sqrt[1 + I]*
Sin[x])) + 1/(Sqrt[1 + I]*((-1 + I) + Sqrt[1 - I]*Sqrt[1 + I])^2*(Sqrt[-1 - I]*(1 - I)^(3/4)*(1 + I)^(1/4) + S
qrt[1 - I]*Cos[x] - Sqrt[1 + I]*Cos[x] + I*Sqrt[1 - I]*Sin[x] + I*Sqrt[1 + I]*Sin[x])) - (2*Sin[x])/(Sqrt[-1 -
 I]*(1 - I)^(1/4)*(1 + I)^(3/4)*((-1 + I) + Sqrt[1 - I]*Sqrt[1 + I])^2*(Sqrt[-1 - I]*(1 - I)^(3/4)*(1 + I)^(1/
4) + Sqrt[1 - I]*Cos[x] - Sqrt[1 + I]*Cos[x] + I*Sqrt[1 - I]*Sin[x] + I*Sqrt[1 + I]*Sin[x]))))/(-2*(-1)^(3/8)*
Sqrt[2]*(1 + (-1)^(1/4)) + (2*(-2*I + 2*(-1)^(3/4) + 2*(-1)^(1/8)*Sqrt[2] - (-1)^(3/8)*Sqrt[2] + (-1)^(7/8)*Sq
rt[2])*(-((Cos[x]*((1 + (-1)^(1/4))*Cos[x] - (-1)^(3/4)*Sin[x]))/(-((-1)^(1/8)*Sqrt[2]) + (-1)^(3/4)*Cos[x] +
(1 + (-1)^(1/4))*Sin[x])^2) - Sin[x]/(-((-1)^(1/8)*Sqrt[2]) + (-1)^(3/4)*Cos[x] + (1 + (-1)^(1/4))*Sin[x])))/(
(-I + (-1)^(3/4) + (-1)^(1/8)*Sqrt[2])*(1 + Cos[x]^2/(-((-1)^(1/8)*Sqrt[2]) + (-1)^(3/4)*Cos[x] + (1 + (-1)^(1
/4))*Sin[x])^2)) - 2*(-1)^(7/8)*Sqrt[2]*(-1 + (-1)^(1/4))*Tan[x/2] - ((2 - 2*I)*(-1 + (-1)^(1/4))*(2 - (-1)^(3
/8)*Sqrt[2] + (-1)^(5/8)*Sqrt[2])*Cos[x/2]^4*((1/4 + I/4)*Sec[x/2]^4*((-4 + 4*I)*(-1)^(1/8)*Sqrt[2]*Cos[x] - (
4 - 4*I)*(-1)^(3/8)*Sqrt[2]*Cos[x] - (4 - 4*I)*Cos[2*x] + (4*I)*Sqrt[2]*Cos[2*x] + (4 - 4*I)*(-1)^(7/8)*Sqrt[2
]*Sin[x] + 4*((1 + I) + Sqrt[2])*Sin[2*x]) + (1/2 + I/2)*Sec[x/2]^4*((2 - 2*I) + 6*Sqrt[2] - (4 - 4*I)*(-1)^(7
/8)*Sqrt[2]*Cos[x] - 2*((1 + I) + Sqrt[2])*Cos[2*x] - (4 - 4*I)*(-1)^(1/8)*Sqrt[2]*Sin[x] - (4 - 4*I)*(-1)^(3/
8)*Sqrt[2]*Sin[x] - (2 - 2*I)*Sin[2*x] + (2*I)*Sqrt[2]*Sin[2*x])*Tan[x/2]))/((-I + (-1)^(3/4) + (-1)^(1/8)*Sqr
t[2])*((2 - 2*I) + 6*Sqrt[2] - (4 - 4*I)*(-1)^(7/8)*Sqrt[2]*Cos[x] - 2*((1 + I) + Sqrt[2])*Cos[2*x] - (4 - 4*I
)*(-1)^(1/8)*Sqrt[2]*Sin[x] - (4 - 4*I)*(-1)^(3/8)*Sqrt[2]*Sin[x] - (2 - 2*I)*Sin[2*x] + (2*I)*Sqrt[2]*Sin[2*x
])) + (2*(-1)^(3/4)*((3 - 3*I) - (2 - 2*I)*Sqrt[2] + (-1)^(1/8)*Sqrt[2] - (-1)^(3/8)*Sqrt[2] + (1 - I)*(-1)^(5
/8)*Sqrt[2] + (1 + I)*(-1)^(7/8)*Sqrt[2])*Sec[x/2]^2)/(1 + ((-1)^(3/4)*(-1 - (-1)^(1/4) + (-I + (-1)^(3/4) + (
-1)^(1/8)*Sqrt[2])*Tan[x/2])^2)/2)) + ((2*((-1)^(1/8) + (-1)^(3/8))*x - (2*(-1)^(7/8)*(2 - Sqrt[2] - (-1)^(3/8
)*Sqrt[2] + (-1)^(5/8)*Sqrt[2])*ArcTan[Cos[x]/(-((-1)^(1/8)*Sqrt[2]) + (-1)^(3/4)*Cos[x] - (1 + (-1)^(1/4))*Si
n[x])])/(-I + (-1)^(3/4) + (-1)^(1/8)*Sqrt[2]) - ((4 + 4*I)*(-1)^(5/8)*(3*I + (-1)^(1/8) - (-1)^(3/8) - (1 + I
)*(-1)^(5/8) - (2*I)*Sqrt[2] + (1 + I)*(-1)^(5/8)*Sqrt[2])*ArcTanh[(1/2 + I/2)*(-1)^(5/8)*(1 + (-1)^(1/4) + (-
I + (-1)^(3/4) + (-1)^(1/8)*Sqrt[2])*Tan[x/2])])/(-I + (-1)^(3/4) + (-1)^(1/8)*Sqrt[2]) + 2*(-1)^(3/8)*(-I + (
-1)^(1/4))*Log[Sec[x/2]^2] + ((-1)^(3/8)*(2 - Sqrt[2] - (-1)^(3/8)*Sqrt[2] + (-1)^(5/8)*Sqrt[2])*Log[(1/4 + I/
4)*Sec[x/2]^4*((2 - 2*I) + 6*Sqrt[2] - (4 - 4*I)*(-1)^(7/8)*Sqrt[2]*Cos[x] - 2*((1 + I) + Sqrt[2])*Cos[2*x] +
(4 - 4*I)*(-1)^(1/8)*((1 + I) + Sqrt[2])*Sin[x] + (2 - 2*I)*Sin[2*x] - (2*I)*Sqrt[2]*Sin[2*x])])/(-I + (-1)^(3
/4) + (-1)^(1/8)*Sqrt[2]))*(1/(Sqrt[1 - I]*((-1 - I) + Sqrt[1 - I]*Sqrt[1 + I])^2*(-(Sqrt[-1 + I]*(1 - I)^(1/4
)*(1 + I)^(3/4)) + Sqrt[1 - I]*Cos[x] - Sqrt[1 + I]*Cos[x] - I*Sqrt[1 - I]*Sin[x] - I*Sqrt[1 + I]*Sin[x])) - I
/(Sqrt[1 + I]*((-1 - I) + Sqrt[1 - I]*Sqrt[1 + I])^2*(-(Sqrt[-1 + I]*(1 - I)^(1/4)*(1 + I)^(3/4)) + Sqrt[1 - I
]*Cos[x] - Sqrt[1 + I]*Cos[x] - I*Sqrt[1 - I]*Sin[x] - I*Sqrt[1 + I]*Sin[x])) + (2*Sin[x])/(Sqrt[-1 + I]*(1 -
I)^(3/4)*(1 + I)^(1/4)*((-1 - I) + Sqrt[1 - I]*Sqrt[1 + I])^2*(-(Sqrt[-1 + I]*(1 - I)^(1/4)*(1 + I)^(3/4)) + S
qrt[1 - I]*Cos[x] - Sqrt[1 + I]*Cos[x] - I*Sqrt[1 - I]*Sin[x] - I*Sqrt[1 + I]*Sin[x]))))/(2*((-1)^(1/8) + (-1)
^(3/8)) - (2*(-1)^(7/8)*(2 - Sqrt[2] - (-1)^(3/8)*Sqrt[2] + (-1)^(5/8)*Sqrt[2])*(-((Cos[x]*(-((1 + (-1)^(1/4))
*Cos[x]) - (-1)^(3/4)*Sin[x]))/(-((-1)^(1/8)*Sqrt[2]) + (-1)^(3/4)*Cos[x] - (1 + (-1)^(1/4))*Sin[x])^2) - Sin[
x]/(-((-1)^(1/8)*Sqrt[2]) + (-1)^(3/4)*Cos[x] - (1 + (-1)^(1/4))*Sin[x])))/((-I + (-1)^(3/4) + (-1)^(1/8)*Sqrt
[2])*(1 + Cos[x]^2/(-((-1)^(1/8)*Sqrt[2]) + (-1)^(3/4)*Cos[x] - (1 + (-1)^(1/4))*Sin[x])^2)) + 2*(-1)^(3/8)*(-
I + (-1)^(1/4))*Tan[x/2] + ((2 - 2*I)*(-1)^(3/8)*(2 - Sqrt[2] - (-1)^(3/8)*Sqrt[2] + (-1)^(5/8)*Sqrt[2])*Cos[x
/2]^4*((1/4 + I/4)*Sec[x/2]^4*((4 - 4*I)*(-1)^(1/8)*((1 + I) + Sqrt[2])*Cos[x] + (4 - 4*I)*Cos[2*x] - (4*I)*Sq
rt[2]*Cos[2*x] + (4 - 4*I)*(-1)^(7/8)*Sqrt[2]*Sin[x] + 4*((1 + I) + Sqrt[2])*Sin[2*x]) + (1/2 + I/2)*Sec[x/2]^
4*((2 - 2*I) + 6*Sqrt[2] - (4 - 4*I)*(-1)^(7/8)*Sqrt[2]*Cos[x] - 2*((1 + I) + Sqrt[2])*Cos[2*x] + (4 - 4*I)*(-
1)^(1/8)*((1 + I) + Sqrt[2])*Sin[x] + (2 - 2*I)*Sin[2*x] - (2*I)*Sqrt[2]*Sin[2*x])*Tan[x/2]))/((-I + (-1)^(3/4
) + (-1)^(1/8)*Sqrt[2])*((2 - 2*I) + 6*Sqrt[2] - (4 - 4*I)*(-1)^(7/8)*Sqrt[2]*Cos[x] - 2*((1 + I) + Sqrt[2])*C
os[2*x] + (4 - 4*I)*(-1)^(1/8)*((1 + I) + Sqrt[2])*Sin[x] + (2 - 2*I)*Sin[2*x] - (2*I)*Sqrt[2]*Sin[2*x])) + (2
*(-1)^(3/4)*(3*I + (-1)^(1/8) - (-1)^(3/8) - (1 + I)*(-1)^(5/8) - (2*I)*Sqrt[2] + (1 + I)*(-1)^(5/8)*Sqrt[2])*
Sec[x/2]^2)/(1 + ((-1)^(3/4)*(1 + (-1)^(1/4) + (-I + (-1)^(3/4) + (-1)^(1/8)*Sqrt[2])*Tan[x/2])^2)/2))

________________________________________________________________________________________

Maple [A]  time = 0.066, size = 54, normalized size = 0.8 \begin{align*} -{\frac{\sqrt{2}}{4\,\sqrt{2-\sqrt{2}}}{\it Artanh} \left ( 2\,{\frac{\cos \left ( x \right ) }{\sqrt{2-\sqrt{2}}}} \right ) }+{\frac{\sqrt{2}}{4\,\sqrt{2+\sqrt{2}}}{\it Artanh} \left ( 2\,{\frac{\cos \left ( x \right ) }{\sqrt{2+\sqrt{2}}}} \right ) } \end{align*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(sec(4*x)*sin(x),x)

[Out]

-1/4*2^(1/2)/(2-2^(1/2))^(1/2)*arctanh(2*cos(x)/(2-2^(1/2))^(1/2))+1/4*2^(1/2)/(2+2^(1/2))^(1/2)*arctanh(2*cos
(x)/(2+2^(1/2))^(1/2))

________________________________________________________________________________________

Maxima [F]  time = 0., size = 0, normalized size = 0. \begin{align*} \int \sec \left (4 \, x\right ) \sin \left (x\right )\,{d x} \end{align*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(sec(4*x)*sin(x),x, algorithm="maxima")

[Out]

integrate(sec(4*x)*sin(x), x)

________________________________________________________________________________________

Fricas [B]  time = 2.88998, size = 394, normalized size = 5.55 \begin{align*} -\frac{1}{8} \, \sqrt{\sqrt{2} + 2} \log \left (\sqrt{\sqrt{2} + 2}{\left (\sqrt{2} - 1\right )} + 2 \, \cos \left (x\right )\right ) + \frac{1}{8} \, \sqrt{\sqrt{2} + 2} \log \left (\sqrt{\sqrt{2} + 2}{\left (\sqrt{2} - 1\right )} - 2 \, \cos \left (x\right )\right ) + \frac{1}{8} \, \sqrt{-\sqrt{2} + 2} \log \left ({\left (\sqrt{2} + 1\right )} \sqrt{-\sqrt{2} + 2} + 2 \, \cos \left (x\right )\right ) - \frac{1}{8} \, \sqrt{-\sqrt{2} + 2} \log \left ({\left (\sqrt{2} + 1\right )} \sqrt{-\sqrt{2} + 2} - 2 \, \cos \left (x\right )\right ) \end{align*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(sec(4*x)*sin(x),x, algorithm="fricas")

[Out]

-1/8*sqrt(sqrt(2) + 2)*log(sqrt(sqrt(2) + 2)*(sqrt(2) - 1) + 2*cos(x)) + 1/8*sqrt(sqrt(2) + 2)*log(sqrt(sqrt(2
) + 2)*(sqrt(2) - 1) - 2*cos(x)) + 1/8*sqrt(-sqrt(2) + 2)*log((sqrt(2) + 1)*sqrt(-sqrt(2) + 2) + 2*cos(x)) - 1
/8*sqrt(-sqrt(2) + 2)*log((sqrt(2) + 1)*sqrt(-sqrt(2) + 2) - 2*cos(x))

________________________________________________________________________________________

Sympy [F]  time = 0., size = 0, normalized size = 0. \begin{align*} \int \sin{\left (x \right )} \sec{\left (4 x \right )}\, dx \end{align*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(sec(4*x)*sin(x),x)

[Out]

Integral(sin(x)*sec(4*x), x)

________________________________________________________________________________________

Giac [B]  time = 1.29793, size = 147, normalized size = 2.07 \begin{align*} 2 \, \sqrt{-\frac{1}{256} \, \sqrt{2} + \frac{1}{128}} \log \left ({\left | 124864 \, \sqrt{\sqrt{2} + 2} + 249728 \, \cos \left (x\right ) \right |}\right ) - 2 \, \sqrt{-\frac{1}{256} \, \sqrt{2} + \frac{1}{128}} \log \left ({\left | -124864 \, \sqrt{\sqrt{2} + 2} + 249728 \, \cos \left (x\right ) \right |}\right ) - \frac{1}{8} \, \sqrt{\sqrt{2} + 2} \log \left ({\left | 507968 \, \sqrt{-\sqrt{2} + 2} + 1015936 \, \cos \left (x\right ) \right |}\right ) + \frac{1}{8} \, \sqrt{\sqrt{2} + 2} \log \left ({\left | -507968 \, \sqrt{-\sqrt{2} + 2} + 1015936 \, \cos \left (x\right ) \right |}\right ) \end{align*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(sec(4*x)*sin(x),x, algorithm="giac")

[Out]

2*sqrt(-1/256*sqrt(2) + 1/128)*log(abs(124864*sqrt(sqrt(2) + 2) + 249728*cos(x))) - 2*sqrt(-1/256*sqrt(2) + 1/
128)*log(abs(-124864*sqrt(sqrt(2) + 2) + 249728*cos(x))) - 1/8*sqrt(sqrt(2) + 2)*log(abs(507968*sqrt(-sqrt(2)
+ 2) + 1015936*cos(x))) + 1/8*sqrt(sqrt(2) + 2)*log(abs(-507968*sqrt(-sqrt(2) + 2) + 1015936*cos(x)))

[next] [prev] [prev-tail] [front] [up]