Maple also gives a solution in terms of cos, arccos, sin, sqrt(tan) etc: sqrt(tan(x))*cos(x)*sqrt(2)*arccos(cos(x) - sin(x))/(2*sqrt(cos(x)*sin(x))) - sqrt(2)*ln(cos(x) + sqrt(2)*sqrt(tan(x))*cos(x) + sin(x))/2 Steve
On Jun 22, 2019, at 11:05 AM, rwg <rwg@ma.sdf.org> wrote:
I seem to recall a result in Watson's Bessel function Treatise that he deemed "too cumbrous to be of any importance". Fortunately, the same wasn't said of Maxwell's Equations in their original form.-) —rwg (I just verified that PC Macsyma integrates √tan.)
On 2019-06-22 03:11, Tom Karzes wrote:
Hah! I like how the practice sheet copped out on the answer for that one: 66) A little too cumbersome to present here! Compare notes with a friend. Tom Adam P. Goucher writes:
Bill,
That was marked 'only for the most ambitious' on a sheet of 66 practice integrals for first-year undergrads:
https://urldefense.proofpoint.com/v2/url?u=http-3A__www.damtp.cam.ac.uk_user...
-- APG.
Sent: Saturday, June 22, 2019 at 2:54 AM From: "Bill Gosper" <billgosper@gmail.com> To: math-fun@mailman.xmission.com Subject: [math-fun] Did any of you integrate √tan in freshman calculus?
In[38]:= Integrate[√Tan[x], x]
Out[38]= 2/3 Hypergeometric2F1[3/4, 1, 7/4, -Tan[x]^2] Tan[x]^(3/2)
In[39]:= FunctionExpand@%
Out[39]= 2/3 Tan[x]^( 3/2) (-((3 ArcTan[(-Tan[x]^2)^(1/4)])/(2 (-Tan[x]^2)^(3/4))) + ( 3 ArcTanh[(-Tan[x]^2)^(1/4)])/(2 (-Tan[x]^2)^(3/4)))
I'm pretty sure this would've left me some PTSD. And again later with Macsyma's Risch implementation. I suspect a conspiracy to hide this from emotionally vulnerable undergrads. —rwg _______________________________________________
_______________________________________________ math-fun mailing list math-fun@mailman.xmission.com https://urldefense.proofpoint.com/v2/url?u=https-3A__mailman.xmission.com_cg...