pi^2/8+pi/2(arccotsqrt2-arctansqrt2)