∫x/cos(x) dx