What is the arclength of the polar curve #f(theta) = sin(3theta)-4cot6theta # over #theta in [0,pi/4] #?