int_0^{2023} 2/(x+e^x) dx