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