integral of sec^3(x) from 0 to pi