integral of cosxsec^2x