integrate (2/pi) * (1/(exp(x)+exp(-x))) from -infty to infty