12*sqrt(2)*integral[0,pi/2] sec^3(x)dx