3.5.46 \(\int \frac {\sec ^2(x) \tan (x) (\sqrt [3]{1-3 \sec ^2(x)} \sin ^2(x)+3 \tan ^2(x))}{(1-3 \sec ^2(x))^{5/6} (1-\sqrt {1-3 \sec ^2(x)})} \, dx\) [446]

Optimal. Leaf size=133 \[ \sqrt {3} \tan ^{-1}\left (\frac {1+2 \sqrt [6]{1-3 \sec ^2(x)}}{\sqrt {3}}\right )+\frac {1}{4} \log \left (\sec ^2(x)\right )-\frac {3}{2} \log \left (1-\sqrt [6]{1-3 \sec ^2(x)}\right )+\frac {1}{3} \log \left (1-\sqrt {1-3 \sec ^2(x)}\right )-\sqrt [6]{1-3 \sec ^2(x)}-\frac {1}{4} \left (1-3 \sec ^2(x)\right )^{2/3}+\frac {1}{2 \left (1-\sqrt {1-3 \sec ^2(x)}\right )} \]

[Out]

1/4*ln(sec(x)^2)-3/2*ln(1-(1-3*sec(x)^2)^(1/6))+1/3*ln(1-(1-3*sec(x)^2)^(1/2))-(1-3*sec(x)^2)^(1/6)-1/4*(1-3*s
ec(x)^2)^(2/3)+arctan(1/3*(1+2*(1-3*sec(x)^2)^(1/6))*3^(1/2))*3^(1/2)+1/2/(1-(1-3*sec(x)^2)^(1/2))

________________________________________________________________________________________

Rubi [A]
time = 3.37, antiderivative size = 174, normalized size of antiderivative = 1.31, number of steps used = 29, number of rules used = 16, integrand size = 61, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.262, Rules used = {4446, 6874, 6816, 267, 6829, 348, 59, 632, 210, 31, 6820, 272, 43, 65, 212, 25} \begin {gather*} \sqrt {3} \text {ArcTan}\left (\frac {2 \sqrt [6]{1-3 \sec ^2(x)}+1}{\sqrt {3}}\right )+\frac {\cos ^2(x)}{6}-\frac {1}{4} \left (1-3 \sec ^2(x)\right )^{2/3}-\sqrt [6]{1-3 \sec ^2(x)}-\frac {3}{2} \log \left (1-\sqrt [6]{1-3 \sec ^2(x)}\right )+\frac {1}{2} \log \left (1-\sqrt {1-3 \sec ^2(x)}\right )+\frac {1}{6} \cos ^2(x) \sqrt {1-3 \sec ^2(x)}+\frac {1}{2} \tanh ^{-1}\left (\sqrt {1-3 \sec ^2(x)}\right )+\frac {1}{3} \log \left (1-\sqrt {-\left (\left (3-\cos ^2(x)\right ) \sec ^2(x)\right )}\right ) \end {gather*}

Antiderivative was successfully verified.

[In]

Int[(Sec[x]^2*Tan[x]*((1 - 3*Sec[x]^2)^(1/3)*Sin[x]^2 + 3*Tan[x]^2))/((1 - 3*Sec[x]^2)^(5/6)*(1 - Sqrt[1 - 3*S
ec[x]^2])),x]

[Out]

Sqrt[3]*ArcTan[(1 + 2*(1 - 3*Sec[x]^2)^(1/6))/Sqrt[3]] + ArcTanh[Sqrt[1 - 3*Sec[x]^2]]/2 + Cos[x]^2/6 + Log[1
- Sqrt[-((3 - Cos[x]^2)*Sec[x]^2)]]/3 - (3*Log[1 - (1 - 3*Sec[x]^2)^(1/6)])/2 + Log[1 - Sqrt[1 - 3*Sec[x]^2]]/
2 - (1 - 3*Sec[x]^2)^(1/6) + (Cos[x]^2*Sqrt[1 - 3*Sec[x]^2])/6 - (1 - 3*Sec[x]^2)^(2/3)/4

Rule 25

Int[(u_.)*((a_) + (b_.)*(x_)^(n_.))^(m_.)*((c_) + (d_.)*(x_)^(q_.))^(p_.), x_Symbol] :> Dist[(d/a)^p, Int[u*((
a + b*x^n)^(m + p)/x^(n*p)), x], x] /; FreeQ[{a, b, c, d, m, n}, x] && EqQ[q, -n] && IntegerQ[p] && EqQ[a*c -
b*d, 0] &&  !(IntegerQ[m] && NegQ[n])

Rule 31

Int[((a_) + (b_.)*(x_))^(-1), x_Symbol] :> Simp[Log[RemoveContent[a + b*x, x]]/b, x] /; FreeQ[{a, b}, x]

Rule 43

Int[((a_.) + (b_.)*(x_))^(m_)*((c_.) + (d_.)*(x_))^(n_), x_Symbol] :> Simp[(a + b*x)^(m + 1)*((c + d*x)^n/(b*(
m + 1))), x] - Dist[d*(n/(b*(m + 1))), Int[(a + b*x)^(m + 1)*(c + d*x)^(n - 1), x], x] /; FreeQ[{a, b, c, d, n
}, x] && NeQ[b*c - a*d, 0] && ILtQ[m, -1] &&  !IntegerQ[n] && GtQ[n, 0]

Rule 59

Int[1/(((a_.) + (b_.)*(x_))*((c_.) + (d_.)*(x_))^(2/3)), x_Symbol] :> With[{q = Rt[(b*c - a*d)/b, 3]}, Simp[-L
og[RemoveContent[a + b*x, x]]/(2*b*q^2), x] + (-Dist[3/(2*b*q), Subst[Int[1/(q^2 + q*x + x^2), x], x, (c + d*x
)^(1/3)], x] - Dist[3/(2*b*q^2), Subst[Int[1/(q - x), x], x, (c + d*x)^(1/3)], x])] /; FreeQ[{a, b, c, d}, x]
&& PosQ[(b*c - a*d)/b]

Rule 65

Int[((a_.) + (b_.)*(x_))^(m_)*((c_.) + (d_.)*(x_))^(n_), x_Symbol] :> With[{p = Denominator[m]}, Dist[p/b, Sub
st[Int[x^(p*(m + 1) - 1)*(c - a*(d/b) + d*(x^p/b))^n, x], x, (a + b*x)^(1/p)], x]] /; FreeQ[{a, b, c, d}, x] &
& NeQ[b*c - a*d, 0] && LtQ[-1, m, 0] && LeQ[-1, n, 0] && LeQ[Denominator[n], Denominator[m]] && IntLinearQ[a,
b, c, d, m, n, x]

Rule 210

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

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 267

Int[(x_)^(m_.)*((a_) + (b_.)*(x_)^(n_))^(p_), x_Symbol] :> Simp[(a + b*x^n)^(p + 1)/(b*n*(p + 1)), x] /; FreeQ
[{a, b, m, n, p}, x] && EqQ[m, n - 1] && NeQ[p, -1]

Rule 272

Int[(x_)^(m_.)*((a_) + (b_.)*(x_)^(n_))^(p_), x_Symbol] :> Dist[1/n, Subst[Int[x^(Simplify[(m + 1)/n] - 1)*(a
+ b*x)^p, x], x, x^n], x] /; FreeQ[{a, b, m, n, p}, x] && IntegerQ[Simplify[(m + 1)/n]]

Rule 348

Int[(x_)^(m_.)*((a_) + (b_.)*(x_)^(n_))^(p_), x_Symbol] :> With[{k = Denominator[n]}, Dist[k, Subst[Int[x^(k*(
m + 1) - 1)*(a + b*x^(k*n))^p, x], x, x^(1/k)], x]] /; FreeQ[{a, b, m, p}, x] && FractionQ[n]

Rule 632

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

Rule 4446

Int[(u_)*(F_)[(c_.)*((a_.) + (b_.)*(x_))], x_Symbol] :> With[{d = FreeFactors[Cos[c*(a + b*x)], x]}, Dist[-(b*
c)^(-1), Subst[Int[SubstFor[1/x, 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, Tan] || EqQ[F, tan])

Rule 6816

Int[(u_)/(y_), x_Symbol] :> With[{q = DerivativeDivides[y, u, x]}, Simp[q*Log[RemoveContent[y, x]], x] /;  !Fa
lseQ[q]]

Rule 6820

Int[u_, x_Symbol] :> With[{v = SimplifyIntegrand[u, x]}, Int[v, x] /; SimplerIntegrandQ[v, u, x]]

Rule 6829

Int[(u_.)*(v_)^(m_.)*((a_.) + (b_.)*(y_)^(n_))^(p_.), x_Symbol] :> Module[{q, r}, Dist[q*r, Subst[Int[x^m*(a +
b*x^n)^p, x], x, y], x] /;  !FalseQ[r = Divides[y^m, v^m, x]] &&  !FalseQ[q = DerivativeDivides[y, u, x]]] /;
FreeQ[{a, b, m, n, p}, x]

Rule 6874

Int[u_, x_Symbol] :> With[{v = ExpandIntegrand[u, x]}, Int[v, x] /; SumQ[v]]

Rubi steps

\begin {align*} \int \frac {\sec ^2(x) \tan (x) \left (\sqrt [3]{1-3 \sec ^2(x)} \sin ^2(x)+3 \tan ^2(x)\right )}{\left (1-3 \sec ^2(x)\right )^{5/6} \left (1-\sqrt {1-3 \sec ^2(x)}\right )} \, dx &=-\text {Subst}\left (\int \frac {\left (1-x^2\right ) \left (3+\sqrt [3]{1-\frac {3}{x^2}} x^2\right )}{\left (1-\sqrt {1-\frac {3}{x^2}}\right ) \left (1-\frac {3}{x^2}\right )^{5/6} x^5} \, dx,x,\cos (x)\right )\\ &=-\text {Subst}\left (\int \left (\frac {-3-x^2 \sqrt [3]{\frac {-3+x^2}{x^2}}}{\left (1-\frac {3}{x^2}\right )^{5/6} x^5 \left (-1+\sqrt {\frac {-3+x^2}{x^2}}\right )}+\frac {3+x^2 \sqrt [3]{\frac {-3+x^2}{x^2}}}{\left (1-\frac {3}{x^2}\right )^{5/6} x^3 \left (-1+\sqrt {\frac {-3+x^2}{x^2}}\right )}\right ) \, dx,x,\cos (x)\right )\\ &=-\text {Subst}\left (\int \frac {-3-x^2 \sqrt [3]{\frac {-3+x^2}{x^2}}}{\left (1-\frac {3}{x^2}\right )^{5/6} x^5 \left (-1+\sqrt {\frac {-3+x^2}{x^2}}\right )} \, dx,x,\cos (x)\right )-\text {Subst}\left (\int \frac {3+x^2 \sqrt [3]{\frac {-3+x^2}{x^2}}}{\left (1-\frac {3}{x^2}\right )^{5/6} x^3 \left (-1+\sqrt {\frac {-3+x^2}{x^2}}\right )} \, dx,x,\cos (x)\right )\\ &=-\text {Subst}\left (\int \left (\frac {1}{\sqrt {1-\frac {3}{x^2}} x^3 \left (1-\sqrt {\frac {-3+x^2}{x^2}}\right )}-\frac {3}{\left (1-\frac {3}{x^2}\right )^{5/6} x^5 \left (-1+\sqrt {\frac {-3+x^2}{x^2}}\right )}\right ) \, dx,x,\cos (x)\right )-\text {Subst}\left (\int \left (\frac {3}{\left (1-\frac {3}{x^2}\right )^{5/6} x^3 \left (-1+\sqrt {\frac {-3+x^2}{x^2}}\right )}+\frac {1}{\sqrt {1-\frac {3}{x^2}} x \left (-1+\sqrt {\frac {-3+x^2}{x^2}}\right )}\right ) \, dx,x,\cos (x)\right )\\ &=3 \text {Subst}\left (\int \frac {1}{\left (1-\frac {3}{x^2}\right )^{5/6} x^5 \left (-1+\sqrt {\frac {-3+x^2}{x^2}}\right )} \, dx,x,\cos (x)\right )-3 \text {Subst}\left (\int \frac {1}{\left (1-\frac {3}{x^2}\right )^{5/6} x^3 \left (-1+\sqrt {\frac {-3+x^2}{x^2}}\right )} \, dx,x,\cos (x)\right )-\text {Subst}\left (\int \frac {1}{\sqrt {1-\frac {3}{x^2}} x^3 \left (1-\sqrt {\frac {-3+x^2}{x^2}}\right )} \, dx,x,\cos (x)\right )-\text {Subst}\left (\int \frac {1}{\sqrt {1-\frac {3}{x^2}} x \left (-1+\sqrt {\frac {-3+x^2}{x^2}}\right )} \, dx,x,\cos (x)\right )\\ &=\frac {1}{3} \log \left (1-\sqrt {-\left (3-\cos ^2(x)\right ) \sec ^2(x)}\right )-\frac {1}{2} \text {Subst}\left (\int \frac {1}{\left (-1+\sqrt {x}\right ) x^{5/6}} \, dx,x,\left (-3+\cos ^2(x)\right ) \sec ^2(x)\right )+3 \text {Subst}\left (\int \left (-\frac {1}{3 \left (1-\frac {3}{x^2}\right )^{5/6} x^3}-\frac {1}{3 \sqrt [3]{1-\frac {3}{x^2}} x^3}\right ) \, dx,x,\cos (x)\right )-\text {Subst}\left (\int \frac {1}{-\frac {3}{x}+x-\sqrt {1-\frac {3}{x^2}} x} \, dx,x,\cos (x)\right )\\ &=\frac {1}{3} \log \left (1-\sqrt {-\left (3-\cos ^2(x)\right ) \sec ^2(x)}\right )-\text {Subst}\left (\int \frac {1}{\left (1-\frac {3}{x^2}\right )^{5/6} x^3} \, dx,x,\cos (x)\right )-\text {Subst}\left (\int \frac {1}{\sqrt [3]{1-\frac {3}{x^2}} x^3} \, dx,x,\cos (x)\right )-\text {Subst}\left (\int \frac {1}{(-1+x) x^{2/3}} \, dx,x,\sqrt {\left (-3+\cos ^2(x)\right ) \sec ^2(x)}\right )-\text {Subst}\left (\int \left (-\frac {x}{3}-\frac {1}{3} \sqrt {1-\frac {3}{x^2}} x+\frac {\sqrt {1-\frac {3}{x^2}} x}{3-x^2}\right ) \, dx,x,\cos (x)\right )\\ &=\frac {\cos ^2(x)}{6}+\frac {1}{3} \log \left (1-\sqrt {-\left (3-\cos ^2(x)\right ) \sec ^2(x)}\right )+\frac {1}{2} \log \left (1-\sqrt {\left (-3+\cos ^2(x)\right ) \sec ^2(x)}\right )-\sqrt [6]{1-3 \sec ^2(x)}-\frac {1}{4} \left (1-3 \sec ^2(x)\right )^{2/3}+\frac {1}{3} \text {Subst}\left (\int \sqrt {1-\frac {3}{x^2}} x \, dx,x,\cos (x)\right )+\frac {3}{2} \text {Subst}\left (\int \frac {1}{1-x} \, dx,x,\sqrt [6]{\left (-3+\cos ^2(x)\right ) \sec ^2(x)}\right )+\frac {3}{2} \text {Subst}\left (\int \frac {1}{1+x+x^2} \, dx,x,\sqrt [6]{\left (-3+\cos ^2(x)\right ) \sec ^2(x)}\right )-\text {Subst}\left (\int \frac {\sqrt {1-\frac {3}{x^2}} x}{3-x^2} \, dx,x,\cos (x)\right )\\ &=\frac {\cos ^2(x)}{6}-\frac {3}{2} \log \left (1-\sqrt [6]{-\left (3-\cos ^2(x)\right ) \sec ^2(x)}\right )+\frac {1}{3} \log \left (1-\sqrt {-\left (3-\cos ^2(x)\right ) \sec ^2(x)}\right )+\frac {1}{2} \log \left (1-\sqrt {\left (-3+\cos ^2(x)\right ) \sec ^2(x)}\right )-\sqrt [6]{1-3 \sec ^2(x)}-\frac {1}{4} \left (1-3 \sec ^2(x)\right )^{2/3}-\frac {1}{6} \text {Subst}\left (\int \frac {\sqrt {1-3 x}}{x^2} \, dx,x,\sec ^2(x)\right )-3 \text {Subst}\left (\int \frac {1}{-3-x^2} \, dx,x,1+2 \sqrt [6]{\left (-3+\cos ^2(x)\right ) \sec ^2(x)}\right )+\text {Subst}\left (\int \frac {1}{\sqrt {1-\frac {3}{x^2}} x} \, dx,x,\cos (x)\right )\\ &=\sqrt {3} \tan ^{-1}\left (\frac {1+2 \sqrt [6]{-\left (3-\cos ^2(x)\right ) \sec ^2(x)}}{\sqrt {3}}\right )+\frac {\cos ^2(x)}{6}-\frac {3}{2} \log \left (1-\sqrt [6]{-\left (3-\cos ^2(x)\right ) \sec ^2(x)}\right )+\frac {1}{3} \log \left (1-\sqrt {-\left (3-\cos ^2(x)\right ) \sec ^2(x)}\right )+\frac {1}{2} \log \left (1-\sqrt {\left (-3+\cos ^2(x)\right ) \sec ^2(x)}\right )-\sqrt [6]{1-3 \sec ^2(x)}+\frac {1}{6} \cos ^2(x) \sqrt {1-3 \sec ^2(x)}-\frac {1}{4} \left (1-3 \sec ^2(x)\right )^{2/3}+\frac {1}{4} \text {Subst}\left (\int \frac {1}{\sqrt {1-3 x} x} \, dx,x,\sec ^2(x)\right )-\frac {1}{2} \text {Subst}\left (\int \frac {1}{\sqrt {1-3 x} x} \, dx,x,\sec ^2(x)\right )\\ &=\sqrt {3} \tan ^{-1}\left (\frac {1+2 \sqrt [6]{-\left (3-\cos ^2(x)\right ) \sec ^2(x)}}{\sqrt {3}}\right )+\frac {\cos ^2(x)}{6}-\frac {3}{2} \log \left (1-\sqrt [6]{-\left (3-\cos ^2(x)\right ) \sec ^2(x)}\right )+\frac {1}{3} \log \left (1-\sqrt {-\left (3-\cos ^2(x)\right ) \sec ^2(x)}\right )+\frac {1}{2} \log \left (1-\sqrt {\left (-3+\cos ^2(x)\right ) \sec ^2(x)}\right )-\sqrt [6]{1-3 \sec ^2(x)}+\frac {1}{6} \cos ^2(x) \sqrt {1-3 \sec ^2(x)}-\frac {1}{4} \left (1-3 \sec ^2(x)\right )^{2/3}-\frac {1}{6} \text {Subst}\left (\int \frac {1}{\frac {1}{3}-\frac {x^2}{3}} \, dx,x,\sqrt {1-3 \sec ^2(x)}\right )+\frac {1}{3} \text {Subst}\left (\int \frac {1}{\frac {1}{3}-\frac {x^2}{3}} \, dx,x,\sqrt {1-3 \sec ^2(x)}\right )\\ &=\sqrt {3} \tan ^{-1}\left (\frac {1+2 \sqrt [6]{-\left (3-\cos ^2(x)\right ) \sec ^2(x)}}{\sqrt {3}}\right )+\frac {1}{2} \tanh ^{-1}\left (\sqrt {1-3 \sec ^2(x)}\right )+\frac {\cos ^2(x)}{6}-\frac {3}{2} \log \left (1-\sqrt [6]{-\left (3-\cos ^2(x)\right ) \sec ^2(x)}\right )+\frac {1}{3} \log \left (1-\sqrt {-\left (3-\cos ^2(x)\right ) \sec ^2(x)}\right )+\frac {1}{2} \log \left (1-\sqrt {\left (-3+\cos ^2(x)\right ) \sec ^2(x)}\right )-\sqrt [6]{1-3 \sec ^2(x)}+\frac {1}{6} \cos ^2(x) \sqrt {1-3 \sec ^2(x)}-\frac {1}{4} \left (1-3 \sec ^2(x)\right )^{2/3}\\ \end {align*}

________________________________________________________________________________________

Mathematica [C] Result contains higher order function than in optimal. Order 6 vs. order 3 in optimal.
time = 42.30, size = 6084, normalized size = 45.74 \begin {gather*} \text {Result too large to show} \end {gather*}

Warning: Unable to verify antiderivative.

[In]

Integrate[(Sec[x]^2*Tan[x]*((1 - 3*Sec[x]^2)^(1/3)*Sin[x]^2 + 3*Tan[x]^2))/((1 - 3*Sec[x]^2)^(5/6)*(1 - Sqrt[1
- 3*Sec[x]^2])),x]

[Out]

Result too large to show

________________________________________________________________________________________

Maple [F]
time = 180.00, size = 0, normalized size = 0.00 \[\int \frac {\tan \left (x \right ) \left (\left (1-3 \left (\sec ^{2}\left (x \right )\right )\right )^{\frac {1}{3}} \left (\sin ^{2}\left (x \right )\right )+3 \left (\tan ^{2}\left (x \right )\right )\right )}{\cos \left (x \right )^{2} \left (1-3 \left (\sec ^{2}\left (x \right )\right )\right )^{\frac {5}{6}} \left (1-\sqrt {1-3 \left (\sec ^{2}\left (x \right )\right )}\right )}\, dx\]

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(tan(x)*((1-3*sec(x)^2)^(1/3)*sin(x)^2+3*tan(x)^2)/cos(x)^2/(1-3*sec(x)^2)^(5/6)/(1-(1-3*sec(x)^2)^(1/2)),x
)

[Out]

int(tan(x)*((1-3*sec(x)^2)^(1/3)*sin(x)^2+3*tan(x)^2)/cos(x)^2/(1-3*sec(x)^2)^(5/6)/(1-(1-3*sec(x)^2)^(1/2)),x
)

________________________________________________________________________________________

Maxima [F(-1)] Timed out
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(tan(x)*((1-3*sec(x)^2)^(1/3)*sin(x)^2+3*tan(x)^2)/cos(x)^2/(1-3*sec(x)^2)^(5/6)/(1-(1-3*sec(x)^2)^(1
/2)),x, algorithm="maxima")

[Out]

Timed out

________________________________________________________________________________________

Fricas [F(-2)]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Exception raised: TypeError} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(tan(x)*((1-3*sec(x)^2)^(1/3)*sin(x)^2+3*tan(x)^2)/cos(x)^2/(1-3*sec(x)^2)^(5/6)/(1-(1-3*sec(x)^2)^(1
/2)),x, algorithm="fricas")

[Out]

Exception raised: TypeError >>  Error detected within library code:   Curve not irreducible after change of va
riable 0 -> infinity

________________________________________________________________________________________

Sympy [F(-1)] Timed out
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(tan(x)*((1-3*sec(x)**2)**(1/3)*sin(x)**2+3*tan(x)**2)/cos(x)**2/(1-3*sec(x)**2)**(5/6)/(1-(1-3*sec(x
)**2)**(1/2)),x)

[Out]

Timed out

________________________________________________________________________________________

Giac [F(-2)]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Exception raised: TypeError} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(tan(x)*((1-3*sec(x)^2)^(1/3)*sin(x)^2+3*tan(x)^2)/cos(x)^2/(1-3*sec(x)^2)^(5/6)/(1-(1-3*sec(x)^2)^(1
/2)),x, algorithm="giac")

[Out]

Exception raised: TypeError >> An error occurred running a Giac command:INPUT:sage2:=int(sage0,sageVARx):;OUTP
UT:Warning, integration of abs or sign assumes constant sign by intervals (correct if the argument is real):Ch
eck [abs(co

________________________________________________________________________________________

Mupad [F]
time = 0.00, size = -1, normalized size = -0.01 \begin {gather*} -\int \frac {\mathrm {tan}\left (x\right )\,\left ({\sin \left (x\right )}^2\,{\left (1-\frac {3}{{\cos \left (x\right )}^2}\right )}^{1/3}+3\,{\mathrm {tan}\left (x\right )}^2\right )}{{\cos \left (x\right )}^2\,\left (\sqrt {1-\frac {3}{{\cos \left (x\right )}^2}}-1\right )\,{\left (1-\frac {3}{{\cos \left (x\right )}^2}\right )}^{5/6}} \,d x \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(-(tan(x)*(sin(x)^2*(1 - 3/cos(x)^2)^(1/3) + 3*tan(x)^2))/(cos(x)^2*((1 - 3/cos(x)^2)^(1/2) - 1)*(1 - 3/cos
(x)^2)^(5/6)),x)

[Out]

-int((tan(x)*(sin(x)^2*(1 - 3/cos(x)^2)^(1/3) + 3*tan(x)^2))/(cos(x)^2*((1 - 3/cos(x)^2)^(1/2) - 1)*(1 - 3/cos
(x)^2)^(5/6)), x)

________________________________________________________________________________________