pi times (integrate (sec(0.5x))^2 dx from x=0 to pi/3)