\int_0^2 \frac12 \left((x-2)^2 -4\cos \left( \frac{\pi x}{4} \right) \right)^2 dx