The integral formula for secant is often introduced in a very artificial way. In this post, I look at the history of this integral and give several derivations.