arc length of ln(cos(x)) from x=0..pi/3