4a/sqrt(1+a^2) (sqrt(2) arcsinh(sqrt(a)) - arcsinh(a)) when a = tan(pi/8.)