The integral of the secant function: A mid 17th century pickle | Hacker News Reader