integral from -pi/4 to pi/4 of (3 sqrt 2 - 3 sec x tan x) dx