\int_(0)^(pi/4) 1/2 * 4 cos^2 (2t) dt