integrate((12*x+1)/(1+cos(x)**2), x, 1993, 2015)