Hacker News new | ask | show | jobs
by jwmerrill 418 days ago
This is also the inverse Gudermannian function [1]. That Wikipedia page has some nice geometrical insights.

[1] https://en.m.wikipedia.org/wiki/Gudermannian_function