arc length (verification)