integrate sec^2 x from 0 to pi/4