integral_0^Pi/2 arcsinh(sin(x)) dx