What is the arclength of the polar curve #f(theta) = thetasin(3theta)-sec^2theta # over #theta in [0,pi/8] #?