1/2 integral from -pi/2 to pi/2 of (a^2 |cos (2 x)|) dx