integrate exp(cos x)/(exp(cos x)+exp(-cos x)) dx from x=0 to pi