∫xdx/cos x