Naturally I would be very interested if you could find that!
Cheers,
— daan
No. It was in response to this discussion that I decided there was a need to make these images available.
Shockingly, this does have a closed form, but what I have is gigantic, incredibly messy, and is subject to branch-cut difficulties when evaluating. Since the imaginary portions evaporate in the end, there must be some simpler way to express it than what I have. I’ll continue working on it, but… wow. What a mess.daan wrote: ↑Thu Feb 03, 2022 4:34 pm(Assuming I haven’t messed something up,) It comes down to 2π – 8∫0π/2 φ sin(φ)/√(1 + sec(φ)) dφ. The integral stumps Maxima, Mathematica, and Maple, so I presume it’s not integrable in closed form. There are ways of evaluating definite integrals that I don’t know much about but that those programs sometimes know things about. They are still stumped. I can’t say for sure that the case is closed, but it’s not looking good. I have a suspicion that, if there is a closed form, it includes a √2 factor, and once factoring that out, what’s left is not a rational multiple of π or π². I get that from the Taylor series expansion.
— daan