Optimal. Leaf size=30 \[ \sqrt {-9+e^{2 t}}-3 \tan ^{-1}\left (\frac {1}{3} \sqrt {-9+e^{2 t}}\right ) \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.01, antiderivative size = 30, normalized size of antiderivative = 1.00, number of steps
used = 4, number of rules used = 4, integrand size = 11, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.364, Rules used = {2320, 52, 65,
209} \begin {gather*} \sqrt {e^{2 t}-9}-3 \tan ^{-1}\left (\frac {1}{3} \sqrt {e^{2 t}-9}\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 52
Rule 65
Rule 209
Rule 2320
Rubi steps
\begin {align*} \int \sqrt {-9+e^{2 t}} \, dt &=\frac {1}{2} \text {Subst}\left (\int \frac {\sqrt {-9+t}}{t} \, dt,t,e^{2 t}\right )\\ &=\sqrt {-9+e^{2 t}}-\frac {9}{2} \text {Subst}\left (\int \frac {1}{\sqrt {-9+t} t} \, dt,t,e^{2 t}\right )\\ &=\sqrt {-9+e^{2 t}}-9 \text {Subst}\left (\int \frac {1}{9+t^2} \, dt,t,\sqrt {-9+e^{2 t}}\right )\\ &=\sqrt {-9+e^{2 t}}-3 \tan ^{-1}\left (\frac {1}{3} \sqrt {-9+e^{2 t}}\right )\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.02, size = 30, normalized size = 1.00 \begin {gather*} \sqrt {-9+e^{2 t}}-3 \tan ^{-1}\left (\frac {1}{3} \sqrt {-9+e^{2 t}}\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Mathics [C] Result contains higher order function than in optimal. Order 9 vs. order 3 in
optimal.
time = 2.51, size = 32, normalized size = 1.07 \begin {gather*} \text {ConditionalExpression}\left [\sqrt {-9+E^{2 t}}-3 \text {ArcCos}\left [3 E^{-t}\right ],E^t>-3\text {\&\&}E^t<3\right ] \end {gather*}
Warning: Unable to verify antiderivative.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.03, size = 23, normalized size = 0.77
method | result | size |
derivativedivides | \(-3 \arctan \left (\frac {\sqrt {-9+{\mathrm e}^{2 t}}}{3}\right )+\sqrt {-9+{\mathrm e}^{2 t}}\) | \(23\) |
default | \(-3 \arctan \left (\frac {\sqrt {-9+{\mathrm e}^{2 t}}}{3}\right )+\sqrt {-9+{\mathrm e}^{2 t}}\) | \(23\) |
risch | \(-3 \arctan \left (\frac {\sqrt {-9+{\mathrm e}^{2 t}}}{3}\right )+\sqrt {-9+{\mathrm e}^{2 t}}\) | \(23\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 0.34, size = 22, normalized size = 0.73 \begin {gather*} \sqrt {e^{\left (2 \, t\right )} - 9} - 3 \, \arctan \left (\frac {1}{3} \, \sqrt {e^{\left (2 \, t\right )} - 9}\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.33, size = 22, normalized size = 0.73 \begin {gather*} \sqrt {e^{\left (2 \, t\right )} - 9} - 3 \, \arctan \left (\frac {1}{3} \, \sqrt {e^{\left (2 \, t\right )} - 9}\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A]
time = 0.62, size = 26, normalized size = 0.87 \begin {gather*} \begin {cases} \sqrt {e^{2 t} - 9} - 3 \operatorname {acos}{\left (3 e^{- t} \right )} & \text {for}\: e^{t} > -3 \wedge e^{t} < 3 \end {cases} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 0.00, size = 28, normalized size = 0.93 \begin {gather*} \sqrt {\mathrm {e}^{2 t}-9}-3 \arctan \left (\frac {\sqrt {\mathrm {e}^{2 t}-9}}{3}\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 0.23, size = 34, normalized size = 1.13 \begin {gather*} \left (\frac {3\,{\mathrm {e}}^{-t}\,\mathrm {asin}\left (3\,{\mathrm {e}}^{-t}\right )}{\sqrt {1-9\,{\mathrm {e}}^{-2\,t}}}+1\right )\,\sqrt {{\mathrm {e}}^{2\,t}-9} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________