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