int_0^pi sin(x)^2 e^(cos(x)) dx