Integral of sec(x) but without that trick!