antiderivative sqrt(1+36cos(2t)^2)