integral_0^(pi/2) log(sin(x)+sqrt(1+sin^2(x))) dx