8*(\int\limits_0^{pi/12} 1/2*(4*sin(2t))^2 dt + \int\limits_{pi/12}^{pi/4} 1/2*(2)^2 dt)