arc length of secxtanx from 0 to pi/4