∫2/x∧2sec∧2 1/xdx