7 Jul
2018
7 Jul
'18
5:23 a.m.
On Wed, Jul 4, 2018 at 5:34 AM Bill Gosper <billgosper@gmail.com> wrote:
Integrate[((2 + 1/Sqrt[3 + t])*ArcSec[t])/(Sqrt[1 + t]*(2 + t)), {t, 1, 2}] == Pi^2/30 + (1/6)*Pi*ArcSin[(1/16)*(7 - 3*Sqrt[5])]
The integral {t,1,6} = 2 π^2/15 = Coxeter's still-mysterious orthoscheme integral. --rwg