integral t/cos(t)