Length of an arc formula derived from scratch