cycloid arc length function