Hmmm I thought the closed form solutions are Jacobi elliptics?

https://cococubed.com/code_pages/pendulum.shtml

Yes. That's what the author means by

> There is a closed-form solution, but only if you extend “closed-form” to mean more than the elementary functions a student would see in a calculus class.