integrate (x/cos(x))^2 from 0 to pi/2