Arc length for a spline

[yakir12]

I’ve since resorted to using numerical integration:

using QuadGK
π3, _ = quadgk(t -> norm(derivative(spl, t)), 0, π)
(3.1415926535893455, 1.318944953254686e-13)

fast and most accurate