sec^3(x) integral