integral from 0 to pi of e^(e^cos x) cos(sin(x)) cos(e^x sin(sin(x)))