OFFSET
0,1
LINKS
FORMULA
Equals Integral_{y = 0..Pi/4; x = 0..1/(sqrt(2)*cos(y))} 4x^2 dx dy.
Equals Integral_{y = 0..Pi/4} (sqrt(2)/3)*sec^3(y) dy.
EXAMPLE
0.54107508004674350446467336008352266755023177078218908429957159203205...
MAPLE
evalf((4+sqrt(2)*log(3+2*sqrt(2)))/12, 100); # Muniru A Asiru, Oct 07 2018
MATHEMATICA
RealDigits[(4 + Sqrt[2]*Log[3 + 2*Sqrt[2]])/12, 10, 100][[1]] (* G. C. Greubel, Oct 06 2018 *)
PROG
(PARI) default(realprecision, 100); (4+sqrt(2)*log(3+2*sqrt(2)))/12 \\ G. C. Greubel, Oct 06 2018
(Magma) SetDefaultRealField(RealField(100)); (4+Sqrt(2)*Log(3 +2*Sqrt(2)))/12; // G. C. Greubel, Oct 06 2018
CROSSREFS
KEYWORD
nonn,cons
AUTHOR
Derek Orr, Jul 29 2014
STATUS
approved