integral of sec^3(x)