integral_0^π log(1 + sin(x)) dx