[spec] add formula for length of a parametric curve