\int_{t_0}^{t_1}A'(t)\sqrt{1-\left(\frac{A'(t)}{c}\right)^2}\,dt