The following integral (\int_{\pi/4}^{\pi/2} (2\csc x)^{17} dx) is equal to

(\int_0^{\log(1+\sqrt{2})} 2(e^u + e^{-u})^{16} du)

(\int_0^{\log(1+\sqrt{2})} 2(e^u + e^{-u})^{17} du)

(\int_0^{\log(1+\sqrt{2})} 2(e^u + e^{-u})^{16} du)

(\int_0^{\log(1+\sqrt{2})} 2(e^u - e^{-u})^{17} du)